Home My Page Projects Puiseux's theorem
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files Mediawiki

Public Tools
Tracker  Tracker
There are no trackers available
 Public Forums (0 messages in 0 forums)
Mailing Lists (0 public mailing lists)
There are no subprojects available
SCM Repository (Git: 620 updates, 8 adds)
Project description

- Formal proof in Coq of Puiseux's theorem.
- Program computing roots of a Puiseux series polynomial.