Results 1  10
of
32
OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge
 IN PROCEEDINGS AISC'2000
, 2000
"... In this paper we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematic ..."
Abstract

Cited by 42 (5 self)
 Add to MetaCart
In this paper we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus.
System Description: MBase, an Open Mathematical Knowledge Base
 CADE17, LNAI 1831
, 2000
"... In this paper we describe the MBase system, a webbased, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that offers ... ..."
Abstract

Cited by 21 (9 self)
 Add to MetaCart
In this paper we describe the MBase system, a webbased, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that offers ...
Tutorial dialogs on mathematical proofs
 In Proceedings of the IJCAI Workshop on Knowledge Representation
, 2003
"... The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis ..."
Abstract

Cited by 19 (16 self)
 Add to MetaCart
The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated tutoring system for teaching proofs in naive set theory, we identify several interesting problems which lead to requirements for mathematical knowledge representation. This includes resolving reference between natural language expressions and mathematical formulas, determining the semantic role of mathematical formulas in context, and determining the contribution of inference steps specified by the user. 1
A search engine for mathematical formulae
 Proc. of Artificial Intelligence and Symbolic Computation, number 4120 in LNAI
, 2006
"... Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in a ..."
Abstract

Cited by 18 (1 self)
 Add to MetaCart
Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application. 1
OMDoc: An infrastructure for openmath content dictionary information
 BULLETIN OF THE ACM SPECIAL INTEREST GROUP ON SYMBOLIC AND AUTOMATED MATHEMATICS (SIGSAM
, 2000
"... The OpenMath framework for transmitting mathematical objects over the Internet relies on the concept of Content Dictionaries (CDs) to define the semantics of mathematical objects. This is an essential measure for establishing a meaningful communication amongst mathematical software systems (and huma ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
The OpenMath framework for transmitting mathematical objects over the Internet relies on the concept of Content Dictionaries (CDs) to define the semantics of mathematical objects. This is an essential measure for establishing a meaningful communication amongst mathematical software systems (and humans). Currently, the infrastructure for conceiving, administering, viewing CDs is limited to a filebased almost flat repository. In this paper, we propose to use the OMDoc extension of the OpenMath Xml encoding as an infrastructure to express and manipulate content dictionary information. OMDoc extends OpenMath by adding support for document markup (making the CDs more readable to the human user) and structured specification (making them more explicit, formal, and allow the user to reuse, and inherit CD information in a flexible, but welldefined way).
Towards collaborative content management and version control for structured mathematical knowledge
 Mathematical Knowledge Management, MKM’03, number 2594 in LNCS
, 2003
"... Abstract. We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
Abstract. We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvslike version control and distribution model. This architecture extends the cvs architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the onelevel client/server model of cvs is generalized to a multilevel graph of client/server relations, and on the other hand the underlying changedetection tools take the mathspecific structure of the data into account. 1
Notation Selection in Mathematical Computing Environments
 In Proc. Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006
, 2006
"... We examine the problem of notation selection in mathematical computing environments. Users of mathematical software may require different notations for the same expression in a variety of settings. How this can be managed in a general way is the subject of this paper. We describe a software tool tha ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
We examine the problem of notation selection in mathematical computing environments. Users of mathematical software may require different notations for the same expression in a variety of settings. How this can be managed in a general way is the subject of this paper. We describe a software tool that can be configured to allow mathematical packages to provide output according to specified notation preferences. We explore how the choice of a set of notations can be used to disambiguate mathematical input and output in a variety of settings, including mathematical handwriting recognition, mathematical knowledge management and computer algebra systems. 1
An Environment for Building Mathematical Knowledge Libraries
 Proc. of the 3rd Int. Conference on Mathematical Knowledge Management, MKM’04
, 2004
"... Proving is an activity that makes use of mathematical knowledge. ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
Proving is an activity that makes use of mathematical knowledge.
Natural Language Dialog with a Tutor System for Mathematical Proofs
 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
, 2007
"... Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multidisciplinary challenge that requires the interaction of (i) advanced natural language processing, (ii) flexible tutorial dialog strategies including hints, and (iii) mathematical dom ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multidisciplinary challenge that requires the interaction of (i) advanced natural language processing, (ii) flexible tutorial dialog strategies including hints, and (iii) mathematical domain reasoning. This paper provides an overview on the current research in the multidisciplinary research project Dialog, whose goal is to build a prototype dialogenabled system for teaching to do mathematical proofs. We present the crucial subsystems in our architecture: the input understanding component and the domain reasoner. We present an interpretation method for mixedlanguage input consisting of informal and imprecise verbalization of mathematical content, and a proof manager that supports assertionlevel automated theorem proving that is a crucial part of our domain reasoning module. Finally, we briefly report on an implementation of a demo system.
Efficient Retrieval of Mathematical Statements
 In Proceeding of the Third International Conference on Mathematical Knowledge Management, MKM 2004. Bialowieza, Poland. LNCS 3119
, 2004
"... Abstract. The paper describes an innovative technique for efficient retrieval of mathematical statements from large repositories, developing and substantially improving the metadatabased approach introduced in [13]. 1 ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
Abstract. The paper describes an innovative technique for efficient retrieval of mathematical statements from large repositories, developing and substantially improving the metadatabased approach introduced in [13]. 1