DocumentCode
2858594
Title
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher
Author
Buchberger, Bruno
Author_Institution
Johannes Kepler Univ. Linz, Linz
fYear
2007
fDate
26-29 Sept. 2007
Firstpage
11
Lastpage
12
Abstract
As in any other scientific field, the quality control (by peer reviewing), archiving and distribution of knowledge in mathematics is organized by journals. Currently, mathematical journals represent huge chunks of knowledge that sit passively on a shelf and wait for a human user to read or query them. In contrast, what we want to achieve in this project is the transformation of the knowledge contained in mathematical journals into formal mathematical knowledge bases that behave as active reasoning agents.
Keywords
knowledge management; mathematics computing; multi-agent systems; publishing; active math-agents; active reasoning agents; formal mathematical knowledge base; mathematical journals; mathematics publisher; peer reviewing; quality control; Concrete; Distributed computing; Feedback; History; Humans; Instruments; Mathematics; Peer to peer computing; Quality control; Scientific computing;
fLanguage
English
Publisher
ieee
Conference_Titel
Symbolic and Numeric Algorithms for Scientific Computing, 2007. SYNASC. International Symposium on
Conference_Location
Timisoara
Print_ISBN
978-0-7695-3078-8
Type
conf
DOI
10.1109/SYNASC.2007.90
Filename
4438073
Link To Document