Mathpad2: a system for the creation and exploration of mathematical sketches. Algebraic method for manipulation of dimensional relationships in geometric models. In Proceedings of the 15th international conference on Intelligent user interfaces, IUI '10, ACM (New York, NY, USA, 2010), 119-128. Intelligent understanding of handwritten geometry theorem proving. Jiang, Y., Tian, F., Wang, H., Zhang, X., Wang, X., and Dai, G.
#Quickdraw ny software#
In Proceedings of the 10th annual ACM symposium on User interface software and technology, UIST '97 (1997), 105-114. Interactive beautification: a technique for rapid geometric design. Igarashi, T., Matsuoka, S., Kawachiya, S., and Tanaka, H.Scandinavian Journal of Statistics 6, 2 (1979), 65-70. A simple sequentially rejective multiple test procedure. Ladder, a sketching language for user interface developers. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, PLDI '11, ACM (New York, NY, USA, 2011), 50-61. Cogsketch: Sketch understanding for cognitive science research and for education. Forbus, K., Usher, J., Lovett, A., Lockwood, K., and Wetzel, J.In Proceedings of the SIGCHI conference on Human factors in computing systems, ACM (1988), 213-218. Development of an instrument measuring user satisfaction of the human-computer interface. Variation of geometries based on a geometric-reasoning method. We also found that QuickDraw enables users to draw precise diagrams faster than the majority of existing tools in some cases, while having them make fewer corrections. Our study demonstrates a strong interest among participants for the use of sketch-based software for drawing geometric diagrams. We conducted a user study comparing QuickDraw with four state-of-the-art diagramming tools: Microsoft PowerPoint, Cabri II Plus, Geometry Expressions and Geometer's SketchPad. Beautification is based on a novel algorithm that iteratively computes various sub-components of the components using an extensible set of deductive rules. Quickdraw can recognize sketched diagrams containing components such as line segments and circles, infer geometric constraints relating recognized components, and use this information to beautify the sketched diagram. We present QuickDraw, a prototype sketch-based drawing tool, that facilitates drawing of precise geometry diagrams that are often drawn by students and academics in several scientific disciplines.