Search Results for "optimization solver"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Scalable Molecular Analysis Solver for High-performance computing systems (SMASH) is massively parallel software for quantum chemistry calculations and released under the Apache 2.0 open source license. It is currently capable of energy, analytical gradient, and geometry optimization calculations of Hartree-Fock theory and Density Functional Theory (DFT), and energy calculations of Second-order Moller-Plesset (MP2) perturbation theory.

ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers.

ViennaCL provides high level C++ interfaces for linear algebra routines on CPUs and GPUs using CUDA, OpenCL, and OpenMP. The focus is on generic implementations of iterative solvers often used for large linear systems and simple integration into existing projects.

...It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

We have moved to GitHub: https://github.com/cadet The Chromatography Analysis and Design Toolkit (CADET) is developed at the Institute of Bio- and Geosciences 1 (IBG-1) under supervision of Prof. Eric von Lieres. The core of the CADET software is a fast and accurate solver for the General Rate Model (GRM) of packed bed liquid chromatography. The CADET solver covers a wide range of GRM variants, combining different transport and binding models with state-of-the-art mathematical algorithms and scientific computing techniques. The CADET framework also comprises a MATLAB interface and standard routines for parameter estimation, process optimization and experimental design. ...

Spreadsheet Template for Structural Engineering (FEA Analysis for beams, trusses, 2D-frames). It makes possible to create your own parametric models.Templates for engineering calculation (fatigue, concrete plates, etc)