Axiome gibt in theoretischen Wissenschaften zu hauf und interessieren mich eher selten.
Es gibt jedoch ein Programm names Axiom - The Scientific Computation System. [1]
Ein Programm kann symbolische Berechnungen von Formeln durchführen und die Ergebnisse auch als Grafiken ausgeben. Dazu gibt es dann ein passendes Mediawiki-Plugin [2] um Axiom einzubinden, um direkt Formel und Ergebnis als gerenderte Formel in einen Artikel einzubauen.
Das klingt alles super, aber für nur mal zum Rumspielen sind mir 108MB (!) Installationsdateien gerade zuviel. Später vielleicht.
[1] http://www.axiom-developer.org
[2] http://www.mediawiki.org/wiki/Extension:Axiom