Symbolic Computation Software Composability

DOI10.1007/978-3-540-85110-3_24zbMath1166.68374OpenAlexW1847946916MaRDI 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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of software (68N99)

Related Items (6)

Interfacing Coq + SSReflect with GAP ⋮ Generic, Type-Safe and Object Oriented Computer Algebra Software ⋮ View of Computer Algebra Data from Coq ⋮ OpenMath in SCIEnce: SCSCP and POPCORN ⋮ Symbolic Computation Software Composability ⋮ A Singular web service for geometric computations

Uses Software

• GAP
• KANT/KASH
• Macaulay2
• Maple
• MuPAD
• SageMath
• SCSCP
• ANUPQ

Cites Work

• Unnamed Item
• Unnamed Item
• Construction of finite groups
• A MILLENNIUM PROJECT: CONSTRUCTING SMALL GROUPS
• Symbolic Computation Software Composability
• Mathematical Knowledge Management

This page was built for publication: Symbolic Computation Software Composability