Easy composition of symbolic computation software

DOI10.1145/1837934.1837999zbMath1321.68538MaRDI QIDQ2946562

Olexandr Konovalov, Steve Linton, Peter Horn, Dan Roozemond, Kevin Hammond, Phil W. Trinder, A. D. al Zain

Publication date: 17 September 2015

Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1837934.1837999

zbMATH Keywords

interface; parallelism; coordination; OpenMath; SCSCP

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

Related Items

SCSCP

Uses Software

• DIFFALG
• AIDA

Cites Work

• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item