RSolver

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de RSolver

RSolver es un programa y biblioteca para resolver restricciones de desigualdad cuantificadas sobre los números reales. Problemas como la proyección del conjunto de soluciones de un conjunto de restricciones de desigualdad a dos dimensiones se formulan directamente como tales restricciones.