Mediated Access to Symbolic Computation Systems

DOI10.1007/978-3-540-85110-3_37zbMath1166.68376OpenAlexW1806334278MaRDI QIDQ5505524

Vico Pascual, Jónathan Heras, Julio Jesús Rubio García

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_37

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (3)

fKenzo: a user interface for computations in algebraic topology ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

Uses Software

• Kenzo
• EAT

Cites Work

• Unnamed Item
• Unnamed Item
• Towards the Mathematics Software Bus
• An object-oriented interpretation of the EAT system
• Mathematical Knowledge Management
• Object oriented institutions to specify symbolic computation systems
• Computational Science – ICCS 2005

This page was built for publication: Mediated Access to Symbolic Computation Systems