|
|
(46 intermediate revisions by 3 users not shown) |
Line 1: |
Line 1: |
| {{header|docs}} | | {{header|docs}}{{Docs_beat_open}} |
| | |
| | |
| == ATpy ==
| |
| | |
| '''ATpy''' is a Python library for manipulating astronomical tables. Details are available at [http://atpy.github.com/ 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/ 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/ http://gappa.gforge.inria.fr/].
| |
| | |
| | |
| | |
| [[Category:Docs Project]] | | [[Category:Docs Project]] |
| [[Category:Draft documentation]] | | [[Category:Draft documentation]] |
| [[Category:Documentation beats]] | | [[Category:Documentation beats]] |