Hilbert II

Hilbert II 0.04.06

Hilbert II layihəsi təsdiq və oxunaqlı riyazi bilik sərbəst çıxış edir. Adı artıq təklif kimi, bu layihə Hilbert proqramı ənənə var. Hilbert II rəsmi düzgün formada riyazi teoremləri və sübutlar olan bir pulsuz, dünyada riyazi bilik bazası olmaq istəyir....

. Bu itkin planlaşdırılır funcionality çox, o, bir çox erkən versiyası Fractal Fr0st bir iterated Funcion Bu göstərilən kimi sistem & nbsp nəticələri görüntüləmək imkanı verir Python / Pygame yazılı bir proqram.yalnız nəzarət günə qədər çevirmək aktiv...

EqualX

EqualX 0.6.0 Beta

EqualX asanlıqla lateks tənliklərin yazmaq və real-vaxt onlara önizleme edir ki, bir proqram.Layihələr məqsədləri aşağıdakılardır:- Kömək istifadəçi yazmaq daha asan lateks tənliklər və real-vaxt onlara önizleme:- Simvolu başa- GUI tools zəruri rəmzləri...

Stacniac

Stacniac 1.0

Stacniac bir RPN kalkulyator proqramdır. Siz download və pulsuz istifadə (- aşağıdakı 'düyməsinə basın, lakin ianələr təşəkkürlə qəbul olunur) ola bilər.Bu səhifəyə keçid bilər. Stacniac paylaşdırmaq etməyin; Bu hissələrə ayırmamalı və ya dəyişdirmək...