Algebraic_Numbers Dependents

2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Dec 15

2021

Factorization of Polynomials with Algebraic Coefficients

by Manuel Eberl and René Thiemann

Nov 08

Solving Cubic and Quartic Equations

by René Thiemann

Sep 03

The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Apr 24

The Hermite–Lindemann–Weierstraß Transcendence Theorem

by Manuel Eberl

Mar 03

2018

A verified LLL algorithm

by Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Feb 02

2017

Linear Recurrences

by Manuel Eberl

Oct 12