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
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