Differential geometry, Geometric Measure Theory, Geometric Analysis
Ken A. Brakke? The Motion Of A Surface By Its Mean Curvature Mathematical Notes, n. 20, Princeton University Press, Princeton, N.J., 1978.
Chopp, David L., Sethian, J. A.? Flow under curvature: singularity formation, minimal surfaces, and geodesics? Experiment. Math. 2 (1993), no. 4, 235--255.
Dubrovin, A. T. Fomenko, Novikov, Modern Geometry--Methods And Applications v I, II, Springer-Verlag.
C. L. Epstein, Michael Gage, The curve shortening flow. Wave motion: theory, modelling, and computation (Berkeley, Calif., 1986), 15--59, MSRI Publ., 7, Springer, New York-Berlin, 1987.
Larry C. Evans, and Joel Spruck, Motion of level sets by mean curvature I, J. Diff. Geom. 33 (1991) 635-681.
Enrico Fermi, J. Pasta, Stan Ulam, Studies of Nonlinear Problems I, in Nonlinear Wave Motion, Lectures in Applied Math., vol. 15, Amer. Math. Soc., 1974, pp. 143-155. MR 49:790.
Fleming, Flat chains over a finite coefficient group, Trans. Amer. Math. Soc. 121, 1966
Michael Gage, Richard Hamilton, The heat equation shrinking convex plane curves, J. Diff. Geom. 23 (1986) 69-96.
David Gilbarg, Neil S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer-Verlag, Berlin and New York, 1983.
Karsten Grosse-Brauckmann, Complete Embedded Constant Mean Curvature Surfaces, Habilitationschrift, Universitä t Bonn, 1998.
Karsten Grosse-Brauckmann, R. Kusner, and J. Sullivan, Constant Mean Curvature surfaces with cylindrical ends, in Mathematical Visualization, (H.-C. Hege, K. Polthier, eds.), Springer, 1998.
Karsten Groß e-Brauckmann, K. Polthier, Compact constant mean curvature surfaces with low genus, Experiment. Math. 6 no. 1 (1997) 13--32.
Karsten Groß e-Brauckmann, K. Polthier, Numerical examples of compact surfaces of constant mean curvature, Elliptic and Parabolic Methods in Geometry (Minneapolis, MN, 1994), A K Peters, Wellesley, MA, (1996) 23--46.
Richard Hamilton, Three-manifolds with positive Ricci curvature, J. Diff. Geom. 17 (1982) 255-306.
Joel Hass, Michael Hutchings, Roger Schlafly, The double bubble conjecture. Electron. Res. Announc. Amer. Math. Soc. 1 (1995), no. 3, 98--102.
David Hoffman, William Meeks, Embedded minimal surfaces of finite topology, Ann. of Math. (2) 131 no. 1 (1990) 1--34.
Gerhard Huisken, Flow by mean curvature into spheres, J. Diff. Geom. 20 (1984) 237-266.
Tom Ilmanen, Elliptic regularization and partial regularity for motion by mean curvature, Memoirs Amer. Math. Soc. 108 (1994), no. 520.
Shoshichi Kobayashi, Katsumi Nomizu, Foundations of Differential Geometry, Vols. 1 and 2, New York, Wiley, 1969.
Nicholas J. Korevaar, R. M. Schoen, Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom. 1 (1993), no. 3-4, 561--659.
Nicholas J.Korevaar, R. Kusner, The global structure of cmc surfaces, Invent. Math. 114 (1993), 311-332.
Rob Kusner, R. Mazzeo, D. Pollack, The moduli space of complete embedded surfaces with constant mean curvature, J. Diff. Geom. 30 (1989) 465-503.
Peter Li, S. T. Yau, A new conformal invariant,
John Milnor, Morse Theory, Annals Math. Studies 51, Princeton U. Press 1969.
Frank Morgan, Geometric Measure Theory: A Beginner's Guide, Academic Press, San Diego, 1988.
S. Mü ller and V. Sverá k, On surfaces of finite total curvature, J. Diff. Geom. 42 no. 2 (1995) 229--258.
Bernd Oberknapp, Konrad Polthier, An algorithm for discrete constant mean curvature surfaces, Visualization and Mathematics (H.-C. Hege, K. Polthier, eds.), Springer-Verlag, Heidelberg (1997) 141-161.
Robert Osserman, Survey of Minimal Surfaces, Dover, 1986.
Leon Simon, Lectures on Geometric Theory, Proceedings of the Centre for Mathematical Analysis, v. 3, Australian National University, 1983.
Leon Simon, Existence of surfaces minimizing the Willmore functional, Comm. Anal. Geom. 1 no. 2 (1993) 281--326.
Brian White, Complete surfaces of finite total curvature, J. Diff. Geom. 26 (1987), no. 2, 315--326.
B. White, The topology of hypersurfaces moving by mean curvature, Comm. Anal. Geom. 3, no. 1-2 (1995) 317--333.
T.J. Willmore, Total Curvature in Riemannian Geometry, Ellis Horwood Ltd., Chichester; Halsted Press [John Wiley & Sons, Inc.], New York, 1982.
Other Mathematics References
Sheldon Axler, Harmonic Function Theory, Springer; with Mathematica package.
Kenneth A. Brakke,The surface evolver. Experiment. Math. 1 no. 2 (1992) 141-165.
Morton L Curtis, Matrix Groups, second edition, Universitext, New York-Berlin, Springer-Verlag, 1984.
A.T. Fomenko, S.V. Matveev, Algorithmic and Computer Methods for Three-Manifolds, Kluwer, 1997.
George Frances, Topology
H.-C. Hege, K. Polthier, eds., Visualization and Mathematics, Springer-Verlag, Heidelberg (1997)
Janich, Topology, Springer
Ron Karidi, Convexity of nilpotent balls, preprint 1997.
Jack Lee, Ricci: A Mathematica package for doing tensor calculations in differential geometry, v 1.2, U. Washington, 1995.
Jack Lee, personal notebooks, U. Washington, 1998.
S. Levy, J. Experimental Mathematics editorial.
John W. Milnor, Topology from the Differentiable Viewpoint, U. Press of Virginia, 1965.
David Mumford, AMS Bulletin Review.., 1996.
Bernd Oberknapp, Konrad Polthier, An algorithm for discrete constant mean curvature surfaces, in Visualization and Mathematics (H.-C. Hege, K. Polthier, eds.), Springer-Verlag, Heidelberg (1997), 141-161.
Peter Olver, Applications of Lie Groups to Differential Equations, Springer.
James A. Sethian, The collapse of a dumbbell moving under its mean curvature, Geometric analysis and computer graphics (Berkeley, CA, 1988), 159--168, Math. Sci. Res. Inst. Publ., 17, Springer, New York, 1991.
James A. Sethian, Numerical algorithms for propagating interfaces: Hamilton-Jacobi equations and conservation laws, J. Differential Geom. 31, no. 1 (1990) 131--161.
James A. Sethian, David L. Chopp, Physics and geometry of flow under curvature: singularity formation, minimal surfaces, geodesics, and surface tension, Motion by mean curvature and related topics (Trento, 1992), de Gruyter, Berlin, (1994) 168--185.
James A. Sethian, Level set methods, Evolving interfaces in geometry, fluid mechanics, computer vision, and materials science. Cambridge Monographs on Applied and Computational Mathematics, 3. Cambridge University Press, Cambridge, 1996
Sha Xin Wei, MathViewer: SMP-driven visualizations and geometric evolutions, MSRI Workshop on Visualization of Geometric Structures, 1992.
Sha Xin Wei, Geometric Representation Theorems, technical note, 1998.
Sha Xin Wei, A Laboratory for Geometric Performance, technical report, Stanford University, 1998.
G. Allwein and Jon Barwise (eds.), Logical Reasoning with Diagrams, Oxford University Press, 1996.
David Barker-Plummer, Grover, Stanford CSLI, 1995
David Barker-Plummer and Mark Greaves, Architectures for Heterogeneous Reasoning On Interlinguae, CSLI 1996.
Jon Barwise & John Etchemendy, Hyperproof, Stanford CSLI, 1994.
Mario Biagioli, ed. The Science Studies Reader, New York: Routledge, 1999.
(J. Coolidge, History of Geometrical Methods)
Keith Devlin. The Logical Structure of Computer-Aided Mathematical Reasoning, privately communicated paper, 1995.
Sol Feferman, Penrose's Gö delian Argument: A Review of Shadows of the Mind by Roger Penrose, Psyche 2(7), May 1995, http://psyche.cs.monash.edu.au/volume2-1/psyche-95-2-07-shadows-5-feferman.html.
Stefano Franchi, Endgame: The End of Philosophy, Ph.D. thesis, Stanford 1997.
Gilles Deleuze, Repetition and Difference, tr. Paul Patton, New York, Columbia University Press, 1994 (1968).
Gilles Deleuze, Logic and Sense.
Gilles Deleuze, Fé lix Guattari, A Thousand Plateaus, Capitalism and Schizophrenia v. 2, tr. Brian Massumi, Minneapolis, University of Minnesota Press, 1987 (1980).
Jacques Derrida, Of Grammatology, tr. Gayatri C. Spivak, Baltimore, Johns Hopkins University Press, 1976 (1967).
Jacques Derrida, Signature, Event Context.
Kurt Gö del, The Modern Development of the Foundations of Mathematics, Collected Works, v. 3, (ed. S. Feferman), 374-387.
Bonnie Gold, What Is the Philosophy of Mathematics, and What Should It Be?, Math. Intelligencer 16 n 3 (1994) 20-24.
Fé lix Guattari, Chaosmosis, An Ethico-aesthetic Paradigm, Indiana University Press 1995.
Jacques Hadamard, The Mathematician's Mind: The Psychology of Invention in the Mathematical Field, Princeton University Press, 1996 (1945).
(Hume - Berkeley debates)
Paul Horwich. Asymmetries in Time: Problems in the Philosophy of Science. Cambridge, MA: MIT Press, 1987.
Edmund Husserl, Ideen, Book I, New York, Collier Books, 1962.
Edmund Husserl, Logical Investigations, London, Routledge, 1970.
Edmund Husserl, Origins of Geometry, in The Crisis Of European Sciences And Transcendental Phenomenology, Evanston, Northwestern
University Press, 1970.
Edmund Husserl, On the Logic of Signs; Intentional Objects (1894-1895); Intuition and the Geometric Axioms; The Assumptions of Axioms in Geometry, Theory of Manifolds and Pure Mechanics, Early Writings in the Philosophy of Logic and Mathematics (Edmund Husserl Collected Works, Vol 5), Dallas Willard (Translator), Kluwer Academic Pub., 1994.
Edmund Husserl. The Phenomenology of Internal Time Consciousness. Tr. J.S. Churchill. Bloomington: U. Indiana Press, 1928.
Arthur Jaffe and Frank Quinn. Theoretical mathematics: toward a cultural synthesis of mathematics and theoretical physics. Bull. Amer. Math.Soc. (N.S.) v. 29 no.1, 1993, 1--13.
Mark Johnson, The Body in the Mind, University of Chicago Press, 1987.
Friedrich Kittler, Gramophone, Film, Typewriter, translated by Geoff Winthrop-Young and Michael Wutz (Stanford: Stanford University Press, 1997).
Friedrich Kittler, The Takeoff of Operators.
David R. Lachterman. The Ethics Of Geometry. New York, Routledge, 1989.
George Lakoff, Women Fire and Dangerous Things: What Categories Reveal About the Mind, U. Chicago Press 1987.
Imre Lakatos, Proofs and Refutations, Cambridge 1976.
Bruno Latour, Science in Action, Cambridge MA: Harvard University Press, 1987.
Bruno Latour, We have Never Been Modern, Cambridge MA: Harvard University Press, 1993.
Tim Lenoir, ed., Inscribing Science: Scientific Texts and the Materiality of Communication, Stanford Univ. Press 1998.
Tim Lenoir, Instituting Science:, The Cultural Production of Scientific Disciplines, Stanford Univ. Press 1997.
Tim Lenoir, Was the Last Turn The Right Turn? The Semiotic Turn and A.J. Greimas, Configurations, Vol.2 (1994): 119-136.
Emmanuel Levinas, The Theory of Intuition in Husserl’s Phenomenology, tr. André Orianne, Evanston, Northwestern U. Press 1973.
Paolo Mancosu, From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920's, Oxford: Oxford University Press, 1998.
Saunders MacLane, Mathematics, Form and Function, Springer-Verlag, 1986.
W. H. Newton-Smith. The Structure of Time. London: Routledge, 1980.
John Perry & Jon Barwise. Situations and Attitudes.
Andrew Pickering. The Mangle of Practice: Time, Agency, and Science. Chicago: University of Chicago Press, 1995.
Henri Poincaré . Mathematical Creation, in The Foundations of Science. Tr. G. Bruce Halsted. New York: The Science Press, 1913.
Hilary Putnam, Mathematics, Matter and Method, Philosophical Papers, 1. Cambridge 1979.
Hilary Putnam, Realism and Reason, Philosophical Papers v. 3, Cambridge 1979.
W.V. Quine, Two dogmans of empiricism, 1951, reprinted in From a Logical Point of View, Cambridge MA 1953.
Michael J. Reddy, The Conduit Metaphor: A case of frame conflict in our language about language, in Metaphor and Thought, second edition, ed. Andrew Ortony Cambridge, Cambridge University Press,1993 (1979), 164-201.
Gian-Carlo Rota, Indiscrete Thoughts, essays MIT, 1997.
Brian Rotman, Signifying Nothing: The Semiotics of Zero 1987.
Brian Rotman, Ad Infinitum -- Taking God Out of Mathematics and Putting the Body Back In , 1993.
Brian Rotman, Diagrams; Technology of Mathematical Persuasion, 1995.
Brian Cantwell Smith, The Origin of the Object, 1997.
Patrick Suppes, Krantz, Luce and Tversky, Foundations of Measurement v1, 2.
v II. ch 13, Representation theorems for geometric structures.
C. S. Peirce, On Signs: Writings on Semiotic, ed. J. Hoopes, U. N. Carolina Press 1991.
Sheldon Sacks, On Metaphor, U. Chicago 1979. (Symposium: Metaphor: The Conceptual Leap 1978; essays by Paul de Man, Donald Donaldson, Paul Ricoeur, W.V. Quine, Nerlson Goodman, Max Black)
Sha Xin Wei, PostScript™ ? Geometric Writing As Performance, presented at the Symposium on Imaging and Visualization in the Cultures of Science and Medicine, Utah, 1998.
Sha Xin Wei, Geometric Measure Theory As Monster Mash, presented at the Society for Social Studies of Science, San Diego, 1999.
I. Singer, remarks to Suppes on continuity, private communication.
Susan Leigh Star and James R. Griesemer, "Institutional Ecology, 'Translation,' and Boundary Objects: Amateurs and Professionals in Berkeley's Museum of Vertebrate Zoology, 1907-39, in The Science Studies Reader, ed. Mario Biagioli, New York: Routledge, 1999, 505--524.
R. Tieszen, Phenomenology, Husserl and Mathematics, Stanford lecture notes 1996-98.
W. P. Thurston. On proof and progress in mathematics, Bull. Amer. Math.Soc. (N.S.) v. 30 no. 2, 1994, 161--177
Thomas Tymoczko (ed.), New Directions in the Philosophy of Mathematics : An Anthology, second ed. 1998.
A.N. Whitehead, Concept of Nature, 1919.
Ludwig Wittgenstein, Philosophical Investigations, tr. G.E.M. Anscombe, 3rd ed., New York, MacMillan Publishing, 1958.
Ludwig Wittgenstein, Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939 (from the notes of R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies), edited by Cora Diamond, Ithaca, N.Y. : Cornell University Press, 1976.
J. Woodwark, Geometric Reasoning, in Geometric reasoning for perception and action, ed. Christian Laugier, 1991.
N. Amenta, Silvio Levy, Tamara Munzner, Mark Phillips, Geomview: a system for geometric visualization, Proceedings of Eleventh Annual Symposium on Computational Geometry Vancouver, BC, Canada (June 1995), C12-C13. http://www.geom.umn.edu/software/geomview/docs/
Robert H. Anderson, Syntax-Directed Recognition of Hand-Printed Two-Dimensional Mathematics, PhD thesis, Harvard University, 1968.
Ron Avitzur, Your own handprinting recognition engine, Dr. Dobb's Journal (April 1992) 32-37.
Ron Avitzur, The Macintosh claculator desk accessory: An experiment in transparent UI, In Proceedings of '94 Workshop on Human Interactions in Symbolic Computation Systems (HISC), 1994.
Ron Avitzur, Gesture interface for MILO, for pen-Mac OS ca 1994.
Ron Avitzur, Nucalc v. 2, 1998, http://www.nucalc.com.
Al Barr, http://www.cs.caltech.edu/~arvo/projects/SmartBoard/.
Yoshua Bengio, Yann LeCun, Craig Nohl, and Chris Burges, LeRec: A NN/HMM hybrid for on-line handwriting recognition, Neural Computation, 7:1289-1303, 1995.
Greg Butler, The progress towards an intelligent assistant - a discussion paper, In Artificial Intelligence and Symbolic Computing, International Conference AISMC-1 (August 1992) 107-115.
E. A. Bier, M. Stone, K. Pier, W. Buxton, T. DeRose, Toolglass and magic lenses: the see-through interface, Proceedings of SIGGRAPH'93 (1993) 73-80.
E. A. Bier, M. Stone, K. Fishkin, William Buxton, and T. Baudel (1994). A taxonomy of see-through tools, Proceedings of CHI '94, 358-364.
R. A. Bolt, ``Put-That-There'': voice and gesture at the graphics interface, Computer Graphics, 14(3):262-270, July 1980.
William Buxton, Eugene Fiume, Ralph Hill, and Carson Woo, Continuous hand-gesture input, In Proceedings of Graphics Interface `83, pages 191-195, 1983.
William Buxton, Touch, Gesture & Marking, ch. 7 in R.M. Baecker, J. Grudin, W. Buxton and S. Greenberg, S. (Eds.)(1995). Readings in Human Computer Interaction: Toward the Year 2000 San Francsco: Morgan Kaufmann Publishers, 1995. http://www.dgp.toronto.edu/OTP/papers/bill.buxton/haptic.html, http://literary.com/mkp/pages/2461/index.html.
William Buxton, Chunking and phrasing and the design of human-computer dialogues, Proceedings of the IFIP World Computer Congress, Dublin, Ireland, 475-480., 1996. http://www.dgp.toronto.edu/OTP/papers/bill.buxton/chunking.htm
Michael E. Clarkson, Intelligent user interfaces for symbolic and numeric computation, In Artificial Intelligence and Symbolic Computing, International Conference AISMC-1, pages 96-105, Karlsruhe, Germany, August 1992.
J. Calmet and J. A. Campbell, Artificial intelligence and symbolic mathematical computations, In Artificial Intelligence and Symbolic Computing, International Conference, AISMC-1, pages 1-19, Karlsruhe, Germany, August 1992.
E. Clarke, X. Zhao. Analytica - a theorem-prover in Mathematica, in Automated Deduction CADE-11, 1992.
J. Cooperstock, S. Fels, W. Buxton, W. & Smith, K.C. (1997). Reactive environments: Throwing away your keyboard and mouse, Communications of the Association of Computing Machinery (CACM), 40(9), 65-73. http://www.dgp.toronto.edu/~rroom/research/papers/cacm/cacm.html.
C. Cruz-Neira, D.J. Sandin, T.A. DeFanti, Surround-screen projection-based virtual reality: the design and implementation of the CAVE, Proceeding of SIGGRAPH 20th Annual International Conference on Computer Graphics and Interactive Techniques. The Eye of Technology Anaheim, CA, USA 1-6 Aug. 1993) 135-42.
Trevor Darrell and Alex Pentland, Space-time gestures, In IEEE Conference on Computer Vision and Pattern Recognition, pages 335-340, New York City, June 1993.
Laurence Edwards, Deformation field mapping: a representation for interactive free-form surface modeling, Ph.D. Thesis, Stanford University. Dept. of Mechanical Engineering, 1995.
H. Ferguson, and A. Rockwood and J. Cox, Topological design of sculptural surfaces, ACM SIGGRAPH 1992, 149-156.
G.W. Fitzmaurice, and W. Buxton, An empirical evaluation of graspable user interfaces: Towards specialized space-multiplexed input. Proceedings of the 1997 ACM Conference on Human Factors in Computing Systems, CHI '9 7(1997) 43-50. http://reality.sgi.com/gordo_tor/papers/gf/CHI97.GraspUI/GraspExpt.html
G.W.Fitzmaurice, H. Ishii & W. Buxton, Bricks: Laying the Foundations for Graspable User Interfaces, Proceedings of CHI'95 (1995) 442-449. http://www.dgp.toronto.edu/people/GeorgeFitzmaurice/papers/gwf_bdy.html
GRAPE, Graphics Programming Environment Manual, v. 5.3, Sondforschungsbereich 256, Institü t fü r Angewandte Mathematik, Universitä t Bonn; Institü t fü r Angewandte Mathematik, Universitä t Freiburg, 1998.
C. M. Grimm and J. Hughes, Modeling surfaces of arbitrary topology using manifolds, ACM SIGGRAPH 1995, 359-367.
J. Gregg, Leibniz, a simplified graphical front end for Mathematica, http://www.athenet.net/~jgregg/Leibniz.html.
M.D. Gross, Avoiding conflicts in architectural subsystem layout, Journal of the Concurrent Engineering Research Assocation 2, 1994.
M.D. Gross, The Cocktail Napkin, the Fat Pencil, and the Slide Library, Proceedings, Association for Computer Aided Design in Architecture, 1994 National Conference, St Louis, 1994.
M.D. Gross, Stretch-A-Sketch, a dynamic diagrammer, In A. Ambler ed., IEEE Symposium on Visual Languages 1994.
Gross, M. Recognizing and Interpreting Diagrams in Design, In T. Catarci. M. Costabile, S. Levialdi, G. Santucci eds., Advanced Visual Interfaces '94, ACM Press.
Gross, M., C. Zimring, and E. Do. , Accessing a case library of designs with diagrams, in J. Gero (ed), Artificial Intelligence in Design '94, Kluwer, 1994.
Leonidas Guibas, Representations of topological structures, preprint.
Charles Gunn, Discrete groups and visualization of three-dimensional manifolds, Proceeding of SIGGRAPH 20th Annual International Conference on Computer Graphics and Interactive Techniques., (Aug. 1993) p. 255-262.
Charles Gunn, A. Ortmann, Ulrich Pinkall, Konrad Polthier, U. Schwarz. Oorange: A Virtual Laboratory for Experimental Mathematics. http://www-sfb288.math.tu-berlin.de/oorange/Oorange.html
Alexander G. Hauptmann and Paul McAvinney, Gestures with speech for graphic manipulation, International Journal of Man-Machine Studies, 38:231-249, 1993.
HOL, an interactive theorem prover, http://www.cl.cam.ac.uk/Research/HVG/HOL/
Anatol Holt. Organized Activity and Its Support By Computer. Kluwer Academic Publishers. 1997.
R. Hudson, C. Gunn, G.K. Francis, D.J. Sandin, T.A. DeFanti, Mathenautics: using VR to visit 3-D manifolds, Proceedings 1995 Symposium on Interactive 3D Graphics Monterey, (9-12 April 1995) 167-170.
V. Jaswa, et al., CAVEvis: distributed real-time visualization of time-varying scalar and vector fields using the CAVE virtual reality theater, Proceedings. Visualization '97 (Cat. No. 97CB36155). Held: Phoenix, AZ, USA 19-24 Oct. 1997. Proceedings. Visualization '97 (Cat. No.97CB36155) (1997) p. 301-8, 555 (Conference Paper)
Donald E. Knuth. TeX. 4th printing, rev. (Reading, Mass.: Addison-Wesley Pub. Co., 1991, c1986).
G. Kurtenbach, Thomas P. Moran and William Buxton, Contextual Animation of Gestural Commands { kurtenba, moran} @parc.xerox.com, willy@dgp.toronto.edu
G. Kurtenbach, Fitzmaurice, G., Baudel, T. & Buxton, W. (1997). The design and evaluation of a GUI paradigm based on tabets, two-hands, and transparency, Proceedings of the 1997 ACM Conference on Human Factors in Computing Systems, CHI '97, 35-42. http://reality.sgi.com/gordo_tor/papers/t3/t3.fm.html
David B. Koons, Carlton J. Sparrell, and Kristinn R. Thorisson, Integrating simultaneous input from speech, gaze, and hand gestures, In Intelligent Multimedia Interfaces,
chapter 11, pages 257-276. AAAI Press, Cambridge, Massachusetts, 1993.
James A. Landay and Brad A. Myers, CMU, Extending an Existing User Interface Toolkit to Support Gesture Recognition, AGATE, CHI 93; { landay, bam} @ cs.cmu.edu GARNET
J. A. Landay and Brad A. Myers, Interactive Sketching for the Early Stages of user Interface Design, CMU-HCII-94-104.
David A. McAllester, Ontic: A Knowledge Representation System for Mathematics, MIT Press, Cambridge, Massachusetts, 1989.
J. McCarthy, LISP
Maple
Maple Reference Manual. 5th ed., Waterloo, Ontario : WATCOM Publications, 1988.
Maple V Language Reference Manual, Springer-Verlag ,1991.
Reiner Marzinkewitsch, Operating computer algebra systems by handprinted input, In International Symposium on Symbolic and Algebraic Computation (ISSAC '91), pages 411-413, Bonn, Germany, July 1991.
Matlab: high-performance numeric computation and visualization software, Version 5.1. Natick, MA : MathWorks, c1997.
M. Munich and P. Perona, Visual input for pen-based computers, In Proceedings of the International Conference on Pattern Recognition, pages 33-37, 1996.
(Cocktail) Napkin Project, http://wallstreet.colorado.edu/napkin
T.V. Raman. AsTeR - Towards Modality-Independent Electronic Documents, Boston DAGS 95 (1995).
Dean Rubine, Specifying gestures by example, Computer Graphics, 25(4):329-337, July 1991.
Stuart Russel, and Norwig, A Modern Introduction to Artificial Intelligence, Prentice-Hall, 1995.
Sha, Xin Wei. Review of Mathematica, Notices of the AMS, ed. John Barwise. 1986???
Jude W. Shavlik and Gerald F. DeJong, Computer understanding and generalization of symbolic mathematical calculations, In Proceedings of the 1986 ACM Symposium on Symbolic and Algebraic Computation, pages 148-153, July 1986.
Adelheit Stein and Ulrich Thiel, A conversational model of multimodal interaction in information systems, In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 283-288, Washington DC, July 1993.
Ivan E. Sutherland, SKETCHPAD: A Man-Machine Graphical Communication System, PhD thesis, Massachusetts Institute of Technology, January 1963.
Charles C. Tappert, Ching Y. Suen, and Toru Wakahara, The state of the art in on-line handwriting recognition, IEEE Transactions on Pattern Analysis and Machine Intelligence, 12(8):787-808, August 1990.
Carlo Tomasi (& Guibas?), Hausdorff distance for shape detection
Carlo Tomasi, Coalescing textures...
David Weimer and S. K. Ganapathy, Interaction techniques using hand tracking and speech recognition, In Multimedia Interface Design, chapter 7, pages 109-126. ACM Press, Reading, Massachusetts, 1992.
F. J. Wicklin, PISCES, a Platform for Implicit Surfaces and Curves and the Exploration of Singularities, 1995 http://www.geom.umn.edu/~fjw/pisces/
Richard P. Wildes, On the qualitative structure of temporally evolving visual motion fields, In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 844-849, Washington DC, July 1993.
Terry Winograd and Fernando Flores, Computers and Cognition.
Terry Winograd, A Human-Centered Interaction Architecture, submitted to UIST 98.
Stephen Wolfram. Mathematica, Fourth edition, Wolfram Media, 1999. http://www.wri.com/.
Larry Wos, The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial, Academic Press, New York, 1996.
Kenneth M. Yip, KAM: A System for Intelligently Guiding Numerical Experimentation by Computer, MIT Press, Cambridge, Massachusetts, 1991.
Robert C. Zeleznik, Kenneth P. Herndon, and John F. Hughes, SKETCH: An interface for gestural modeling, In Computer Graphics Proceedings, Annual Conference Series, ACM SIGGRAPH, pages 163-170, August 1996.
http://www.cs.brown.edu/people/bcz/sketch/sig.html, http://www.cs.brown.edu/people/bcz/sketch/Sketch.html
Other Computer Science References
AVS - visualization and simulation system
AXIOM - later ScratchPad, IBM Watson Research Center.
Computational Geometry By Example
Explorer, SGI 3D visualization system.
Fred Lakin (<-Leifer 9/97)
J. Cassell - Gesture and Narrative Language -
The Interaction Between Verbal and Nonverbal Communication. Professor Justine Cassell This project
explores the empirical foundations of multimodal human-computer interaction. A ...
http://www.media.mit.edu/groups/casr/cassell.html (Size 10.5K) Document date: 19 Dec 1997
Chris Chafe, CS 377 (Music 252): Human Computer Interface Design, Stanford University 1996-97, http://www-pcd.stanford.edu/hci/courses/music252.html
David Cannon (<-Leifer 9/97)
Cathy Haas and Sha Xin Wei. Stanford American Sign Language Videodisc Project, Proceedings Of The Johns Hopkins National Search For Computing Applications To Assist Persons With Disabilities. IEEE Comput. Soc. Press, 1992, 41--44.
ML programming language
Numerical Algorithms Group (NAG)
(Pen Computing: http://www.amug.org/amug/sigs/newton/nanug/PenReport/Introduction.html)
(Pattern Recognition Research Groups Here the entries are given for research groups active in the pattern recognition field: http://www.ph.tn.tudelft.nl/PRInfo/groups.html .)
Claudio Pinhanez, SingSong: A Play for Human and Computer Actors, June 1997, ATR Laboratories- Kyoto, Japan, http://www-white.media.mit.edu/people/pinhanez/singsong/singsong.html.
Sha Xin Wei, Scholarly Spaces (1995). http://www-asd.stanford.edu/Media2/texts/scholarspaces/1.Introduction.html, http://www-asd.stanford.edu/Media2/texts/LearningSpace7.95.html
Sha Xin Wei, Performable Writing (1996), http://www-asd.stanford.edu/Media2/texts/Innovation/PerformableWriting.html
Sha Xin Wei, Geometric Reasoning Laboratory, Presentation CSLI Interface Lab 4/96, http://truffaut/Library/Media/documents/GRL/slides/grl.html
Sha Xin Wei, A geometer’s workbench, presentated Stanford Computer Science Mural group May 1998.
Christopher R. Wren. MIT E.E.C.S. Department MIT Media Laboratory Vision and Modeling Group Contact Information http://vismod.www.media.mit.edu/~cwren/, http://www-white.media.mit.edu/~testarne/.
M. Anderson (ed.), Reasoning with Diagrammatic Representations, Symposium working notes, 1997.
Martyn Hammersley and Paul Atkinson, Ethnography, Principles in Practice, 2nd ed., 1995 (1983), Routledge.
Stephen Hawking and G.F.R. Ellis, The Large Scale Structure of Spacetime, Cambridge, 1973.
Andre Linde, Inflation and Quantum Cosmology, Academic Press 1990.
Bonnie A. Nardi, ed., Context and Consciousness: Activity Theory and Human-Computer Interaction, MIT Press, 1996.
Barbara Tversky, Stanford Dept. of Psychology, private communications.
Francisco Varela, E. Thompson, and E. Rosch, The Embodied Mind: Cognitive Science and the Human Experience, MIT Press, 1991.