8
Axiom یک سیستم جبری رایانه ای است.برای تحقیق و توسعه الگوریتم های ریاضی مفید است.این یک سلسله مراتب از نوع ریاضی و کاملاً دقیق تایپ شده را تعریف می کند.دارای زبان برنامه نویسی و کامپایلر داخلی است.
سایت اینترنتی:
http://www.axiom-developer.org/دسته بندی ها
