Americko-český výzkum symbolického odvození, analýzy a programování diferenčních schemat
Období
01.01.1993 - 31.12.1997
řešitel
US-Český výzkum v matematických symbolech a derivacích, analýza programování a konečné diferenční programy
Období
01.01 - 31.12.1996
řešitel
Symbolické odvození, analýza a programování diferenčních schémat a algebraických algoritmů
Období
01.01.1994 - 31.12.1995
řešitel