OpenMath in SCIEnce: SCSCP and POPCORN

DOI10.1007/978-3-642-02614-0_38zbMath1247.68316OpenAlexW1564802704MaRDI QIDQ3637305

Dan Roozemond, Peter Horn

Publication date: 9 July 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-642-02614-0_38

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (4)

A scalable module system ⋮ Generic, Type-Safe and Object Oriented Computer Algebra Software ⋮ View of Computer Algebra Data from Coq ⋮ Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Uses Software

• SCSCP
• MathDox

Cites Work

• Symbolic Computation Software Composability
• Mathematical Knowledge Management
• Unnamed Item

This page was built for publication: OpenMath in SCIEnce: SCSCP and POPCORN