123
Mathematica

Mathematica

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

سایت اینترنتی:

امکانات

دسته بندی ها

گزینه های دیگر برای Mathematica برای OCaml

z3

z3

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