Programas por rsolver.sf.net

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