An object-oriented interpretation of the EAT system

DOI10.1007/S00200-003-0129-1MaRDI QIDQ1413645zbMATH OpenOpenAlexFDO

Authors Laureano Lambán, Vico Pascual, Julio Rubio

Publication date 17 November 2003

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-003-0129-1

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Object oriented institutions to specify symbolic computation systems
• scientific article; zbMATH DE number 2000439
• scientific article; zbMATH DE number 6118174
• An approach to object semantics based on terminal co-algebras
• Formal Methods in Software and Systems Modeling

Cited in

(14)

• Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
• scientific article; zbMATH DE number 2000439 (Why is no real title available?)
• A parameterization process: from a functorial point of view
• Proving with ACL2 the correctness of simplicial sets in the Kenzo system
• Formalization of a normalization theorem in simplicial topology
• Mediated Access to Symbolic Computation Systems
• Diagrammatic logic applied to a parameterisation process
• Object oriented institutions to specify symbolic computation systems
• Effective homology of bicomplexes, formalized in Coq
• Generating certified code from formal proofs: a case study in homological algebra
• A case-study in algebraic manipulation using mechanized reasoning tools
• Modelling algebraic structures and morphisms in ACL2
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
• Computing with locally effective matrices

Describes a project that uses

Uses Software

• EAT
• LISP
• AXIOM

This page was built for publication: An object-oriented interpretation of the EAT system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1413645)