PROGRAMME VON rsolver.sf.net

RSolver ist ein Programm und eine Bibliothek zur Lösung quantifizierter Ungleichheitseinschränkungen über die reellen Zahlen. Probleme wie das Projizieren des Lösungssatzes einer Reihe von Ungleichheitseinschränkungen auf zwe