scientific article; zbMATH DE number 2086734

MaRDI QIDQ4737277zbMATH OpenFDO

Authors Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2317/23170046.htm

Mathematics Subject Classification ID

Recommendations

• Visual Mathematics: Diagrammatic Formalization and Proof
• scientific article; zbMATH DE number 1670623
• scientific article; zbMATH DE number 1787154
• On automating diagrammatic proofs of arithmetic arguments
• scientific article; zbMATH DE number 1787153

Cited in

(6)

• Vivid: a framework for heterogeneous problem solving
• Can proofs be animated by games?
• scientific article; zbMATH DE number 1537938 (Why is no real title available?)
• Typed Lambda Calculi and Applications
• Towards the animation of proofs -- testing proofs by examples
• Efficient on-line algorithms for Euler diagram region computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737277)