Log In
New Account
My Page
Project Tree
Code Snippets
Project Openings

Now limiting view to projects in the following categories:
      Intended Audience :: Developers [Remove This Filter]
      Programming Language :: C++ [Remove This Filter]
      Natural Language :: English [Remove This Filter]
      Operating System :: OS Independent [Remove This Filter]

  LIP research teams
      Arénaire \(computer arithmetic\)
Browse By::
  Development Status
  Intended Audience
  LIP research teams
  Natural Language
  Operating System
  Programming Language

1 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 (Now Filtering)
  • 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++ (Now Filtering)
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 20.00
Activity Ranking: 5.00
Register Date: 2004-07-06 15:19


GForge Group Professional Services

Powered By GForge Collaborative Development Environment