۱۸٬۳۲۰
ویرایش
جز (ربات ردهٔ همسنگ (۳۰.۱) +مرتب (۱۴.۹ core): + رده:سیستمهای نرمافزاری اثبات قضیه) |
P.arashnia (بحث | مشارکتها) |
||
|شرکت سازنده = [[ولفرم ریسرچ]]
|اولین نسخه =
|آخرین نسخه پایدار = ۱۲.۲
|آخرین نسخه آزمایشی =
|زبانهای برنامهنویسی = [[سی (زبان برنامهنویسی)|سی]]، [[سی++]]، [[جاوا (زبان برنامهنویسی)|جاوا]]
|