From Fedora Project Wiki

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


ATpy

ATpy is a Python library for manipulating astronomical tables. Details are available at http://atpy.github.com/.


IBSimu

Ion Beam Simulator or IBSimu is an ion optical computer simulation package for ion optics, plasma extraction and space charge dominated ion beam transport using Vlasov iteration. More information at http://ibsimu.sourceforge.net/.


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

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