
MUSCODII
 Referenced in 19 articles
[sw13053]
 software has the capability to solve highly nonlinear problems with complex equality or inequality constraints ... final state constraints, periodicity conditions, or path constraints. Furthermore, a unique multistage formulation allows...

MLBSE
 Referenced in 1 article
[sw42400]
 obtain feasible solutions. However, complex path conditions, like nonlinear constraints, which widely appear in programs ... only simple linear path conditions, but also nonlinear arithmetic operations, and even blackbox function ... solver fails to solve a path condition, we can have an estimation of the confidence ... implement MLBSE on the basis of Symbolic Path Finder (SPF) into a fully automatic Java...

GESOP
 Referenced in 1 article
[sw29119]
 nonlinear differential equations, associated boundary conditions, path constraints and cost functions. GESOP includes several different...

pathampl
 Referenced in 1 article
[sw05080]
 PATH Solver, AMPL version Over the past several years, many practitioners have been formulating nonlinear ... conditioned or singular. In this paper, we look at information provided by the PATH solver...

ALTRO
 Referenced in 1 article
[sw42659]
 path constraints and nonlinear dynamics. The key features of the ALTRO solver are: General nonlinear ... nonlinear state and input constraints; Infeasible state initialization; Squareroot methods for improved numerical conditioning...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

AMD
 Referenced in 61 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CUTE
 Referenced in 66 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

FEMLAB
 Referenced in 57 articles
[sw00274]
 COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 120 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

Gerris
 Referenced in 354 articles
[sw00341]
 Gerris is a Free Software program for the...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HOM4PS
 Referenced in 82 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...