Results 1 
6 of
6
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
, 2000
"... In this article we describe the data model of the MBase system, a webbased, ..."
Abstract

Cited by 46 (12 self)
 Add to MetaCart
In this article we describe the data model of the MBase system, a webbased,
Authoring LeActiveMath Calculus Content
 MATHEMATICAL KNOWLEDGE MANAGEMENT, MKM’06, LNAI, PAGES 251 – 265
, 2006
"... Within the LeActiveMath project, a collection of OMDoc files and supporting material has been realized. This content covers the derivative side of calculus and is being used by students in the LeActiveMath learning environment. LeAMcalculus is the first collection trying to make use of most of the ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
Within the LeActiveMath project, a collection of OMDoc files and supporting material has been realized. This content covers the derivative side of calculus and is being used by students in the LeActiveMath learning environment. LeAMcalculus is the first collection trying to make use of most of the features of the learning environment including advanced usages of OpenMath and OMDoc. It has been written in OQMath, a readable xmlsyntax. This paper describes the tools to produce it, how they were used and combined, the resulting content and the experience gained. It argues that the declaration of new OpenMath symbols is a requirement and explains challenges of authoring semantic mathematical content. Finally, it presents the management activities to support the authoring process.
MDoc: An Open Markup Format for Mathematical Documents
, 2000
"... In this report we present an extension O M Doc 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 mathem ..."
Abstract
 Add to MetaCart
In this report we present an extension O M Doc 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. We motivate and describe the O M Doc language and present an Xml document type definition for it. Furthermore, we discuss applications and tool support. Status of this document: This document describes version 1.0 of the O M Doc format, released November 1. 2000. Version 1.0 is the result of using O M Doc in various experiements and projects, stabilizes these experiences to serve as a basis for more sophisticated tools. The document type definition can be found at http: //www. mathweb.org/ omdoc/dtd/omdoc1.0. dtd . The O M Doc format will continue to evolve, the next steps are to include XML Schema support and more sophisticated (autho...
OMDoc: An Open Markup Format for Mathematical Documents
"... In this report 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
 Add to MetaCart
(Show Context)
In this report 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. We motivate and describe the OMDoc language and present an Xml document type definition for it. Furthermore, we discuss applications and tool support. Status of this document: This document describes version 1.0 of the OMDoc format, released November 1. 2000. Version 1.0 is the result of using OMDoc in various experiements and
DVI2SVG: Using the LATEX Layout on the Web
"... The problem of presenting mathematical formulas on the Web is nontrivial. Current systems offer only partial answers to such requirements as the guaranteed layout on the client side or the availability of fontglyphs. We describe DVI2SVG a system to convert TEX’s output into Scalable Vector Graphic ..."
Abstract
 Add to MetaCart
The problem of presenting mathematical formulas on the Web is nontrivial. Current systems offer only partial answers to such requirements as the guaranteed layout on the client side or the availability of fontglyphs. We describe DVI2SVG a system to convert TEX’s output into Scalable Vector Graphics. This approach responds to the requirement above and several others. We also present how it has been put to use into ActiveMath, a learning environment on the Web which presents mathematical documents personalized to each learner. 1 Different Approaches to Support Mathematics on the Web Classically, learning content is presented on the Web using the HTML format. This format, however, is unable to provide rich graphical constructs that are needed to render normal mathematical expressions. HTML’s layout capabilities are limited, preventing