Polynomial_Factorization Dependents

2024

Continued Fractions

by Manuel Eberl

Mar 20

2022

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics

by Chelsea Edmonds and Lawrence C. Paulson

Apr 21

2020

Amicable Numbers

by Angeliki Koutsoukou-Argyraki

Aug 04

A Formalization of Knuth–Bendix Orders

by Christian Sternagel and René Thiemann

May 13

Power Sum Polynomials

by Manuel Eberl

Apr 24

Gaussian Integers

by Manuel Eberl

Apr 24

2018

A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel

Nov 23

First-Order Terms

by Christian Sternagel and René Thiemann

Feb 06

2017

Linear Recurrences

by Manuel Eberl

Oct 12

Dirichlet Series

by Manuel Eberl

Oct 12

Subresultants

by Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Apr 06

2016

The Factorization Algorithm of Berlekamp and Zassenhaus

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

Oct 14

Perron-Frobenius Theorem for Spectral Radius Analysis

by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada

May 20

2015

Matrices, Jordan Normal Forms, and Spectral Radius Theory

by René Thiemann and Akihisa Yamada

Aug 21