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)- The Boustrophedon Transform, the Entringer Numbers, and Related Sequences
- Polynomial Factorization
- Expressiveness of Deep Learning
- Chebyshev Polynomials
- A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
- Count the Number of Complex Roots
- A simple proof that π is irrational
- The Sturm–Tarski Theorem
- Two theorems about the geometry of the critical points of a complex polynomial
- Formal Puiseux Series
- The Factorization Algorithm of Berlekamp and Zassenhaus
- 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
