Sciweavers

MKM
2005
Springer
14 years 5 months ago
Determining Empirical Characteristics of Mathematical Expression Use
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
Clare M. So, Stephen M. Watt
MKM
2005
Springer
14 years 5 months ago
Semantic Matching for Mathematical Services
Abstract. The amount of machine oriented data on the web as well as the deployment of agent/Web Services are simultaneously increasing. This poses a service-discovery problem for c...
William Naylor, Julian A. Padget
MKM
2005
Springer
14 years 5 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
MKM
2005
Springer
14 years 5 months ago
Authoring Presentation for OpenMath
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, E...
MKM
2005
Springer
14 years 5 months ago
Engineering Mathematical Knowledge
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
Achim Mahnke, Jan Scheffczyk
MKM
2005
Springer
14 years 5 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
MKM
2005
Springer
14 years 5 months ago
A Tough Nut for Mathematical Knowledge Management
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
Manfred Kerber, Martin Pollet
MKM
2005
Springer
14 years 5 months ago
Toward an Object-Oriented Structure for Mathematical Text
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
MKM
2005
Springer
14 years 5 months ago
Computational Origami of a Morley's Triangle
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
MKM
2005
Springer
14 years 5 months ago
Translating Mathematical Vernacular into Knowledge Repositories
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
Adam Grabowski, Christoph Schwarzweller