Intuitive and Formal Representations: The Case of Matrices

@inproceedings{Pollet2004IntuitiveAF,
  title={Intuitive and Formal Representations: The Case of Matrices},
  author={Martin Pollet and Volker Sorge and Manfred Kerber},
  booktitle={MKM},
  year={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 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… CONTINUE READING

Similar Papers

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 13 REFERENCES

Integrating omputational properties at the term level

M. Pollet, V. Sorge
  • In Pro . of Cal ulemus'2002, p. 78{83,
  • 2003

The Mathemati a book

S. Wolfram
  • Wolfram Media, In ., 5th edition,
  • 2003

An Introdu tion to Mathemati al Logi and Type Theory : To TruthThrough Proof

P. B. Andrews.
  • 2002

Proofs about lists using ellipsis

N. G. de Bruijn.
  • 1999

The mathemati al verna ular , a language for mathemati s withtyped sets

H. Elbers.
  • Sele ted Papers on Automath
  • 1994