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 >

License

GNU General Public License version 3.0 (GPLv3)

Follow VisualRiSC

VisualRiSC Web Site

Other Useful Business Software
Simplify IT and security with a single endpoint management platform Icon
Simplify IT and security with a single endpoint management platform

Automate the hardest parts of IT

NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers. The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of VisualRiSC!

Additional Project Details

Intended Audience

Science/Research, Education

User Interface

Console/Terminal, Command-line

Programming Language

Python

Related Categories

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

Registered

2013-10-17