Programas por rsolver.sf.net

RSolver é um programa e biblioteca para resolver restrições de desigualdade quantificadas sobre os números reais. Problemas como a projeção do conjunto de soluções de um conjunto de restrições de desigualdade a duas dimensões