Title :
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher
Author :
Buchberger, Bruno
Author_Institution :
Johannes Kepler Univ. Linz, Linz
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;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2007. SYNASC. International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-0-7695-3078-8
DOI :
10.1109/SYNASC.2007.90
