Using Symbolic Computation Systems in Applications

• Authors: HŘEBÍČEK Jiří; PEŠL Jan; RÁČEK Jaroslav
• Year of publication: 2003
• Type: Article in Proceedings
• Conference: The Decidable and the Undecidable in Mathematics Education
• MU Faculty or unit: Faculty of Informatics