Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. PolyBoRi
  5. Download

PolyBoRi 0.7.0

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

Over PolyBoRi

PolyBoRi is geïmplementeerd als een C ++ bibliotheek voor Polynomials over Boolean Rings, die gegevenstypen op hoog niveau biedt voor Booleaanse polynomen. Een python-interface levert uitbreide algoritmen voor het berekenen van Groebner bases over Boolean Rings.

Gerelateerde programma's

  • RAVL, Recognition And Vision Library. Gratis

    Algemene C++ Bibliotheek, met modules voor Computer Vision, Patroonherkenning en nog veel meer.

  • A Helpful Terminal Emulator Gratis

    ''ah-tty'' is een automatische helper voor commando prompts en schelpen. Voor beginnende shell-gebruikers geeft dit feedback en advies over de opdracht die ze proberen te gebruiken of willen gebruiken.

  • Virtual Body Gratis

    De Virtual Body project is gericht op een menselijk lichaam simulator, nuttig voor opvoeders, en in de toekomst, artsen.

  • Universal Maths Conversion Library Gratis

    De UMCL-bibliotheek biedt één API aan ontwikkelaars van toepassingen die conversies vereisen tussen verschillende Wiskundige formaten en vooral braillespecifieke notaties.

  • Bhagavad Gita(YaBG) Gratis

    YaBG - Nog een "Bhagavad Gita" app. Met deze app kun je de hele bhagavad gita zonder onderbrekingen doorlezen; geen advertenties, geen pijnlijke pop-ups; volledig vrij en niets opdringerig. Ik heb deze app gemaakt z

  • PHiMX Gratis

    PHiMX is een command-line tool om XMI-code van een project in PHP5 te genereren. Het kan recursively verscheidene directeuren van PHP manuscripten analyseren, diverse XMI formaten steunen en maakt het mogelijk om uw eigen inc

  • Spanish Tester Lite Gratis proefperiode

    Spaanse Tester Pro test u op Spaanse werkwoord vervoegingen en overeenstemming tussen delen van spraak door het genereren van gesimuleerde quiz vragen.Meerkeuzevragen en invulvragen testen uw kennis op de volgende 15 werk

  • Mechanicus Gratis

    Mechanicus is een racesimulator tussen door spelers gebouwde voertuigen. Dit project wordt effectief stopgezet.

  • Analysis & Reconstruction Sound Gratis

    De Analysis & Reconstruction Sound Engine analyseert een geluidsbestand in een spectrogram en is in staat om dit spectrogram, of een ander door de gebruiker gemaakt beeld, terug te synthetiseren tot een geluid.

  • Analyzer Component Framework Gratis

    ACF is een kader voorhet schrijven van model-checkers. ACF is gebouwd op de fundamentele constatering dat de structuur van de meestemodelcontrolealgoritmen staat los van het formalisme dat wordt gebruikt omhet systeem