12 отношения: Coq, IBM, Mozilla Firefox, YouTube, Коэффициенты Клебша — Гордана, Тензор Риччи, Тензор кривизны, Метрика Шварцшильда, 1971 год, 2001 год, 2007 год, 2008 год.
Coq
Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.
Новый!!: Axiom и Coq · Узнать больше »
IBM
IBM (произносится Ай-би-эм;МФА:; аббр. от International Business Machines) — американская компания со штаб-квартирой в Армонке (штат Нью-Йорк), один из крупнейших в мире производителей и поставщиков аппаратного и программного обеспечения, а также IТ-сервисов и консалтинговых услуг.
Новый!!: Axiom и IBM · Узнать больше »
Mozilla Firefox
Mozilla Firefox (МФА) — свободный браузер на движке Gecko, разработкой и распространением которого занимается Mozilla Corporation.
Новый!!: Axiom и Mozilla Firefox · Узнать больше »
YouTube
YouTube (от you — ты, вы и tube — труба; МФА:; произносится «ютуб» или «ютьюб») — видеохостинговая компания, предоставляющая пользователям услуги хранения, доставки и показа видео.
Новый!!: Axiom и YouTube · Узнать больше »
Коэффициенты Клебша — Гордана
Коэффициенты Клебша — Гордана находят применение при описании взаимодействия квантовомеханических моментов импульса.
Новый!!: Axiom и Коэффициенты Клебша — Гордана · Узнать больше »
Тензор Риччи
Тензор Риччи, названный в честь Риччи-Курбастро, задаёт один из способов измерения кривизны многообразия, то есть степени отличия геометрии многообразия от геометрии плоского евклидова пространства.
Новый!!: Axiom и Тензор Риччи · Узнать больше »
Тензор кривизны
Риманов тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
Новый!!: Axiom и Тензор кривизны · Узнать больше »
Метрика Шварцшильда
Ме́трика Шва́рцшильда — это единственное в силу теоремы Биркхофа сферически симметричное точное решение уравнений Эйнштейна без космологической константы в пустом пространстве.
Новый!!: Axiom и Метрика Шварцшильда · Узнать больше »
1971 год
* Международный год ООН по борьбе с расизмом и расовой дискриминацией.
Новый!!: Axiom и 1971 год · Узнать больше »
2001 год
Объявлен ООН Международным годом диалога между цивилизациями под эгидой ООН (резолюция ООН 53/22), добровольцев (резолюция ООН 52/17), мобилизации усилий для борьбы против расизма, расовой дискриминации, ксенофобии и связанной с ними нетерпимости (резолюция ООН 53/132).
Новый!!: Axiom и 2001 год · Узнать больше »
2007 год
* Международные годы ООН.
Новый!!: Axiom и 2007 год · Узнать больше »
2008 год
* Международные годы ООН.
Новый!!: Axiom и 2008 год · Узнать больше »