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.

Project Activity

See All Activity >

Categories

Data Visualization, Mathematics, Research

License

GNU General Public License version 3.0 (GPLv3)

Follow VisualRiSC

VisualRiSC Web Site

Other Useful Business Software
$300 Free Credits for Your Google Cloud Projects Icon
$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Start Free Trial
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of VisualRiSC!

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Command-line, Console/Terminal

Programming Language

Python

Related Categories

Python Data Visualization Software, Python Mathematics Software, Python Research Software

Registered

2013-10-17
Report inappropriate content