A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.

Daniel Winterstein, Alan Bundy, Mateja Jamnik

Browse the full DIAGRAMS paper archive.