
quadeig
 Referenced in 23 articles
[sw11532]
 left eigenvectors of dense quadratic matrix polynomials. It incorporates scaling of the problem parameters prior ... preprocessing step that reveals and deflates the zero and infinite eigenvalues contributed by singular leading...

xorgens
 Referenced in 6 articles
[sw18736]
 that their minimal polynomials have a large number of nonzero terms and, hence...

na5
 Referenced in 24 articles
[sw11489]
 orthogonal polynomial which is computed recursively. The conjugate gradient squared algorithm (CGS) consists in takingr ... scalar product in a denominator is zero, then a breakdown occurs in the algorithm. When...

Janet
 Referenced in 32 articles
[sw07776]
 algebra representing ordinary differential operators in characteristic zero whose coefficients are rational functions, an elementary ... position over term” orderings in the polynomial case. Four involutive criteria are implemented to avoid...

RMAX
 Referenced in 32 articles
[sw02539]
 attain nearoptimal average reward in polynomial time. In RMAX, the agent always maintains ... Singh’s E^3 algorithm, covering zerosum stochastic games. (2) It has a built...

InvariantRing
 Referenced in 1 article
[sw12134]
 finite group actions on polynomial rings in characteristic zero. We outline methods for computing primary...

GAUSSH
 Referenced in 1 article
[sw11851]
 abscissae are given by the zeros of the Laguerre polynomials, which are found...

cubic.lib
 Referenced in 1 article
[sw16959]
 given as the zero set of a degree 3 polynomial in 3 variables. A class...

Madsen
 Referenced in 0 articles
[sw05302]
 find all zeroes of a real polynomial, C++ version...

Bertini.m2
 Referenced in 7 articles
[sw08784]
 variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface ... modes, users can find approximate solutions to zerodimensional systems and positivedimensional systems, test...

Chordal
 Referenced in 4 articles
[sw27125]
 polynomial ideals. The sparsity structure of a polynomial set can be described with a graph ... compute elimination ideals, count the number of zeros, determine the dimension, decompose the variety...

Algorithm 767
 Referenced in 2 articles
[sw04678]
 subroutine is described that takes a polynomial matrix P as input and yields on output ... actually PUR is near zero. The subroutine is based on an algorithm, described...

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

BARON
 Referenced in 288 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

CHABIS
 Referenced in 17 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

CONSLAW
 Referenced in 7 articles
[sw00155]
 An improved algorithm to explicitly compute the polynomial...

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

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