Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Axiom

Индекс Axiom

Axiom — свободная система компьютерной алгебры общего назначения.

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 год · Узнать больше »

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »