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.
historial de versiones
- Versión rsolver publicado en 2011-01-21
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-01-21
Detalles del programa
- Categoría: Educación > Otro
- Editor: rsolver.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows