-
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 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 12 articles
[sw08781]
- provide a powerful tool for solving parametrized polynomial systems at a large number of parameter...
-
System Identification Toolbox
- Referenced in 178 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...
-
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 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...
-
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 graded-index media, and polynomial...
-
ADOL-C
- Referenced in 249 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
ALBERT
- Referenced in 82 articles
[sw00025]
- ALBERT - Software for scientific computations and applications. Adaptive...
-
AMD
- Referenced in 60 articles
[sw00039]
- Algorithm 837: AMD is a set of routines...
-
ANSYS
- Referenced in 703 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
Apron
- Referenced in 69 articles
[sw00045]
- Apron: a library of numerical abstract domains for...
-
ARfit
- Referenced in 38 articles
[sw00046]
- ARfit is a collection of Matlab modules for...