Submit Software
  1. Home
  2. Linux
  3. Other
  4. PolyBoRi

PolyBoRi 0.7.0

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.

VERSION HISTORY

  • Version 0.7.0 posted on 2011-02-25
    Several fixes and updates
  • Version 0.7.0 posted on 2011-02-25

Program Details

Related Programs

  • RAVL, Recognition And Vision Library. Free

    General C++ Library, with modules for Computer Vision, Pattern Recognition and much more.

  • A Helpful Terminal Emulator Free

    ``ah-tty'' is an automatic helper for command prompts and shells. For novice shell users this provides feedback and advice about the command they are trying to use or want to use.

  • Virtual Body Free

    The Virtual Body project aims to be a human body simulator, useful for educators, and in the future, doctors.

  • Universal Maths Conversion Library Free

    The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.

  • Bhagavad Gita(YaBG) Free

    YaBG - Yet another "Bhagavad Gita" app. This app allows you to read through the entire bhagavad gita without any interruptions; no ads, no painful pop ups; completely free and nothing intrusive. I created this app s

  • PHiMX Free

    PHiMX is a command-line tool to generate XMI code of a project in PHP5. It can analyze recursively several directories of PHP scripts, supports various XMI formats and allows to integrate your own include_path.

  • Spanish Tester Lite Free Trial

    Spanish Tester Pro tests you on Spanish verb conjugations and agreement between parts of speech by generating simulated quiz questions.Multiple-choice and fill-in-the-blank questions test your knowledge on the following 15 ve

  • Mechanicus Free

    Mechanicus is a race simulator between player-constructed vehicles. This project is effectively abandoned.

  • Analysis & Reconstruction Sound Free

    The Analysis & Reconstruction Sound Engine analyses a sound file into a spectrogram and is able to synthesise this spectrogram, or any other user-created image, back into a sound.

  • Analyzer Component Framework Free

    ACF is a framework forwriting model-checkers. ACF is built on the fundamental observation that the structure of mostmodel-checking algorithms is independent of the formalism used to describethe system.