Software Map

Project Tree

Now limiting view to projects in the following categories:
Topic :: Scientific/Engineering :: Mathematics [Remove This Filter]
Research center :: Rocquencourt [Remove This Filter]
Intended Audience :: Developers [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

3 projects in result set.

Pnl - Pnl is a numerical library written in C. It is released under the GNU Lesser General Public License.

Development Status : 5 - Production/Stable[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C[Filter]
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Mathematics (Now Filtering)

Activity Percentile: 75.45

Registered: 2008-12-09 15:32

scicoslab - Management of the development of the Modelica compiler Simpa2. This compiler is used in particular in the scientific software package ScicosLab.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Mathematics (Now Filtering)

Activity Percentile: 0.00

Registered: 2010-02-11 07:57

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Programming Language : Other[Filter]
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Mathematics (Now Filtering)

Activity Percentile: 0.00

Registered: 2014-09-14 10:01