Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов
Скачать

В традиции программы Гильберта мы создаем формальную правильную (проверяемую проверяемым проверятелем), но читаемую (например, обычный учебник LaTeX) математическую базу знаний, которая свободно доступна в интернете. Началась логика и теория ставить.

история версии

  • Версия 0.04.02 размещено на 2011-05-01
  • Версия 0.04.11 размещено на 2011-03-05
    Несколько исправлений и обновлений

Подробная информация о программе

Похожие программы

  • GET_IT - Game Engine Tutorial in TCL Бесплатный

    Этот проект был закрыт некоторое время назад. Если вы хотите взять название проекта, просто на электронную почту мне.

  • SPINA Бесплатный

    SPINA является программным обеспечением для определения постоянных структур-параметров эндокринных систем контроля обратной связи от уровня гормонов, полученных in vivo. Первая версия этого кибернетического подхода позволяет

  • Meshgen Бесплатный

    Meshgen предназначен для интерактивного создания 2D FEM-сеток, состоящих из треугольных и четырехсторонних элементов.

  • Vocabulary Builder for GRE SAT Бесплатная пробная версия

    Manhattan Review представляет первое мобильное приложение в Индии. Вы можете узнать новые слова, которые помогут вам в подготовке к GRE, SAT, TOEFL и IELTS. Вы также можете оценить свои знания по словам и проверить свои сло

  • Carrying the Word Бесплатная пробная версия

    Проведение Слово, опубликованное Университетской прессой КолорадоКупите эту электронную книгу без DRM уже сегодня! Работает на Aldiko.Первое полноформатное исследование танцоров Concheros, использование танца которых с

  • Moritz Бесплатный

    Мориц является «квотой;аддон»quot; к известному инструменту doxygen. Он генерирует диаграммы nassi shneiderman функций и методов в источнике c/c, как HTML-файлы, которые могут быть включены в программное обеспечение-dokumenta

  • Birdlogger Бесплатный

    Программа лесозаготовок птиц, чтобы помочь орнитологам и орнитологам в лесозаготовках прицельных птиц. В Visual Basic, для Windows и Linux. Английский и французский языки.

  • Bowtie Бесплатный

    Bowtie, ультрабыстрый, память-эффективный короткий выравниватель чтения для коротких последовательностей дна (читает) от следующего поколения секвенсоров. Пожалуйста, приведем: Langmead B, и др. Ультрабыстрое и эффективное дл

  • LaserFoam Бесплатный

    LaserFoam выполняет моделирование лазерных импульсов с помощью адаптивного сплит-шага Fourier метод для решения обобщенных нелинейных уравнений Шрдингера. Он обеспечивает графическую среду для запуска и визуализации результат

  • Daylight Chart Бесплатный

    Дневной график показывает время восхода и захода солнца в привлекательной диаграмме, для любого места в мире. Отображается также эффект летнего времени. Диаграммы могут быть экспортированы в файлы изображений.