Intuitive and Formal Representations: The Case of Matrices

Martin Pollet, Volker Sorge, Manfred Kerber. Intuitive and Formal Representations: The Case of Matrices. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 317-331, Springer, 2004. [doi]

Authors

Martin Pollet

This author has not been identified. Look up 'Martin Pollet' in Google

Volker Sorge

This author has not been identified. Look up 'Volker Sorge' in Google

Manfred Kerber

This author has not been identified. Look up 'Manfred Kerber' in Google