Polynomials Dependents

2024

Undecidability Results on Orienting Single Rewrite Rules

by René Thiemann, Fabian Mitterwallner and Aart Middeldorp

Apr 25

The Sumcheck Protocol

by Azucena Garvia, Christoph Sprenger and Jonathan Bootle

Feb 02

2021

Factorization of Polynomials with Algebraic Coefficients

by Manuel Eberl and René Thiemann

Nov 08

Verified Quadratic Virtual Substitution for Real Arithmetic

by Matias Scharager, Katherine Kosaian, Stefan Mitsch and André Platzer

Oct 02

2020

Practical Algebraic Calculus Checker

by Mathias Fleury and Daniela Kaufmann

Aug 31

2018

Symmetric Polynomials

by Manuel Eberl

Sep 25

2016

Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms

by Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann and Daniel Wand

Nov 12

Expressiveness of Deep Learning

by Alexander Bentkamp

Nov 10

Gröbner Bases Theory

by Fabian Immler and Alexander Maletzky

May 02