Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Programming Language :: Other [Remove This Filter]
      Intended Audience :: Developers [Remove This Filter]
      Development Status :: 5 - Production/Stable [Remove This Filter]
      Kind :: Software [Remove This Filter]

---

Operating System  >  OS Independent

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

---

2 projects in result set.

---

GraSP - Matlab / Octave toolbox for processing and visualization of graphs and graph signals.

Development Status : 5 - Production/Stable (Now Filtering) Environment : Other Environment[Filter] Intended Audience : Developers (Now Filtering) Kind : Software (Now Filtering) License : CeCILL[Filter] Natural Language : English[Filter] Operating System : OS Independent[Filter] Programming Language : Other (Now Filtering) Research center : Montbonnot[Filter] Topic : Scientific/Engineering : Mathematics[Filter] Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 10.32 Registered: 2015-11-13 10:21

---

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

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

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

---