Programy według rsolver.sf.net

RSolver to program i biblioteka do rozwiązywania ilościowych ograniczeń nierówności w liczbach rzeczywistych. Problemy, takie jak rzutowanie zestawu rozwiązań zestawu ograniczeń nierówności do dwóch wymiarów, są bezpośrednio