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