• MUSCOD-II

  • 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 black-box 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; Square-root methods for improved numerical conditioning...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: 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]
  • HOM4PS-2.0: a software package for solving polynomial...