
Macaulay2
 Referenced in 1692 articles
[sw00537]
 quotient rings of graded or multigraded polynomial rings with a monomial ordering. The core ... accessible through a versatile high level interpreted user language with a powerful debugger supporting...

Tyrolean
 Referenced in 89 articles
[sw07830]
 lexicographic path order, loop detection, matrix interpretation, polynomial interpretation, predictive labeling, recursive SCC, rootlabeling...

MUTERM
 Referenced in 34 articles
[sw10015]
 termination of CSR by means of polynomial interpretations over the rational numbers. In fact ... generates term orderings based on such polynomial interpretations. These orderings can also be used...

INTLAB
 Referenced in 426 articles
[sw04004]
 simple) univariate functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very ... summation, dot product and matrixvector residuals (interpreted, reference implementation, slow) multiple precision interval arithmetic...

TORPA
 Referenced in 10 articles
[sw10120]
 underlying techniques include semantic labelling, polynomial interpretations, recursive path order, the dependency pair method...

Polynomials
 Referenced in 4 articles
[sw32226]
 theories have been essential to formalize polynomial interpretations. This formalization also contains an abstract representation ... generic properties of, and functions on, multivariate polynomials are formalized, including the substitution and evaluation...

BPOLY
 Referenced in 13 articles
[sw00089]
 operator overloading, each polynomial in an expression is interpreted as an object compatible with ... common divisor, realroot solving, etc.) for polynomials in Bernstein form. The library allows compact...

Real_Impl
 Referenced in 2 articles
[sw29247]
 certify termination proofs which involve polynomial interpretations over the reals...

Mathemagix
 Referenced in 41 articles
[sw00553]
 algorithms. This language can be compiled and interpreted, and it features a strong type system ... Philippe Trébuchet, for the elementary operations with polynomials, power series and matrices, with a special...

Cdiprover3
 Referenced in 1 article
[sw00115]
 termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used...

JAS
 Referenced in 15 articles
[sw05877]
 used interactively or interpreted through a Jython or JRuby front end. The focus ... moment is on commutative and solvable polynomials, powerseries, multivariate polynomial factorization, Grobner bases...

GBNP
 Referenced in 20 articles
[sw07724]
 algorithms for computing Grobner bases of noncommutative polynomials with coefficients from a field implemented ... facility. The word ”algorithm” is to be interpreted loosely here: in general one cannot expect...

PARSEC
 Referenced in 8 articles
[sw01191]
 procedures. The system is fundamentally an input/command interpreter which allows the user to enter algebraic ... designed to allow easy manipulations of polynomialtrigonometric series within the environment of an electronic...

SqFreeEVAL
 Referenced in 11 articles
[sw07421]
 isolating all real roots of an integer polynomial f of degree d and whose coefficients ... standard MahlerDavenport root bounds to interpret the integral in terms...

CoLoSS
 Referenced in 14 articles
[sw07016]
 compositional way. It implements a uniform polynomial space algorithm to decide satisfiability for modal logics ... automatically obtains reasoning support e.g. for logics interpreted over probabilistic automata that combine nondeterminism...

Jordan Normal Forms
 Referenced in 5 articles
[sw28566]
 termination proving. In order to use these interpretations also for complexity analysis, the growth rate ... theory, namely that the growth rate is polynomially bounded if and only if the spectral...

CFLP
 Referenced in 5 articles
[sw18674]
 system consisting of a functional logic programming interpreter running on one machine and a number ... involving constraints such as systems of linear, polynomial, differential equations, and equations with invertible functions...

Symbolic Computing
 Referenced in 1 article
[sw09856]
 computation in Mathematica. It enables display and interpretation of derivatives, integrals, sums, products, vector operators ... analysis, function analysis, integral calculus, operator analysis, polynomials and series, products, sums, trigonometric functions, vectors ... matrices. The package has its own interpreter language, complete online documentation and two palettes...

Pyhybridanalysis
 Referenced in 3 articles
[sw14549]
 However, if we bound the invariants and interpret formulae by using an semantics in place ... firstorder formula involving polynomials), the sphere semantics, the bottom semantics, and the easy semantics...

TecLines
 Referenced in 0 articles
[sw15835]
 based on semiautomated (or visual) interpretation of optical data and digital elevation models ... spatial filtering, tensor voting, Hough transformation, and polynomial fitting. Due to differences in the mathematical...