Software Map

Project Tree

Now limiting view to projects in the following categories:
Programming Language :: Other [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]

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

4 projects in result set.

CoqFiniteGroups - Formal proof of the Feit-Thompson theorem Ssreflect plugin for the Coq proof assistant

Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : ML[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 80.17

Registered: 2006-06-21 14:09

YALTA Toolbox - YALTA is a Matlab toolbox dedicated to the stability analysis of delay systems and fractional delay systems given by their transfer function.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering[Filter]

Activity Percentile: 62.10

Registered: 2013-05-15 19:39

totitatu - totitatu is a test project.

Development Status : 1 - Planning[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-13 09:40

CMA-ES global stochastic optimizer - The CMA-ES (Covariance Matrix Adaptation Evolution Strategy) is a global stochastic optimizer for difficult non-linear, non-convex continuous domain objective functions. See http://www.lri.fr/~hansen/cmaesintro.html

Development Status : 1 - Planning[Filter]
Development Status : 2 - Pre-Alpha[Filter]
Environment : Other Environment[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2007-07-05 21:25