
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 MontesWibmer ... 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 nonparametric, subspacebased, and predictionerror 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 semialgebraic 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 multivariate polynomials. The Dixon resultant constitutes ... shown to be efficient on systems of benchmark polynomials, outperforming other heuristics for a majority...

StdPoolingPolyAlgos
 Referenced in 5 articles
[sw34823]
 Paper: Piecewise parametric structure in the pooling problem: from sparse stronglypolynomial 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 sampleddata 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 gradedindex media, and polynomial...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: 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...