MATLAB

MATLAB

Sayısal hesaplama için kurumsal sınıf bilgi işlem ortamı ve programlama dili.
MATLAB sayısal bir hesaplama ortamı ve programlama dilidir.MathWorks tarafından sürdürülen MATLAB, kolay matris manipülasyonuna, fonksiyonların ve verilerin çizilmesine, algoritmaların uygulanmasına, kullanıcı arayüzlerinin oluşturulmasına ve diğer dillerdeki programlarla arayüz oluşturulmasına izin verir.Yalnızca sayısal olmasına rağmen, isteğe bağlı bir araç kutusu MuPAD sembolik motorunu kullanarak bilgisayar cebir özelliklerine erişim sağlar.Ek bir paket olan Simulink, dinamik ve gömülü sistemler için grafiksel çok alanlı simülasyon ve Model Tabanlı Tasarım ekler ....
matlab

OCaml için MATLAB'a alternatifler

z3

z3

Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır.