This toolbox contains a set of Python procedures in order to compute examples associated with the computation of Realizable Sign Conditions (RiSC) due to the approach by Basu, Pollack and Roy. The RiSC approach is a way to solve and analyze systems of polynomial equations and inequalities over the real numbers in the field of real-algebraic geometry. The involved computations often consist of highly sophisticated notions, not easy to illustrate by hand. VisualRiSC provides implementations of such notions and functions using the Python package SymPy, on the one hand, and an interface to Gnuplot in order for a visualization of examples using the Python package Gnuplot.py.
License
GNU General Public License version 3.0 (GPLv3)Follow VisualRiSC
You Might Also Like
One Platform. Total IT Insight. Start with PRTG Now
Why settle for fragmented monitoring? PRTG consolidates everything - servers, VMs, network devices, cloud services, and more, into one powerful platform. Get real-time status, customizable alerts, and deep analytics to drive smarter decisions. Designed for complex environments, PRTG scales with your needs, supports team collaboration, and helps you prevent outages before they impact users. Take control of your IT landscape and deliver the uptime your business requires.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of VisualRiSC!