Programas por rsolver.sf.net

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 d