Search Results for "integer set library"

DWSIM is an open source, CAPE-OPEN compliant chemical process simulator for Windows, Linux and macOS systems. Written in VB.NET and C#, DWSIM features a comprehensive set of unit operations, advanced thermodynamic models, support for reacting systems, petroleum characterization tools and a fully-featured graphical interface. DWSIM Pro is a commercial sibling of DWSIM built on top of open-source software. It offers extended features, comes with private support, and is accessible in the...

This toolbox contains a set of Python procedures in order to compute examples associated with the computation of Realizable Sign Conditions (RiSC) due to the approach by Basu, Pollack and Roy. The RiSC approach is a way to solve and analyze systems of polynomial equations and inequalities over the real numbers in the field of real-algebraic geometry. The involved computations often consist of highly sophisticated notions, not easy to illustrate by hand. VisualRiSC provides implementations of...

The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.