z3

Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است.

Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است

گزینه های دیگر برای z3 برای Linux

180

محاسبات کلاس محتوا و زبان برنامه نویسی برای محاسبات عددی.

172

Octave یک برنامه کامپیوتری برای انجام محاسبات عددی است که بیشتر با MATLAB سازگار است.این بخشی از پروژه گنو است.

165

R یک محیط نرم افزار رایگان برای محاسبات آماری و گرافیک است.

140

سیستم محاسبات فنی قطعی که در حال یادگیری دستگاه و شبکه های عصبی است ، علوم داده ، تجسم و موارد دیگر.