RSolver

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 4.0/5 - ‎1 ‎Stimmen

Über RSolver

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 zwei Dimensionen werden direkt als solche Einschränkungen formuliert.