8
Axiom est un système d'algèbre informatique à usage général.Il est utile pour la recherche et le développement d'algorithmes mathématiques.Il définit une hiérarchie de types fortement typée et mathématiquement correcte.Il a un langage de programmation et un compilateur intégré.
axiom
Site Internet:
http://www.axiom-developer.org/Les catégories
