Software Map
Project Tree
Now limiting view to projects in the following categories:
License :: CeCILL-B [Remove This Filter]
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 (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: 15.44
Registered: 2006-06-21 14:09 |
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: 2.32
Registered: 2013-09-03 14:59 |
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 |
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 |
