Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 49.594.422 Times

PolyBoRi 0.6.5

Company: Alexander Dreyer and Michael Brickenstein
Date Added: August 17, 2013  |  Visits: 182

PolyBoRi

Report Broken Link
Printer Friendly Version


Product Homepage
Download (36 downloads)



The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures.<br /><br />On top of this C++-library we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Gr?*A*bner base computation. PolyBoRi features a powerful reference implementation for Gr?*A*bner basis computation.

Requirements: No special requirements
Platforms: Mac, Mac OSX
Keyword: Basis Blibrary Bner Boolean Complex Computation Features Implementation Interface Parsing Polybori Polynomial Powerful Provide Python Reference Sophisticated Storage Structureson
Users rating: 0/10

License: Freeware Size: 2.23 MB
USER REVIEWS
More Reviews or Write Review


POLYBORI RELATED
Modules  -  Features Override 6.x-1.x-de
Features Override is used by modules that provide features to selectively override and enhance one another. You may want to use it if either: * you are installing a feature module that requires this module or * you are a feature developer looking...
10 KB  
Home & Leisure  -  BibleDatabase 5.1
Multiple Bible interface, Complex search features such as combining case sensitivity and ignoring the order of search terms. View one or ALL installed Bibles simultaneously - by verse or by Chapter. Cut, Copy and Paste Text and Images from...
5.02 MB  
Miscellaneous  -  Python Octree Implementation 1.0
This script is a simple implementation of an octree data structure in python. Its use is primarily for fast collision or view frustrum culling in interactive 3d environments, but its possible uses are quite open-ended. It was originally written...
 
Education  -  Voroprot 0.7.6.4
Voroprot: an interactive tool for the analysis and visualization of complex geometric features of protein structure We present Voroprot, an interactive cross-platform software tool that provides a unique set of capabilities for...
16.87 MB  
Utilities  -  FreeNAS 0.685 Beta 2
FreeNAS is a free implementation of a minimal FreeBSD distribution(for run it on a Compact Flash, CD-ROM or USB key) that provide NAS (Network-Attached Storage) services, supporting: CIFS, FTP, NFS protocols, with a Full WEB configuration...
38.1 MB  
Development Tools  -  SpotSec Network Gateway/Firewall 0.1.2007165
SpotSec Network Gateway/Firewall, an all-in-one Linux firewall/gateway distribution which features an easy to use yet powerful web based management console.SpotSec Network Gateway/Firewall is created to be a unified threat management system to...
18.97 MB  
Server Tools  -  icipici FTP server 1.0
icipici FTP Server is a multi threaded FTP server for Windows 98/NT/XP/2003 and Vista(32 bits) that can be easily setup even by inexperienced users. New users can be easily created by use and fill .ini file. The server handles all basic FTP...
1.16 MB  
Networking Tools  -  NetworkActiv Sniffer 1.4.2.2
Do you need an easy to use TCP/IP packet sniffer with useful features like: *Text sub-string searching, *Packet reception filters, and *Capturing & Storage of HTTP files via packets? If so, NetworkActiv Sniffer is for you! Download your copy...
280 KB  
Development Editors  -  Microsoft IronPython 2.0
Microsoft IronPython is the generic name for this first alpha version of the new implementation in .NET of the well-known Python programming language.Microsoft IronPython supports the running of an interactive interpreter with dynamic compilation....
7 KB  
Development Editors  -  HexEdit 4.0
HexEdit is powerfull hexadecimal editor with following features: * MDI interface * Data Inspector * Calculator * File Compare * Memory Dumper * Disk Dumper (NT only)
573 KB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  EasyEDA PCB Designer for MacOS 2.0.0
EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...
34.4 MB  
Macintosh Software  -  VideoSolo Video to GIF Converter (Mac) 1.0.12
How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...
46.51 MB  
Macintosh Software  -  VideoSolo Free Video Converter (Mac) 1.0.18
VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...
75.29 MB  
Macintosh Software  -  ManyCam for Mac 6
ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...
90.49 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB