Documentation Scientific and Technical Beat

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