Towards Diagrammatic Specifications of Symbolic Computation Systems

Authors César Dominguez, Dominique Duval, Laureano Lamban, Julio Rubio Garcia



PDF
Thumbnail PDF

File

DagSemProc.05021.22.pdf
  • Filesize: 0.5 MB
  • 23 pages

Document Identifiers

Author Details

César Dominguez
Dominique Duval
Laureano Lamban
Julio Rubio Garcia

Cite As Get BibTex

César Dominguez, Dominique Duval, Laureano Lamban, and Julio Rubio Garcia. Towards Diagrammatic Specifications of Symbolic Computation Systems. In Mathematics, Algorithms, Proofs. Dagstuhl Seminar Proceedings, Volume 5021, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/DagSemProc.05021.22

Abstract

The aim of this work is to present an ongoing project to
formalize, in the framework of diagrammatic logic (due to
Dominique Duval and Christian Lair) some data structures appearing
in Sergeraert's symbolic computation systems Kenzo and EAT. More
precisely, we intend to translate into the diagrammatic setting a
previous work based on standard algebraic specification
techniques. In particular, we give hints on the reason why an
important construction (called imp construction) in the
specification of the systems can be understood as a freely
generating functor between suitable categories of diagrammatic
realizations. Even if very partial, these positive results seem to
indicate that this new kind of specification is promising in the
field of symbolic computation.

Subject Classification

Keywords
  • Specification
  • symbolic computation
  • sketches
  • diagrammatic logic

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail