Software Map
Project Tree
Now limiting view to projects in the following categories:
License :: CeCILL-B [Remove This Filter]
4 projects in result set.
0. 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 (Now Filtering)
- Natural Language : English [Filter]
- Operating System : OS Independent [Filter]
- Programming Language : ML [Filter]
- Programming Language : Other [Filter]
- Research center : Saclay - Ile de France [Filter]
- Topic : Scientific/Engineering : Mathematics [Filter]
|
Activity Percentile: 27.65
Registered: 2006-06-21 14:09 |
1. 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 (Now Filtering)
- Natural Language : English [Filter]
- Operating System : OS Independent [Filter]
- Programming Language : Objective-Caml [Filter]
- Programming Language : Other [Filter]
- Research center : Rocquencourt [Filter]
- Topic : Scientific/Engineering : Mathematics [Filter]
|
Activity Percentile: 0.00
Registered: 2014-09-14 10:01 |
2. Gar6more3D - Analytical solutions for three-dimensional wave propagation problems.
|
- Development Status : 5 - Production/Stable [Filter]
- Environment : MPI [Filter]
- Intended Audience : Developers [Filter]
- Intended Audience : Other Audience [Filter]
- Kind : Software [Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English [Filter]
- Operating System : OS Independent [Filter]
- Programming Language : Fortran [Filter]
- Research center : Bordeaux - Sud-Ouest [Filter]
- Topic : Scientific/Engineering : Mathematics [Filter]
|
Activity Percentile: 0.00
Registered: 2013-09-03 14:59 |
3. Gar6more2D - Analytical solutions for two dimensional wave propagation problems.
|
- Development Status : 5 - Production/Stable [Filter]
- Intended Audience : Other Audience [Filter]
- Kind : Software [Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English [Filter]
- Operating System : OS Independent [Filter]
- Programming Language : Fortran [Filter]
- Research center : Bordeaux - Sud-Ouest [Filter]
- Topic : Scientific/Engineering : Mathematics [Filter]
|
Activity Percentile: 0.00
Registered: 2013-09-03 14:53 |
