From Fedora Project Wiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{header|docs}} | {{header|docs}} | ||
| Line 6: | Line 6: | ||
'''gappa''' is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Fedora 16 upgrades to version 0.15.0. The project's web site may be found at [http://gappa.gforge.inria.fr/ http://gappa.gforge.inria.fr/]. | '''gappa''' is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Fedora 16 upgrades to version 0.15.0. The project's web site may be found at [http://gappa.gforge.inria.fr/ http://gappa.gforge.inria.fr/]. | ||
== ATpy == | |||
'''ATpy''' is a Python library for manipulating astronomical tables. Details are available at [http://atpy.github.com/ http://atpy.github.com/]. | |||
Revision as of 13:32, 31 August 2011
gappa
gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Fedora 16 upgrades to version 0.15.0. The project's web site may be found at http://gappa.gforge.inria.fr/.
ATpy
ATpy is a Python library for manipulating astronomical tables. Details are available at http://atpy.github.com/.