innen letölthetõ: http://www.k-online.com/~joer/syrup/syrup.html
(AC, DC, tranziens analizis, szimbolikus formában, azaz elõ lehet vele állítanipl. az átviteli függvényt analitikus formában. Netlistes formában lehet vele az áramkört megadni. Csak kisebb áramkörökre jó, nincs alkatrészkönyvtára, létrahálózatokat lehet csak felrajzolni vele.)
- qft: kvantumfizikához csomag
http://www.scg.uwaterloo.ca/~ecterrab/qft.html
- Maple-PVs interface
Matematikai tételek, állítások gépi bizonyítására (automated theory proving) szolgáló önálló PSV programhoz készült Maple-interfész. Kell hozzá persze az eredeti progi is, ahhoz úgy néz ki Windows alatt nem fut, linux kell hozzá.
Pl. azonosságok igazolására, függvény folytonosság eldöntésére stb... ( a maple nem megbízható ebben),
a program: http://www.dcs.qmul.ac.uk/~hago/Maple-PVS/
egy publikáció róla: http://www.csl.sri.com/users/owre/papers/tphols01/tphols01.pdf#search=%22pvs%20maple%22