Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Programming Language :: Objective-Caml [Remove This Filter]
      Operating System :: OS Independent [Remove This Filter]
      Programming Language :: Other [Remove This Filter]
      Research center :: Rocquencourt [Remove This Filter]
      Natural Language :: English [Remove This Filter]

---

Intended Audience  >  Other Audience

Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

---

1 project in result set.

---

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

Development Status : 5 - Production/Stable[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Intended Audience : Other Audience[Filter] Kind : Software[Filter] License : CeCILL-B[Filter] Natural Language : English (Now Filtering) Operating System : OS Independent (Now Filtering) Programming Language : Objective-Caml (Now Filtering) Programming Language : Other (Now Filtering) Research center : Rocquencourt (Now Filtering) Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00 Registered: 2014-09-14 10:01

---