Puiseuxth
Proof of Puiseux's theorem and computation of roots of polynomials of Puiseux's series.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
similar
-
CoqPrime github.com
Library for certifying primality using Pocklington and Elliptic Curve certificates.
-
100 famous theorems proved using Coq github.com
-
CoqInterval gitlab.inria.fr
Tactics for performing proofs of inequalities on expressions of real numbers.
-
SSProve github.com
Framework for modular cryptographic proofs based on the Mathematical Components library.
-
FCF github.com
Framework for proofs of cryptography.
-
Proofs and Types paultaylor.eu
Jean-Yves Girard.
Coq › Projects > Type Theory and Mathematics: “Proof of Puiseux's theorem and computation of roots of polynomials of Puiseux's series.”