Results 1 
3 of
3
Intuitive and Formal Representations: The Case of Matrices
 In MKM’04, LNCS 3119
, 2004
"... A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathematical notation when formalising mathematical concepts. While logic is an excellent tool to represent certain mathemati ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathematical notation when formalising mathematical concepts. While logic is an excellent tool to represent certain mathematical concepts it often fails to retain all the information implicitly given in the representation of some mathematical objects. In this paper we concern ourselves with matrices, whose representation can be particularly rich in implicit information. We analyse dierent types of matrices and present a mechanism that can represent them very close to their textbook style appearance and captures the information contained in this representation but that nevertheless allows for their compilation into a formal logical framework. This rstly allows for a more humanoriented interface and secondly enables ecient reasoning with matrices.
(ULTRA group, HeriotWatt University)
"... Abstract. In only few decades, computers have changed the way we approach documents. Throughout history, mathematicians and philosophers had clarified the relationship between mathematical thoughts and their textual and symbolic representations. We discuss here the consequences of computerbased for ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. In only few decades, computers have changed the way we approach documents. Throughout history, mathematicians and philosophers had clarified the relationship between mathematical thoughts and their textual and symbolic representations. We discuss here the consequences of computerbased formalisation for mathematical authoring habits and we present an overview of our approach for computerising mathematical texts. 1.