From Fedora Project Wiki

Revision as of 13:32, 31 August 2011 by Jjmcd (talk | contribs)


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/.

Retrieved from "https://fedoraproject.org/w/index.php?title=Documentation_Scientific_and_Technical_Beat&oldid=251207"