| AXIOM Alpha was a digital cinema camera proof of concept prototype. | AXIOM Alpha - концептуальный прототип цифровой кинокамеры. |
| The first video provides details on the Axiom information sources. | Первое видео рассказывает о источниках информации о Axiom. |
| All the mathematical knowledge of Axiom is written in this language. | Вся математическая база Axiom написана на этом языке. |
| The general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein. | Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom). |
| The Axiom roster consists of AxCrank, AxAlicia, AxHeart and AxRyung. | В состав Axiom входили AxCrank, AxAlicia, AxHeart и AxRyung. |
| On 15 October 2015, Bain announced the dissolution of Team Axiom because of the return of his cancer and a lack of recent success for the team. | 15 октября 2015 года Бейн объявил о расформировании Team Axiom из-за вернувшегося рака и отсутствия командных успехов в последнее время. |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| An important break turned up in 1994 when AXIOM SW entered the NAVISION partnership net, today it is Microsoft Dynamics. | Большие изменения произошли в 1994 г., когда AXIOM SW вступила в партнерскую сеть NAVISION, сегодня Microsoft Dynamics. |
| AXIOM is an open hardware and free software digital cinema camera family of devices being developed by a DIY community around the apertusº project. | AXIOM - открытое аппаратное и свободное программное обеспечение для семейства цифровых кинокамер, которые разрабатываются сообществом сделай сам на основе проекта apertusº. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| Axiom comes with an extension language called SPAD. | Язык расширений Axiom называется SPAD. |
| Project scratchpad was eventually sold to a numerical group called Numerical Algorithms Group (NAG) and was renamed Axiom. | В 1990-х годах система была продана компании Numerical Algorithms Group (NAG), получила название Axiom и стала коммерческим продуктом. |
| AXIOM SW has acquired a significant statute Microsoft Gold Certified Partner. | В 2006 г. фирма AXIOM SW получила весомый статус Microsoft Gold Certified Partner. |
| Bain announced the disbanding of his eSports team Axiom on this news. | После этой новости Бейн расформировал свою киберспортивную команду team Axiom. |