лемма о проекции
Смотреть что такое "лемма о проекции" в других словарях:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
ПЕРЕСЕЧЕНИЙ ТЕОРИЯ — на алгебраическом многообразии теория пересечений алгебраич. подмногообразий и циклов. Пусть X гладкое алгебраич. многообразие размерности пнад полем k, a Yи Z подмногообразия Xкоразмерности i и j соответственно. Если Yи Zпересекаются транс… … Математическая энциклопедия
СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… … Математическая энциклопедия
Ряд Фурье — Добавление членов ряда Фурье … Википедия
Ньютон, Исаак — У этого термина существуют и другие значения, см. Ньютон. Исаак Ньютон Isaac Newton … Википедия
