
PGB
 Referenced in 25 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 12 articles
[sw08781]
 provide a powerful tool for solving parametrized polynomial systems at a large number of parameter...

System Identification Toolbox
 Referenced in 179 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...

paramGeo3D
 Referenced in 3 articles
[sw37299]
 core functions in a 3D dynamic geometry system, is described here. The library deals with ... objects such as loci and envelopes. This parametric approach is also a prerequisite for performing ... recent results from the theory of parametric polynomial systems solving, the bottleneck in the automatic...

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...

parametric GCD
 Referenced in 4 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...

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...

mexLIE
 Referenced in 1 article
[sw09388]
 parametric design of optical systems including free spaces, aligned radial gradedindex media, and polynomial...

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

ALBERT
 Referenced in 83 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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...

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

ARfit
 Referenced in 38 articles
[sw00046]
 ARfit is a collection of Matlab modules for...