Skip to main content
SpringerLink
Log in

An automatic calculator with penrose diagrams

  • 2 Theory and Methods
  • Conference paper
  • First Online:
Book cover Computer Aided Systems Theory — EUROCAST'97 (EUROCAST 1997)

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

Included in the following conference series:

Abstract

In this paper a general model, that allows different kinds of diagrams that appears in several fields of Science and Engineering to be integrated under the same representation, is proposed, and a computer aided graphical calculus system, enabling to manipulate these graphical representations in a semiautomatic way, is presented.

Traditionally most of these diagrams have been used as an aid in the development of complex calculus, although the lack of a solid theoretical foundation for this kind of representation has prevent the existence of general tools.

Suported by XUGA 105041396, XUGA 10505B96

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. Burroni, A.: Higher Dimensonal Word Problem. Lecture Notes in Computer Science, Springer 530 (1991) 94–105

    Google Scholar 

  2. Caruncho, J. R.: Teoria de Triples. Alxebra 5, Dpto. Algebra y Fund. Univ. Santiago (1971)

    Google Scholar 

  3. Eilenberg, S., Kelly, M.: A Generalization of the Functorial Calculus. J. Algebra 3 (1966) 366–375.

    Article  Google Scholar 

  4. Freyd, P. J., Yetter, D. N.: Braided Compact Closed Categories with Applications to Low Dimensional Topology. Advances in Mathematics 77 (1989) 156–182.

    Article  Google Scholar 

  5. Huet, G., Lansdorf, D. S.: On the Uniform Halting Problem for Term Rewriting Systems. Rapport Laboria 283 INRIA (1978)

    Google Scholar 

  6. Joyal, A., Street, R.: The Geometry of Tensor Calculus I. Advances in Mathematics 88 (1991) 55–112.

    Article  Google Scholar 

  7. Joyal, A., Street, R.: An Introduction to Tannaka Duality and Quantum Groups. Lecture Notes in Math., Springer 1488 (1991) 412–492.

    Google Scholar 

  8. Knuth, D. E., Bendix, P. B.: Simple Word problems in universal algebras. J. Leech (Ed.) Computational Problems in Abstrect Algebra, Pergamon Press, Oxford (1970) 265–297.

    Google Scholar 

  9. Lafont, Y.: Penrose diagrams and 2-dimensional rewriting. Applications of Categories in Computer Science (ed. M. P. Fourman, P. T. Johnstone, and A. M. Pitts), LMSLNS 177 Cambridge University Press (1992) 191–201.

    Google Scholar 

  10. Lafont, Y.: Ecuational Reasoning with 2-dimensional Diagrams Lecture Notes in Computer Science, Springer 909 (1993) 171–195.

    Google Scholar 

  11. Leroy, X.: The Objective Caml System, Release 1.03. Documentation and Users Manual. INRIA (1996).

    Google Scholar 

  12. MacLane, S.: Natural associativity and conmutativity. Rise Univ. Stud. 49 (1963) 28–46.

    Google Scholar 

  13. MacLane, S., Pare, R.: Coherence for bicategories and indexed categories. J. Pure Appl. Algebra 37 (1985) 59–80.

    Article  Google Scholar 

  14. Majid, S. Quantum and Braided-Lie algebras. Journal of Geometry and Physics 13 North Holland (1994) 307–356.

    Article  Google Scholar 

  15. Oesterhout, J. K.: Tcl and the Tk Toolkit. Addison-Wesley (1993).

    Google Scholar 

  16. Pessaux, F., Rouaix, F.: The Camltk interface. Release for Tk4.0. Project Cristal. INRIA, Rocquencourt.

    Google Scholar 

  17. Penrose, R., Rindler, W.: Spinors and space-time, Vol 1: Two-spinor calculus and relativistic fields. Cambridge University Press (1986).

    Google Scholar 

  18. Power, A. J.: A 2-Categorical Pasting Theorem. J. of Algebra 129 (1990) 439–445.

    Article  Google Scholar 

  19. Reidemeister, K.: Knot Theory. B.C.S. Associates (1983).

    Google Scholar 

  20. Sawing, S.: Links, Quantum Groups and TQTFS. Bulletin (New Series) of the American Mathematical Society 33 N. 4 (1996) 413–445.

    Google Scholar 

  21. Shum, M. C.: Tortile tensor categories. Journal of Pure and Applied Algebra 93 (1994) 57–110.

    Article  Google Scholar 

  22. Tamasia, R., Di Battista, G., Batini, C.: Automatic Graph Drawing and Readability of Diagrams. IEEE Transactions on Systems, Man, and Cybernetics, 18 N. 1 (1988) 61–79.

    Google Scholar 

  23. Turaev, V. G.: The Yang-Baxter equation and invariants of links. Inventiones Mathematicae 92 Springer Verlag (1988) 527–533.

    Article  Google Scholar 

  24. Welch, B.: Practical Programming in Tcl and Tk. Prentice-Hall (1995).

    Google Scholar 

  25. Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer-Verlag (1992).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpt. of Computing. LFCIA, University of La Coruña, Spain

    J. M. Molinelli, J. M. Barja, A. Blanco & J. L. Fieire

Authors
  1. J. M. Molinelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. M. Barja
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Blanco
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. L. Fieire
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno-Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Molinelli, J.M., Barja, J.M., Blanco, A., Fieire, J.L. (1997). An automatic calculator with penrose diagrams. In: Pichler, F., Moreno-Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST'97. EUROCAST 1997. Lecture Notes in Computer Science, vol 1333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025048

Download citation

  • DOI: https://doi.org/10.1007/BFb0025048

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63811-7

  • Online ISBN: 978-3-540-69651-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation