openmath
pexpect
