Results 1 
4 of
4
Presenting Proofs Using Logicographic Symbols
 In Proc. of the Workshop on Proof Transformation and Presentation and Proof Complexities (PTP01
, 2001
"... Abstract. Mathematics has a rich tradition in creating symbols and notation that is soundly integrated into the syntax of the underlying formal language and, at the same time, conveys the intuition behind the concepts described by the symbols and notation. Continuing this idea, in the Theorema syste ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Mathematics has a rich tradition in creating symbols and notation that is soundly integrated into the syntax of the underlying formal language and, at the same time, conveys the intuition behind the concepts described by the symbols and notation. Continuing this idea, in the Theorema system, with the new feature of logicographic symbols, we now provide a means to invent arbitrary new symbols and notation. In this paper we describe how logicographic symbols can be created, declared, and afterwards used as a part of the formal language of Theorema with an example. Also with logicographic symbols, formal proof text automatically generated by Theorema provers can become easy to read in a way that resembles telling a pictorial story about the mathematical concepts involved. 1
Systems for Integrated . . .  Interim Report of the CALCULEMUS Network.
"... This document reports on the research progress made in all work task of the CALCULEMUS IHP Training Network HPRNCT200000102 after the first half of the 48 months funding period. The objectives of the CALCULEMUS Network are: 1. outline the design of a new generation of mathematical software system ..."
Abstract
 Add to MetaCart
This document reports on the research progress made in all work task of the CALCULEMUS IHP Training Network HPRNCT200000102 after the first half of the 48 months funding period. The objectives of the CALCULEMUS Network are: 1. outline the design of a new generation of mathematical software systems and computeraided verification tools; 2. the training of young researchers in the broad field of mechanical reasoning and formal methods; 3. the dissemination of the results both in industry and in academia; and 4. the crossfertilisation and amalgamation of the automated theorem proving (ATP/DS), computer algebra (CAS), term rewriting systems (TRS) interactive proof development systems (ITP) and software
Variable Shape Logicographic Symbols
"... The idea of logicographic symbols is to dispatch graphical drawings to predicate or function constants. The drawings symbolize the intuition behind the notion of the constants. Without losing its rigor logicographic symbols can be used in the formal statements whose readability is remarkably enhance ..."
Abstract
 Add to MetaCart
(Show Context)
The idea of logicographic symbols is to dispatch graphical drawings to predicate or function constants. The drawings symbolize the intuition behind the notion of the constants. Without losing its rigor logicographic symbols can be used in the formal statements whose readability is remarkably enhanced. In this paper we propose new type of logicographic symbols, called 'variable shape', which change their shape depending on the arguments whereas others, called 'fixed shape', do not change their shape. Also the design principles which should be took into consideration are discussed.