An object-oriented interpretation of the EAT system
From MaRDI portal
Publication:1413645
DOI10.1007/s00200-003-0129-1zbMath1046.68140MaRDI 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
68W30: Symbolic computation and algebraic computation
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Object oriented institutions to specify symbolic computation systems, Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems, Mediated Access to Symbolic Computation Systems, Computing with locally effective matrices
Uses Software