Polynomial Interpolation
From MaRDI portal
- Arctic Termination ...Below Zero
- Certification of complexity proofs using CeTA
- Certification of Termination Proofs Using CeTA
- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Interpolation and approximation by polynomials
- Matrix interpretations for proving termination of term rewriting
- Matrix Theory
- Theory of algebraic numbers. Vol. 1
Cited in
(14)- Berlekamp Zassenhaus
- Count Complex Roots
- Sturm-Tarski Theorem
- Deep_Learning
- The Boustrophedon Transform, the Entringer Numbers, and Related Sequences
- Polynomial Factorization
- Chebyshev Polynomials
- A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
- A simple proof that π is irrational
- Two theorems about the geometry of the critical points of a complex polynomial
- Formal Puiseux Series
- The Transcendence of e
- Gauss Sums and the Pólya–Vinogradov Inequality
- The Theorem of Three Circles
This page was built for software: Polynomial Interpolation
