
parametric GCD
 Referenced in 4 articles
[sw35034]
 efficient algorithm for computing parametric multivariate polynomial GCD. A new efficient algorithm for computing ... parametric greatest common divisor (GCD) of parametric multivariate polynomials over k[u][x] is presented ... that the GCD of two multivariate polynomials (nonparametric as well as parametric...

KyPlot
 Referenced in 2 articles
[sw00496]
 polynomial interpolation and surface interpolation. KyPlot provides standard statistical procedures, such as various parametric ... nonparametric tests, regression analysis, procedures for multivariate analysis (principal component, factor, discriminant and canonical correlation...

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

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 384 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 196 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

Kronecker
 Referenced in 117 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LANCELOT
 Referenced in 306 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LiDIA
 Referenced in 53 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...