Executable Multivariate Polynomials

MaRDI QIDQ7361593FDO

Authors Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler, Alexander Bentkamp

Publication date 10 August 2010

Cites work

• Certification of Termination Proofs Using CeTA
• Monotonicity criteria for polynomial interpretations over the naturals
• Polynomials over the reals in proofs of termination : from theory to practice

Cited in

(10)

• Undecidability Results on Orienting Single Rewrite Rules
• Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms
• Expressiveness of Deep Learning
• Gröbner Bases Theory
• Universal Pairs for Diophantine Equations
• Verified Quadratic Virtual Substitution for Real Arithmetic
• Factorization of Polynomials with Algebraic Coefficients
• Symmetric Polynomials
• The Sumcheck Protocol
• Practical Algebraic Calculus Checker

This page was built for software: Executable Multivariate Polynomials