Publikace
- Decision Support Systems (1995)
- A Support for Decision Making: Cost-Sensitive Learning System (1994)
- CN4: An Extension of CN2 Covering Algorithm (1993)
- Výpočetní prostředky s paralelní architekturou pro vědecké výpočty. (1989)
- LINEQAP - knihovna programů pro řešení soustav lineárních rovnic a inverzí matice s použitím maticového procesoru EC 2345 (1987)
- Knihovna maticových a vektorových operací s využitím maticového procesoru EC 2345 (1986)
- Popis prekompilátoru maticových operací (1986)
- SPONA - 82. Uživatelský popis souboru programů pro optimalizaci a nelineární aproximaci /verse 1982/ (1983)
- LINEAL. Programy pro přibližná řešení soustavy lineárních rovnic (dodatky k 31.12.1982) (1983)
- Soubor programů pro globální optimalizaci (1982)
- EISPAC. Soubor programů pro řešení vlastních čísel a vlastních vektorů reálných i komplexníxh matric (1980)
- LINEAL. Soubor programů pro řešení úloh z lineární algebry. Uživatelský popis (1980)