Title :
What can Symbolic Computation Contribute to Mathematics?
Author_Institution :
Res. Inst. for Symbolic Comput. (RISC), Johannes Kepler Univ., Linz, Austria
Abstract :
Symbolic Computation (Mathematics Subject Classification 2000, 68W30) is often treated as just another subject in the wide field of special topics within mathematics, on the same level as mesh generation (65L50) or quasi-Frobenius rings (16L60). Here we want to argue that actually Symbolic Computation is not so much a topic in mathematics, but a relatively novel approach to mathematical epistemology, a different and, as we believe, fruitful way of looking at mathematics and the acquisition of knowledge in mathematics.
Keywords :
knowledge acquisition; mathematics computing; mesh generation; symbol manipulation; knowledge acquisition; mathematical epistemology; mesh generation; quasiFrobenius rings; symbolic computation; Algebra; Computers; Geometry; Informatics; Polynomials; mathematics; symbolic computation;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4673-0207-4
DOI :
10.1109/SYNASC.2011.59