Formalization of Visual Mathematical Notations

First Page		Document Content
Date: 2006-01-11 03:20:20 Diagrams Reasoning Automated theorem proving Logic programming Constraint programming Diagrammatic reasoning Diagram Euler diagram Mathematical notation Science Logic Mathematics		Formalization of Visual Mathematical Notations Add to Reading List Source URL: aaai.org Download Document from Source Website File Size: 936,60 KB Share Document on Facebook

	Conceptual Spider Diagrams Frithjof Dau1 and Andrew Fish2? 1 University of Wollongong DocID: 1pEcq - View Document
	The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams DocID: 1pxEJ - View Document
	Radial Sets: Interactive Visual Analysis of Large Overlapping Sets Bilal Alsallakh, Wolfgang Aigner, Silvia Miksch, and Helwig Hauser Fig. 1. The main interface of Radial Sets: (a) the sizes of the overlapping sets, (b) DocID: 1kqdq - View Document
	Strong impurity in a quantum wire Dmitry Aristov Petersburg Nuclear Physics Institute, Russia Collaboration: Peter Wölfle DocID: 1atgG - View Document
	Formalization of Visual Mathematical Notations DocID: RTok - View Document