• Macaulay2

  • Referenced in 1692 articles [sw00537]
  • quotient rings of graded or multi-graded 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, root-labeling...
  • MU-TERM

  • 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 matrix-vector 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, real-root 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, power-series, 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 polynomial-trigonometric 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 Mahler-Davenport 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 non-determinism...
  • 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 on-line 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 ... first-order formula involving polynomials), the sphere semantics, the bottom semantics, and the easy semantics...
  • TecLines

  • Referenced in 0 articles [sw15835]
  • based on semi-automated (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...