Polynomial Factorization
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
- Matrix interpretations for proving termination of term rewriting
- Matrix Theory
- Theory of algebraic numbers. Vol. 1
Cited in
(15)- Jordan Normal Forms
- Berlekamp Zassenhaus
- Perron Frobenius
- Linear Recurrences
- Amicable Numbers
- Fishers_Inequality
- Gaussian_Integers
- Continued Fractions
- A Formalization of Knuth–Bendix Orders
- Complex Lattices, Elliptic Functions, and the Modular Group
- A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover
- Power Sum Polynomials
- Dirichlet Series
- First-Order Terms
- Subresultants
This page was built for software: Polynomial Factorization
