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

PolyBoRi 0.7.0

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

PolyBoRi реализуется в качестве библиотеки полиномиалей по всему Boolean Rings, которая обеспечивает высокоуровневые типы данных для полиномий Boolean. Python-интерфейс дает смягчающие алгоритмы для вычисления баз Groebner над Boolean Rings.

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

  • Версия 0.7.0 размещено на 2011-02-25
    Несколько исправлений и обновлений
  • Версия 0.7.0 размещено на 2011-02-25

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

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

  • RAVL, Recognition And Vision Library. Бесплатный

    Общая библиотека СЗ, с модулями для компьютерного зрения, распознавания образов и многое другое.

  • A Helpful Terminal Emulator Бесплатный

    ''ah-tty' - это автоматический помощник для командных подсказок и снарядов. Для начинающих пользователей оболочки это обеспечивает обратную связь и советы о команде, которую они пытаются использовать или хотят использовать.

  • Virtual Body Бесплатный

    Проект Virtual Body призван стать симулятором человеческого тела, полезным для педагогов, а в будущем и врачей.

  • Universal Maths Conversion Library Бесплатный

    Библиотека UMCL предоставляет разработчикам приложений единый API, требующий преобразования между различными форматами математики и особенно конкретными нотациями Брайля.

  • Bhagavad Gita(YaBG) Бесплатный

    YaBG - Еще одна цитата;Бхагавад Гитацит; приложение. Это приложение позволяет читать через весь бхагавад гита без каких-либо перерывов; никаких объявлений, никаких болезненных всплывающих окон; полностью свободным и ничего на

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

    PHiMX является командно-линейным инструментом для создания кода XMI проекта в PHP5. Он может регулярно анализировать несколько каталогов сценариев PHP, поддерживает различные форматы XMI и позволяет интегрировать свой собстве

  • Spanish Tester Lite Бесплатная пробная версия

    Испанский Tester Pro тестирует вас на испанских спряжениях глаголов и согласовании между частями речи, генерируя смоделированные вопросы викторины.Вопросы с несколькими вариантами и заполнением пробелов проверяют ваши зна

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

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

  • Analysis & Reconstruction Sound Бесплатный

    Звуковой движок анализа и реконструкции анализирует звуковой файл в спектрограмму и может синтезировать эту спектрограмму или любое другое созданное пользователем изображение обратно в звук.

  • Analyzer Component Framework Бесплатный

    ACF является основой длянаписание модели-чекеров. ACF построен на фундаментальном наблюдении, что структура большинстваалгоритмы проверки моделей не зависит от формализма, используемого для описаниясистемы.