 |
Now limiting view to projects in the following categories:
Topic :: Scientific/Engineering [Remove This Filter]
2 projects in result set.
1. Gappa - Gappa - Génération automatique de preuves de propriétés arithmétiques (pour des programmes effectuant des calculs flottants)
| - Development Status: 4 - Beta [Filter]
- Environment: Console (Text Based) [Filter]
- Intended Audience: Developers [Filter]
- License: GNU General Public License \(GPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: OS Independent [Filter]
- Programming Language: C++ [Filter]
- Topic: Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-07-06 15:19 |
2. Machine-efficient polynomials library - MEPLib is a library that automatically generates accurate and fast polynomial approximations for computers. Input constraints for MEPLib include: function, domain, degree/accuracy, size and formats, and possibly values of some coefficients.
| - Development Status: 3 - Alpha [Filter]
- Environment: Other Environment [Filter]
- Intended Audience: Other Audience [Filter]
- License: GNU Lesser General Public License \(LGPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: OS Independent [Filter]
- Programming Language: C [Filter]
- Topic: Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-05-10 17:16 |
|
|
Development Status
