• PGB

  • Referenced in 22 articles [sw00704]
  • software package, named PGB, for computing parametric polynomial systems and related objects. PGB is applicable...
  • grobcov.lib

  • Referenced in 10 articles [sw09932]
  • Groebner Systems, Groebner Cover, Canonical Forms, Parametric Polynomial Systems. The library contains Montes-Wibmer ... parametric ideal as described in the paper: Montes A., Wibmer M., ”Groebner Bases for Polynomial ... Systems with parameters”. Journal of Symbolic Computation...
  • Paramotopy

  • Referenced in 11 articles [sw08781]
  • provide a powerful tool for solving parametrized polynomial systems at a large number of parameter...
  • System Identification Toolbox

  • Referenced in 166 articles [sw05686]
  • Octave or MATLAB, for estimation of dynamic systems. A wide range of standard estimation approaches ... supported. These include the use of non-parametric, subspace-based, and prediction-error algorithms coupled ... with either MIMO state space or MISO polynomial model structures. A key feature...
  • RealComprehensiveTriangularize

  • Referenced in 1 article [sw32920]
  • Solving parametric polynomial systems by RealComprehensiveTriangularize. In the authors’ previous work [J. Symb. Comput ... concept of comprehensive triangular decomposition of parametric semi-algebraic systems (RCTD for short) was introduced...
  • MAS

  • Referenced in 5 articles [sw08442]
  • Algebra System) is an experimental computer algebra system (CAS), developed at the University of Passau ... quantifier elimination, parametric real root counting, and for computing in (noncommutative) polynomial rings...
  • DR

  • Referenced in 1 article [sw23726]
  • Dixon resultant of a system of parametric multi-variate polynomials. The Dixon resultant constitutes ... shown to be efficient on systems of benchmark polynomials, outperforming other heuristics for a majority...
  • StdPooling-PolyAlgos

  • Referenced in 5 articles [sw34823]
  • Paper: Piecewise parametric structure in the pooling problem: from sparse strongly-polynomial solutions ... commonly arises in process systems engineering applications. We take a parametric approach to uncovering topological...
  • DirectSD

  • Referenced in 2 articles [sw29278]
  • developed polynomial methods for optimal sampled-data systems design on the basis of parametric transfer...
  • GAIA

  • Referenced in 4 articles [sw03223]
  • algorithms for Computer Aided Design (CAD) types system. The focus within the project ... parametric surfaces the problem can be reduced to the zero set of a polynomial equation ... itself is a challenging problem. In industrial systems (e.g. CAD) double precision floating point arithmetic...
  • TenRes

  • Referenced in 5 articles [sw19993]
  • structure. Instead of using (parametrized) Gr”obner bases in noncommutative polynomial algebras as has been ... algebras. This allows for a finite reduction system with unique normal forms. To have...
  • parametric GCD

  • Referenced in 3 articles [sw35034]
  • polynomial with respect to the second polynomial. And, further, this generator can be obtained ... parametric case for which a comprehensive Gröbner basis is constructed for the parametric quotient ideal ... system of a parametric quotient ideal, each branch of specializations corresponds to a principal parametric ... does not need to consider whether parametric polynomials are primitive w.r.t. the main variable. This...
  • mexLIE

  • Referenced in 1 article [sw09388]
  • parametric design of optical systems including free spaces, aligned radial graded-index media, and polynomial...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ALBERT

  • Referenced in 81 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • AMD

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

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Apron

  • Referenced in 67 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ARfit

  • Referenced in 37 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...