Daniel Winterstein, Alan Bundy, Mateja Jamnik. A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. In Michael Anderson, Peter Cheng, Volker Haarslev, editors, Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Volume 1889 of Lecture Notes in Computer Science, pages 286-299, Springer, 2000. [doi]
Abstract is missing.