Symbolic Computation Software Composability
From MaRDI portal
Publication:5505509
DOI10.1007/978-3-540-85110-3_24zbMath1166.68374MaRDI QIDQ5505509
Dan Roozemond, Sebastian Freundt, Peter Horn, Steve Linton, Olexandr Konovalov
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_24
Related Items
Interfacing Coq + SSReflect with GAP, View of Computer Algebra Data from Coq, Symbolic Computation Software Composability, A Singular web service for geometric computations, Generic, Type-Safe and Object Oriented Computer Algebra Software, OpenMath in SCIEnce: SCSCP and POPCORN
Uses Software
Cites Work