RSOLVER

Stefan Ratschan

RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can be directly formulated as such constraints.

Remote Access via Applet:
Prototype! default server (rsolver.cs.cas.cz) restricts processes to ten minutes run-time
User Community:
Send a mail to email if you want to be on the mailing list for announcements of new versions of the software.
Support:
The quality of this package depends heavily on your feedback. So if you found a bug, have an example where RSOLVER works particularily bad/well, or if you have any other questions, please send a mail to email.
Documentation:
HTML
Gzipped Postscript
PDF
Frequently Asked Questions (FAQ)
Main Paper Describing Method
Stefan Ratschan
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
ACM Transactions on Computational Logic, Volume 7, Number 4, pp. 723-748, 2006
Original Paper Postscript1 BIB-entry
Other Related Papers
Download Java-Based Graphical User Interface
(sufficient for computing on our server!)
Download Solver
(only needed for local computation)
Copying:
This software is available under the GNU Lesser General Public License. We ask you to properly cite its use in resulting applications and publications. I would appreciate it, if you notify me (email) of your use of RSOLVER, inform me about bugs, and send me resulting publications.