Invia software
  1. Casa
  2. Linux
  3. Altro
  4. PolyBoRi

PolyBoRi 0.7.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

PolyBoRi è implementato come libreria C++ per polinomi su anelli booleani, che fornisce tipi di dati di alto livello per i polinomi booleani. Un'interfaccia python produce algoritmi estensibili per il calcolo delle basi di Groebner sugli anelli booleani.

cronologia delle versioni

  • Versione 0.7.0 pubblicato il 2011-02-25
    Diverse correzioni e aggiornamenti
  • Versione 0.7.0 pubblicato il 2011-02-25

Dettagli del programma

Programmi correlati

  • RAVL, Recognition And Vision Library. Gratuito

    Libreria generale C++, con moduli per visione artificiale, riconoscimento pattern e molto altro.

  • A Helpful Terminal Emulator Gratuito

    ''ah-tty'' è un helper automatico per prompt dei comandi e shell. Per gli utenti di shell alle prime armi, questo fornisce feedback e consigli sul comando che stanno tentando di utilizzare o che vogliono usare.

  • Virtual Body Gratuito

    Il progetto Virtual Body mira ad essere un simulatore di corpo umano, utile per gli educatori e, in futuro, per i medici.

  • Universal Maths Conversion Library Gratuito

    La libreria UMCL fornisce una singola API agli sviluppatori di applicazioni che richiedono conversioni tra diversi formati matematici e in particolare notazioni specifiche del Braille.

  • Bhagavad Gita(YaBG) Gratuito

    YaBG - Ennesima app "Bhagavad Gita". Questa app ti consente di leggere l'intera gita bhagavad senza interruzioni; nessun annuncio, nessun pop-up doloroso; completamente libero e niente di invadente. Ho creato questa

  • PHiMX Gratuito

    PHiMX è uno strumento da riga di comando per generare codice XMI di un progetto in PHP5. Può analizzare ricorsivamente diverse directory di script PHP, supporta vari formati XMI e consente di integrare i propri include_path.

  • Spanish Tester Lite Prova gratuita

    Spanish Tester Pro ti mette alla prova sulle coniugazioni verbali spagnole e sull'accordo tra parti del discorso generando domande simulate al quiz.Domande a scelta multipla e fill-in-the-blank testano le tue conoscenze s

  • Mechanicus Gratuito

    Mechanicus è un simulatore di gara tra veicoli costruiti dai giocatori. Questo progetto viene effettivamente abbandonato.

  • Analysis & Reconstruction Sound Gratuito

    Analysis & Reconstruction Sound Engine analizza un file audio in uno spettrogramma ed è in grado di sintetizzare questo spettrogramma, o qualsiasi altra immagine creata dall'utente, in un suono.

  • Analyzer Component Framework Gratuito

    L'ACF è un quadro perscrivere modelli-dattiri. L'ACF si basa sull'osservazione fondamentale che la struttura della maggior partealgoritmi di controllo dei modelli è indipendente dal formalismo utilizzato per descrivere