S'identifier
Nouveau compte
  
 
Accueil
Ma page
Arbre des projets
Boite à outils
Demande d'aide
          
 

Vue restreinte aux projets des catégories suivantes:
      Operating System :: OS Independent [Supprimer ce filtre]
      Natural Language :: English [Supprimer ce filtre]
      Topic :: Scientific/Engineering [Supprimer ce filtre]


  LIP research teams
      Arénaire \(computer arithmetic\)
Afficher par :
  Development Status
  Environment
  Intended Audience
  License
  LIP research teams
  Natural Language
  Operating System
  Programming Language
  Topic

2 projet(s) trouvé(s).
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 (Now Filtering)
  • Operating System: OS Independent (Now Filtering)
  • Programming Language: C++ [Filter]
  • Topic: Scientific/Engineering (Now Filtering)
Activity Percentile: 50.00
Activity Ranking: 3.00
Register Date: 06/07/2004 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 (Now Filtering)
  • Operating System: OS Independent (Now Filtering)
  • Programming Language: C [Filter]
  • Topic: Scientific/Engineering (Now Filtering)
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 10/05/2004 17:16

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment