Polynomial_Interpolation Dependents

2024

A simple proof that π is irrational

by Manuel Eberl

Sep 13

2023

Two theorems about the geometry of the critical points of a complex polynomial

by Manuel Eberl

Nov 14

Chebyshev Polynomials

by Manuel Eberl

Nov 13

2022

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

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Dec 15

2021

The Theorem of Three Circles

by Fox Thomson and Wenda Li

Aug 21

Formal Puiseux Series

by Manuel Eberl

Feb 17

2019

Gauss Sums and the Pólya–Vinogradov Inequality

by Rodrigo Raya and Manuel Eberl

Dec 10

2017

Count the Number of Complex Roots

by Wenda Li

Oct 17

The Transcendence of e

by Manuel Eberl

Jan 12

2016

Expressiveness of Deep Learning

by Alexander Bentkamp

Nov 10

The Factorization Algorithm of Berlekamp and Zassenhaus

by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Oct 14

Polynomial Factorization

by René Thiemann and Akihisa Yamada

Jan 29

2014

The Sturm–Tarski Theorem

by Wenda Li

Sep 19