David Aspinall Christoph Lüth Daniel Winterstein 2007 Proceedings of the 14th Symposium on Towards Mechanized Mathematical Assistants: 6th International Conference Springer-Verlag

Berlin, Heidelberg

161–175 10.1007/978-3-540-73086-6_15 Matthias Baaz Stefan Hetzl Alexander Leitsch Clemens Richter Hendrik Spohr 2005 Franz Baader Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) 2004 Lecture Notes in Computer Science 3452 Springer 481–495 10.1007/978-3-540-32275-7_32 Matthias Baaz Stefan Hetzl Alexander Leitsch Clemens Richter Hendrik Spohr 2008 Theor. Comput. Sci. 403 2-3 160–175 10.1016/j.tcs.2008.02.043 Giuseppe Di Battista Peter Eades Roberto Tamassia Ioannis G Tollis 1994 Computational Geometry 4 5 235–282 10.1016/0925-7721(94)00014-X AlanJ. Cain 2010 The Mathematical Intelligencer 32 3 7–11 10.1007/s00283-010-9141-z Cvetan Dunchev Alexander Leitsch Tomer Libal Martin Riener Mikheil Rukhaia Daniel Weller Bruno Woltzenlogel-Paleo 2012 David Pichardie Tjark Weber Second International Workshop on Proof Exchange for Theorem Proving (PxTP 2012) CEUR Workshop Proceedings 878 51–57 Cvetan Dunchev Alexander Leitsch Tomer Libal Martin Riener Mikheil Rukhaia Daniel Weller Bruno Woltzenlogel-Paleo 2013 Cezary Kaliszyk Christoph Lüth Proceedings 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012) Electronic Proceedings in Theoretical Computer Science 118 1–14 10.4204/EPTCS.118.1 Cvetan Dunchev Alexander Leitsch Mikheil Rukhaia Daniel Weller 2013 CoRR abs/1303.4257 http://arxiv.org/abs/1303.4257 Godfrey Harold Hardy 1940 Cambridge University Press Stefan Hetzl Tomer Libal Martin Riener Mikheil Rukhaia 2013 Didier Galmiche Dominique Larchey-Wendling Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2013) Lecture Notes in Computer Science 8123 157–171 10.1007/978-3-642-40537-2_15 Yozo Hida John O. Lamping Ramana B. Rao 2005 http://www.freepatentsonline.com/6901555.html Mao Lin Huang Quang Vinh Nguyen Wei Lai Xiaodi Huang 2007 Ebad Banissi Muhammad Sarfraz Natasha Dejdumrong CGIV'07: Proceedings of the Computer Graphics, Imaging and Visualisation IEEE Computer Society 429–433 10.1109/CGIV.2007.82 Gérard Huet Gilles Kahn Christine Paulin-Mohring 1997 Rapport de recherche RT-0204 INRIA Projet COQ D.E. Knuth 1971 Acta Informatica 1 1 14–25 10.1007/BF00264289 John Lamping Ramana Rao Peter Pirolli 1995 Irvin R. Katz Robert Mack Linn Marks Mary Beth Rosson Jakob Nielsen CHI'95: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems ACM Press/Addison-Wesley Publishing Co. 401–408 10.1145/223904.223956 Lars Linsen Sabine Behrendt 2011 Computational Statistics 26 4 679–697 10.1007/s00180-011-0272-2 John Meier Clifford A. Reiter 1996 Computers and Graphics 20 1 163–170 10.1016/0097-8493(95)00101-8 Tamara Munzner 1997 John Dill Nahum D. Gershon InfoVis'97: Proceedings of the IEEE Symposium on Information Visualization IEEE Computer Society 2–10 10.1109/INFVIS.1997.636718 Martin Odersky Lex Spoon Bill Venners 2010 2nd Artima, Inc. Grace D Paterson 2013 James Rosindell Luke J. Harmon 2012 PLoS Biology 10 10 e1001406 10.1371/journal.pbio.1001406 Adrian Rusu Confesor Santiago 2007 Ebad Banissi Remo Aslak Burkhard Georges Grinstein Urska Cvek Marjan Trutschl Liz Stuart Theodor G. Wyeld Gennady Andrienko Jason Dykes Mikael Jern Dennis Groth Anna Ursyn IV'07: Proceedings of the International Conference on Information Visualisation IEEE Computer Society 743–750 10.1109/IV.2007.14 H. Schulz 2011 Computer Graphics and Applications, IEEE 31 6 11–15 10.1109/MCG.2011.103 Ben Shneiderman 1991 ACM Transactions on Graphics 11 92–99 10.1145/102377.115768 Jörg Siekmann Stephan Hess Christoph Benzmüller Lassaad Cheikhrouhou Detlef Fehrer Armin Fiedler Helmut Horacek Michael Kohlhase Karsten Konrad Andreas Meier Erica Melis Volker Sorge 1998 Proceedings of the International Workshop "User Interfaces for Theorem Provers 1998 (UITP'98)

Eindhoven, Netherlands

130–138 http://christoph-benzmueller.de/papers/W1.pdf John Stasko Eugene Zhang 2000 Jock D. Mackinlay Steven F. Roth Daniel A. Keim InfoVis'00: Proceedings of the IEEE Symposium on Information Visualization IEEE Computer Society 57–65 10.1109/INFVIS.2000.885091 G. Sutcliffe 2009 Journal of Automated Reasoning 43 4 337–362 10.1007/s10817-009-9143-8 Steven Trac Yury Puzis Geoff Sutcliffe 2007 Electronic Notes in Theoretical Computer Science 174 2 109 – 123 10.1016/j.entcs.2006.09.025 http://www.sciencedirect.com/science/article/pii/S1571066107001739 Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006) Charles Wetherell Alfred Shannon 1979 IEEE Transactions on Software Engineering SE-5 5 514–520 10.1109/TSE.1979.234212 W. Windsteiger 2012 Cezary Kaliszyk Christoph Lueth Proceedings 10th International Workshop On User Interfaces for Theorem Provers, Bremen, Germany, July 11th 2012 Electronic Proceedings in Theoretical Computer Science 118 Open Publishing Association 72–82 10.4204/EPTCS.118.5 http://arxiv.org/abs/1307.1945v1 Jing Yang Matthew O. Ward Elke A. Rundensteiner 2002 Pak Chung Wong Keith Andrews InfoVis'02: Proceedings of the IEEE Symposium on Information Visualization IEEE Computer Society 77–84 10.1109/INFVIS.2002.1173151 Hee Yong Youn Adit D. Singh 1988 ICDCS'88: Proceedings of the International Conference on Distributed Computing Systems IEEE Computer Society 86–93 10.1109/DCS.1988.12503