2026-08-18T17:23:23Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:292 2024-03-06T11:06:09Z ddc:004 open_access

Towards Diagrammatic Specifications of Symbolic Computation Systems Dominguez, César Duval, Dominique Lamban, Laureano Rubio Garcia, Julio Specification symbolic computation sketches diagrammatic logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik César Dominguez and Dominique Duval and Laureano Lamban and Julio Rubio Garcia 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5021, Mathematics, Algorithms, Proofs (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05021.22 urn:nbn:de:0030-drops-2927 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05021.22 eng https://creativecommons.org/licenses/by/4.0/legalcode