Skip to main content
SpringerLink
Log in

Template-based formula editing in Kaava

  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 721))

  • 123 Accesses

Abstract

This paper describes a user interface for entering mathematical formulas directly in two-dimensional notation. This interface is part of a small, experimental computer algebra system called Kaava. It demonstrates a data-driven structure editing style that partially accommodates the user's view of formulas as two-dimensional arrangements of symbols on the page.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dennis Arnon, Richard Beach, Kevin McIsaac, and Carl Waldspurger. CaminoReal: An interactive mathematical notebook. Technical Report EDL-89-1, Xerox PARC, 1989.

    Google Scholar 

  2. Ron Avitzur. Suggestions for a friendlier user interface. In Proc. DISCO '90: Symposium on the Design and Implementation of Symbolic Computation Systems, pages 282–283, 1990.

    Google Scholar 

  3. Frame Technology Corporation, San Jose, California. Using Frame Math, 1989.

    Google Scholar 

  4. Gail E. Kaiser and Elaine Kant. Incremental parsing without a parser. Journal of Systems and Software, 5:121–144, 1985.

    Google Scholar 

  5. Paracomp, San Francisco, California. Milo User's Guide, 1988.

    Google Scholar 

  6. Harri Pasanen. Highly interactive computer algebra. Master's thesis, Helsinki University of Technology, Department of Computer Science, 1992. Available as Technical Report TKO-C52.

    Google Scholar 

  7. Carolyn Smith and Neil Soiffer. MathScribe: A user interface for computer algebra systems. In Proc. 1986 Symposium on Symbolic and Algebraic Computation, pages 7–12. Association for Computing Machinery, 1986.

    Google Scholar 

  8. Neil Soiffer. The Design of a User Interface for Computer Algebra Systems. PhD thesis, University of California at Berkeley, 1991.

    Google Scholar 

Download references

Author information

Author notes

  1. Ken Rimey

    Present address: Unda Oy, Ahventie 4A, SF-02170, Espoo, Finland

Authors and Affiliations

  1. Department of Computer Science, Helsinki University of Technology, Finland

    Ken Rimey

Authors
  1. Ken Rimey
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ken Rimey .

Editor information

John Fitch

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rimey, K. (1993). Template-based formula editing in Kaava. In: Fitch, J. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1992. Lecture Notes in Computer Science, vol 721. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57272-4_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-57272-4_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57272-5

  • Online ISBN: 978-3-540-48031-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation