Results 1  10
of
24
ActiveMath: A Generic and Adaptive WebBased Learning Environment
 International Journal of Artificial Intelligence in Education
, 2001
"... ActiveMath is a generic webbased learning system that dynamically generates interactive (mathematical) courses adapted to the students goals, preferences, capabilities, and knowledge. The content is represented in an semantic xmlbased format. For each user, the appropriate content is retrieved fr ..."
Abstract

Cited by 92 (28 self)
 Add to MetaCart
ActiveMath is a generic webbased learning system that dynamically generates interactive (mathematical) courses adapted to the students goals, preferences, capabilities, and knowledge. The content is represented in an semantic xmlbased format. For each user, the appropriate content is retrieved from a knowledge base and the course is generated individually according to pedagogical rules. Then the course is presented to the user via a standard webbrowser. One of the exceptional features of ActiveMath is its integration of standalone mathematical service systems. This offers the means for exploratory learning, realistically complex exercises as well as for learning proof methods. The article provides a comprehensive account of the current version of ActiveMath.
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 49 (12 self)
 Add to MetaCart
In this article we describe the data model of the MBase system, a webbased,
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 43 (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.
CCoRN, the Constructive Coq Repository at Nijmegan
"... We present CCoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper we explain the structure, the contents and the use of the library. Moreover we discuss the motivation and the (possible) ..."
Abstract

Cited by 29 (9 self)
 Add to MetaCart
We present CCoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper we explain the structure, the contents and the use of the library. Moreover we discuss the motivation and the (possible) applications of such a library.
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 25 (12 self)
 Add to MetaCart
(Show Context)
In this paper we describe the MBase system, a webbased, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that offers ...
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 13 (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).
Problems and Solutions for Markup for Mathematical Examples and Exercises
 In Proceedings of the Second International Conference on Mathematical Knowledge Management, MKM03, Andrea Asperti
, 2003
"... This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
(Show Context)
This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions.
Demand Theory and General Equilibrium: From Explanation to Introspection, A Journey Down the Wrong Road
 in Agreement on Demand: Consumer Theory in the Twentieth Century, P. Mirowski and
, 2006
"... Gerard Debreu symbolizes the use of a new mathematical apparatus, an apparatus comprehended by most economists only abstractly. Nevertheless, his work has given us an improved intuitive understanding of the underlying economic relevance. His clarity and analytical rigor, as well as the distinction ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
(Show Context)
Gerard Debreu symbolizes the use of a new mathematical apparatus, an apparatus comprehended by most economists only abstractly. Nevertheless, his work has given us an improved intuitive understanding of the underlying economic relevance. His clarity and analytical rigor, as well as the distinction drawn by him between an economic theory and its interpretation, have given his work important bearing on the choice of methods and analytical techniques within economic theory on a par with any other living economist. —Introduction of the Nobel laureate at the Royal Swedish Academy of Sciences, 1983 The complexity of an economy stands in sharp contrast to the simplicity of a question that must be raised about its operation. Many agents compose the economy, and they have to deal with a large number of commod
Publication of interactive visualizations with JavaView
 In Borwein,J., Morales,M.H., Polthier,K. and Rodrigues,J.F. (eds), Multimedia Tools for Communicating Mathematics
, 2002
"... ..."