An object-oriented interpretation of the EAT system
From MaRDI portal
Publication:1413645
DOI10.1007/s00200-003-0129-1zbMath1046.68140OpenAlexW2091253243MaRDI QIDQ1413645
Laureano Lambán, Vico Pascual, Julio Jesús Rubio García
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
Symbolic computation and algebraic computation (68W30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Related Items (13)
A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW ⋮ Formalization of a normalization theorem in simplicial topology ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Computing with locally effective matrices ⋮ Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System ⋮ Generating certified code from formal proofs: a case study in homological algebra ⋮ Diagrammatic logic applied to a parameterisation process ⋮ A case-study in algebraic manipulation using mechanized reasoning tools ⋮ Object oriented institutions to specify symbolic computation systems ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems ⋮ Mediated Access to Symbolic Computation Systems ⋮ Modelling algebraic structures and morphisms in ACL2
Uses Software
This page was built for publication: An object-oriented interpretation of the EAT system