Algebraic Structures as Typed Objects

DOI10.1007/978-3-642-23568-9_23zbMath1344.68302OpenAlexW1541679817MaRDI QIDQ3090909

Raphaël Jolly, Heinz Kredel

Publication date: 2 September 2011

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23568-9_23

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ramification and extension theory (11S15)

Uses Software

• AXIOM
• JAS
• Scala

This page was built for publication: Algebraic Structures as Typed Objects