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