Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. PolyBoRi

PolyBoRi 0.7.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów
Pobierz

PolyBoRi jest implementowana jako biblioteka C++ dla wielomianów zaobrażonych pierścieniami logicznymi, która zapewnia typy danych wysokiego poziomu dla wielomianów logicznych. Interfejs pythona daje rozszerzalne algorytmy do obliczania baz Groebnera za pomocą pierścieni logicznych.

historia wersji

  • Wersja 0.7.0 opublikowany na 2011-02-25
    Kilka poprawek i aktualizacji
  • Wersja 0.7.0 opublikowany na 2011-02-25

Szczegóły programu

Programy pokrewne

  • RAVL, Recognition And Vision Library. Wolna

    Ogólna biblioteka C++, z modułami do widzenia komputerowego, rozpoznawania wzorców i wielu innych.

  • A Helpful Terminal Emulator Wolna

    ''ah-tty'' jest automatycznym pomocnikiem dla wierszy poleceń i pocisków. Dla początkujących użytkowników powłoki zapewnia opinie i porady na temat polecenia, którego próbują użyć lub chcą użyć.

  • Virtual Body Wolna

    Projekt Virtual Body ma być symulatorem ludzkiego ciała, przydatnym dla nauczycieli, a w przyszłości lekarzy.

  • Universal Maths Conversion Library Wolna

    Biblioteka UMCL udostępnia jeden interfejs API dla deweloperów aplikacji wymagających konwersji między różnymi formatami matematycznymi, a zwłaszcza wpisami specyficznymi dla braille'a.

  • Bhagavad Gita(YaBG) Wolna

    YaBG - Kolejna "Bhagavad Gita" aplikacja. Ta aplikacja pozwala na czytanie przez cały bhagavad gita bez żadnych przerw; brak reklam, brak bolesnych wyskakujących wyskakujących okienka ; całkowicie za darmo i nic inw

  • PHiMX Wolna

    PHiMX jest narzędziem wiersza polecenia do generowania kodu XMI projektu w PHP5. Może analizować rekursywnie kilka katalogów skryptów PHP, obsługuje różne formaty XMI i pozwala zintegrować własne include_path.

  • Spanish Tester Lite Bezpłatna wersja próbna

    Hiszpański Tester Pro testuje cię na kondżerach czasowników hiszpańskich i porozumieniu między częściami mowy, generując symulowane pytania quizowe.Pytania wielokrotnego wyboru i pytania typu "wypełnianie w puste" sprawdz

  • Mechanicus Wolna

    Mechanicus to symulator wyścigu pomiędzy pojazdami skonstruowanym przez gracza. Ten projekt jest skutecznie porzucony.

  • Analysis & Reconstruction Sound Wolna

    Analysis & Reconstruction Sound Engine analizuje plik dźwiękowy do spektrogramu i jest w stanie zsyntetyzować ten spektrogram lub dowolny inny obraz stworzony przez użytkownika z powrotem do dźwięku.

  • Analyzer Component Framework Wolna

    ACF jest ramą dlapisanie kontrolerów modelu. ACF opiera się na podstawowej obserwacji, że struktura większościalgorytmy kontroli modelu są niezależne od formalizmu stosowanego dosystemu.