OpenMath in SCIEnce: SCSCP and POPCORN

DOI10.1007/978-3-642-02614-0_38zbMath1247.68316MaRDI 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

68W30: Symbolic computation and algebraic computation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

Related Items

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

Uses Software

• SCSCP
• MathDox

Cites Work

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