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)- Continued Fractions
- Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics
- A Formalization of Knuth–Bendix Orders
- Complex Lattices, Elliptic Functions, and the Modular Group
- Perron-Frobenius Theorem for Spectral Radius Analysis
- Linear Recurrences
- A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover
- Matrices, Jordan Normal Forms, and Spectral Radius Theory
- Amicable Numbers
- Power Sum Polynomials
- Dirichlet Series
- The Factorization Algorithm of Berlekamp and Zassenhaus
- Gaussian Integers
- First-Order Terms
- Subresultants
This page was built for software: Polynomial Factorization
