Speq Mathematics-hoz hasonló ingyenes számológép-program és ingyenes komputeralgebrai program Windowsra ?

A Speq csak a rendszergazdának telepíti fel, nekem nem, egyébként nagyon tetszik, de kár hogy 10-estől eltérő számrendszerben csak egész számokat kezel, nincs high-DPI támogatása, nem tudom megadni hogy hány számjegytől legyen normálalak, stb.

Nem kell: gombok, pl. 0-9, mivel billentyűzetről gépelem be, tetszőleges pontosság.

Kell: ingyenes, Windowshoz való, nem rendszergazdaként is menjen, számrendszerek, logikai műveletek, képlet többször kiértékelése: minden kiértékelés előtt bekéri a képletben szereplő változókat, fizikai konstansok: egy konkrét szöveg beírásával ami a neve, ne csak listából kiválasztással, törtek, normálalak, kombinatorika, régi parancsok módosíthatósága és végrehajtása, trigonometria és inverzeik, hatványozás és logaritmus.

Jó ha van: függvényábrázolás, deriválás, integrálás, prímfaktorizálás, high-DPI támogatás, vektorok, egyenletrendszer, egyenlőtlenségrendszer, többedfokú egyenletek, statisztika, véletlenszám, mentés, lnko, lkkt, mátrixműveletek, eloszlások, stb.

Érdekelne komputeralgebrai program is, mint a Maple vagy a Matlab, de ingyenes legyen! Ez szimbolikus, ami azt jelenti, hogy például végtelen sor összegét úgy is meg tudja adni hogy pi/6, kiszámítás nélkül. Általában tud egyszerűsíteni: 4+x-x+6 esetén észreveszi hogy x-x = 0, így 10-re cseréli. Természetesen ki is kell tudnia számítani, és jó predikátumkalkulusbeli és 2. rendű logikai feladatokat is meg tud oldani, meg ítéletkalkulusbelieket is: pl. SAT/QSAT: nyilván ha nem túl sok a változó. Esetleg megadhatja a bizonyítást amit maga talált meg, ezek már nem fontosak, bizonyítás-ellenőrzés is lehet. Köszi.