Sciweavers

2741 search results - page 21 / 549
» Engineering Mathematical Knowledge
Sort
View
SEMWIKI
2008
150views Data Mining» more  SEMWIKI 2008»
13 years 10 months ago
Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
Christoph Lange 0002
OAS
2003
13 years 10 months ago
Dealing With Mathematical Relations in Web-Ontologies
The growing use of agent systems and the widespread penetration of the Internet has opened up new possibilities for scientific collaboration. We have been investigating the role ...
Muthukkaruppan Annamalai, Leon Sterling
JUCS
2008
148views more  JUCS 2008»
13 years 8 months ago
SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
Ana Belén Gil, Raquel Rodríguez, Fra...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 10 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
AISC
2010
Springer
14 years 1 months ago
Adapting Mathematical Domain Reasoners
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
Bastiaan Heeren, Johan Jeuring