RSolver

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa RSolver

RSolver è un programma e una libreria per risolvere vincoli di disuguaglianza quantificati sui numeri reali. Problemi come proiettare l'insieme di soluzioni di un insieme di vincoli di disuguaglianza su due dimensioni devono essere formulati direttamente come tali vincoli.