Intuitive and formal representations: The case of matrices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3119, Issue , 2004, Pages 317-331

  Pollet, Martin ^a,b   Sorge, Volker ^b   Kerber, Manfred ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE MANAGEMENT;

FORMAL REPRESENTATIONS; IMPLICIT INFORMATIONS; LOGICAL FRAMEWORKS; MATHEMATICAL CONCEPTS; MATHEMATICAL NOTATIONS; MATHEMATICAL OBJECTS;

TEXTBOOKS;

EID: 33644915117     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27818-4_23     Document Type: Article

References (13)

1. P.B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, 2nd edition, 2002.
2. A. Bundy and J. Richardson. Proofs about lists using ellipsis. In Proc. of the 6th LPAR, volume 1705 of LNAI, pp. 1-12. Springer, 1999.
3. N.G. de Bruijn. The mathematical vernacular, a language for mathematics with typed sets. In Selected Papers on Automath, pp. 865-935. Elsevier, 1994.
4. H. Elbers. Connecting Informal and Formal Mathematics. PhD thesis, Eindhoven University of Technology, 1998.
5. F. Kamareddine and R. Nederpelt. A refinement of de Bruijn's formal language of mathematics. Journal of Logic, Language and Information, 13(3):287-340, 2004.
6. M. Köcher. Lineare Algebra und analytische Geometrie. Springer, 1992.
7. T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In Proc. of AICS'2002 & Calculemus'2002, volume 2385 of LNAI. Springer, 2002.
8. S. Lang. Algebra. Addison-Wesley, Second Edition, 1984.
9. NCAlgebra 3.7 - A Noncomrautative Algebra Package for Mathematica. Available at http://math.ucsd.edu/~ncalg/.
10. Omega Group. Proof development with Omega. In Proc. of CADE-18, volume 2392 of LNAI, pp. 143-148. Springer, 2002.
11. M. Pollet and V. Sorge. Integrating computational properties at the term level. In Proc. of Calculemus'2002, pp. 78-83, 2003.
12. M. Wenzel and F. Wiedijk. A Comparison of Mizar and Isar. J. of Automated Reasoning, 29(3-4):389-411, 2002.
13. S. Wolfram. The Mathematica book. Wolfram Media, Inc., 5th edition, 2003.