Software Map
Project Tree
Now limiting view to projects in the following categories:
Topic :: Scientific/Engineering :: Mathematics [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]
Natural Language :: English [Remove This Filter]
16 projects in result set.
Slimmer
- Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 74.45
Registered: 2006-05-11 20:47 |
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 (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : ML[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 68.14
Registered: 2006-06-21 14:09 |
GUIDE
- GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ.
However, GUIDE is now dead, and this project is used for various projects in TAO.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Education : Computer Aided Instruction \(CAI\)[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 40.06
Registered: 2008-01-10 17:14 |
Simplet
- Simplet is a solver for tropical linear optimization problems. It relies on the tropicalization of the simplex method.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 8.52
Registered: 2015-02-17 11:36 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 3.15
Registered: 2009-09-21 09:47 |
Transcend With SOS
- A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Public Domain[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2012-01-08 22:29 |
Transalpyne programming language suite
- Transalpyne is a toolkit written in Python to transpose, interpret, compile and otherwise manipulate programs written in TransAL, the Transposable Algebraic Language.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Python[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Interpreters[Filter]
|
Activity Percentile: 0.00
Registered: 2009-12-10 21:04 |
Monolix
- Développement du logiciel Monolix
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Other Environment[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications : KDE[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
- Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
|
Registered: 2006-10-02 09:21 |
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 (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : C[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2007-07-05 21:25 |
COCO
- COCO (COmparing Continuous Optimisers) is a platform for systematic and sound comparisons of real-parameter global optimisers. COCO provides a benchmark function testbed and tools for processing and visualizing data generated by one or several optimizers
|
- Development Status : 5 - Production/Stable[Filter]
- Kind : Software[Filter]
- Natural Language : English (Now Filtering)
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2007-05-05 15:56 |
FracLab
- FracLab is a general purpose signal and image processing toolbox based on fractal and multifractal methods.
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2008-11-03 11:16 |
pigames (Policy Iteration for Games)
- The aim of this project is to develop a fast numerical algorithm for solving large scale zero-sum two player stochastic games with mean reward or discounted reward, which combines policy iteration algorithm and multigrid methods.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2011-04-13 16:34 |
Computational Unified Library - Topology
- CULT - the Computational Unified Library for Topology
This is a project to provide a unified basis to write compatible modules for computational topology, topological data analysis and similar areas, with bindings to external systems.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Python[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2009-04-08 13:27 |
[à jeter]★-IPS [OBSOLETE]
- THIS PAGE IS OBSOLETE, PLEASE SEE https://gitlab.inria.fr/bptraffic/star-ips
The name ★-IPS covers a family of algorithms, based on Iterative Proportional Scaling, intended for Gaussian Markov random field selection.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : Creative Commons : CC-by-nc-sa[Filter]
- Natural Language : English (Now Filtering)
- Programming Language : C\+\+[Filter]
- Research center : Rocquencourt[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2014-04-18 10:03 |
BOCOP
- BOCOP: Boite à Outils pour le Controle OPtimal
|
- Development Status : 6 - Mature[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2010-08-31 08:45 |
BOCOP-HJB
- BOCOP-HJB
Toolbox for optimal control, HJB approach
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2015-03-06 12:40 |
