RSolver

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

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.

cronologia delle versioni

  • Versione rsolver pubblicato il 2011-01-21
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-01-21

Dettagli del programma