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)

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

Describes a project that uses

Uses Software

• AXIOM
• LISP
• EAT

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)