RSolver

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

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.

VERSIONSVERLAUF

  • Version rsolver veröffentlicht auf 2011-01-21
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2011-01-21

Programmdetails