|
|
(51 intermediate revisions by 4 users not shown) |
Line 1: |
Line 1: |
| {{header|docs}} | | {{header|docs}} |
|
| |
|
| | | {{Docs_beat_closed}} |
| == 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]] |