DocumentCode :
3542970
Title :
What can Symbolic Computation Contribute to Mathematics?
Author :
Winkler, Franz
Author_Institution :
Res. Inst. for Symbolic Comput. (RISC), Johannes Kepler Univ., Linz, Austria
fYear :
2011
fDate :
26-29 Sept. 2011
Firstpage :
19
Lastpage :
20
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/SYNASC.2011.59
Filename :
6169496
Link To Document :
بازگشت