Symbolic computation and teaching

Authors :: Dana Scott
Source :: Artificial Intelligence and Symbolic Mathematical Computation ISBN: 9783540617327, AISMC
Publication Year :: 1996
Publisher :: Springer Berlin Heidelberg, 1996.
Abstract: Since 1989, the author has tried to show that it is possible to put a complete semester-long course in machine-held form. Several examples have been carried out (in Mathematica), and the paper reports on the experience, on the problems encountered, and on some suggestions for future developments.

Subjects :: Theoretical computer science
Computer science
Symbolic trajectory evaluation
Symbolic-numeric computation
Congruence relation
Symbolic computation
Boolean function
Cellular automaton
Projective geometry

ISBN :: 978-3-540-61732-7
ISBNs :: 9783540617327
Database :: OpenAIRE
Journal :: Artificial Intelligence and Symbolic Mathematical Computation ISBN: 9783540617327, AISMC
Accession number :: edsair.doi...........2417a72a9ca476880c8758a0cd589905
Full Text :: https://doi.org/10.1007/3-540-61732-9_47