Mavzu: Matematic tizim

Wolfram (dasturlash tili)
Wolfram - bu tizimning lingvistik asosini tashkil etuvchi, uning imkoniyatlarini kengaytirish imkonini beruvchi talqin qilingan funktsional dasturlash tili; bundan tashqari, Mathematica asosan Wolfram tilida yozilgan, garchi ba'zi funktsiyalar, ayniqsa chiziqli algebra bilan bog'liq bo'lganlar, optimallashtirish maqsadida C tilida amalga oshirilgan.
Til dasturning standart bajarilishini boshqarish bayonotlari (ko'chadan va shartli o'tishlar) yordamida protsessual dasturlashni ham, kechiktirilgan hisob-kitoblarni amalga oshirishga imkon beruvchi ob'ektga yo'naltirilgan yondashuvni qo'llab-quvvatlaydi. Shuningdek, Mathematica tizimida siz ma'lum iboralar bilan ishlash qoidalarini o'rnatishingiz mumkin.
Kod misoli - tub sonlar ro'yxati tub darajalar darajasidan foydalangan holda bloklarda tanlanadi:
In[1] := tm = 2; p = {}; k = 1; Qilish[
Do[Agar[t > 0 boʻlsa,
[i = 1, (s = p[[i]]) uchun <= t + 1, i++,
Agar[GCD[k - s, 2 s - 1] != 1, Goto[l]]]]; p = Qo'shish[p, k];
label[l]; k++, {4 (t + 1)}], {t, 0, tm}]; p *= 2; p--; p[[1]]++; p
Chiqib ketgan[1] = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47}

Ixtisoslashgan muammolarni hal qiladigan tizim uchun ko'plab kengaytmalar mavjud. Masalan, AceFEM kengaytmasi cheklangan elementlar usuli yordamida fizik va matematik muammolarni hal qilish uchun mo'ljallangan, Analog Insydes kengaytmasi elektr zanjirlarini modellashtirish, tahlil qilish va yaratish uchun, Derivatives Expert qimmatli qog'ozlar va lotinlarni tahlil qilish uchun, Fuzzy Logic yaratish, o'zgartirish uchun mo'ljallangan. va loyqa to'plamlarni ko'rish. Geometrik masalalarni hal qilish uchun Geometrica (geometrik ob'ektlarni aniq qurish va bayonotlarni tekshirish qobiliyatiga ega geometrik ensiklopediya) va Geometriya ifodalari (ramziy geometriya) kengaytmalari mavjud. Kengaytmalar bilan bir qatorda C++ va Fortran 90 uchun kod generatorlari hamda Excel va LabView bilan ishlash uchun integratsiya paketlari joriy qilingan.