PolyBoRi

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow PolyBoRi

PolyBoRi Web Site

Other Useful Business Software

Easily Host LLMs and Web Apps on Cloud Run

Run everything from popular models with on-demand NVIDIA L4 GPUs to web apps without infrastructure management.

Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.

Try Cloud Run Free

Rate This Project

User Reviews

Be the first to post a review of PolyBoRi!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Developers, Science/Research

User Interface

Command-line

Programming Language

C, C++, Python

Related Categories

Python Mathematics Software, C++ Mathematics Software, C Mathematics Software

Registered

2007-11-19

Similar Business Software

QBench

The modern, flexible, easy-to-use LIMS. QBench enables our customers to get a LIMS up and running faster. Automate your entire lab with our developer-friendly API, Inventory Management, Customer Portal, Billing, and Quality Management System modules. QBench is a cloud-based Laboratory...

See Software
Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software
RegDesk

With the ever-increasing complexity of global medical device registration regulations, more companies are turning to regulatory information management systems software (RIMS software) to streamline the application life cycle and manage medical device applications. RegDesk is the most...

See Software
SAP S/4HANA Cloud Public Edition

SAP Cloud ERP is the premier ERP solution for growth-focused organizations. Seamlessly integrating AI, and predictive analytics, it empowers businesses to digitally transform and streamline processes end to end. Leveraging built-in industry best practices, SAP Cloud ERP accelerates...

See Software
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software
Calira

Calira is the world-leading lab management system helping all types of laboratories optimize their operations and accelerate results. Calira equips research teams with an easy-to-use software solution which enables them to coordinate equipment usage, plan maintenance activities, and generate...

See Software