Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Intended Audience :: Other Audience [Remove This Filter]
Programming Language :: Other [Remove This Filter]
Programming Language :: Objective-Caml [Remove This Filter]
2 projects in result set.
Prégroupes
- Grammaires de prégroupes.
|
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software (Now Filtering)
- Kind : Work group[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Programming Language : Other (Now Filtering)
- Programming Language : PHP[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Text Editors : Text Processing[Filter]
|
Activity Percentile: 0.00
Registered: 2007-09-28 14:36 |
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 (Now Filtering)
- Kind : Software (Now Filtering)
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Programming Language : Other (Now Filtering)
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2014-09-14 10:01 |
