Algebraic structures as typed objects

DOI10.1007/978-3-642-23568-9_23MaRDI QIDQ3090909zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Generic, type-safe and object oriented computer algebra software
• scientific article; zbMATH DE number 1263393
• Categories as type classes in the Scala algebra system
• scientific article; zbMATH DE number 5199000
• A computer algebra system based on order-sorted algebra

Cited in

(7)

• Subobject classifier for algebraic structures
• Algebra of Programming Using Dependent Types
• Generic, type-safe and object oriented computer algebra software
• Type structures
• scientific article; zbMATH DE number 1263393 (Why is no real title available?)
• Categories as type classes in the Scala algebra system
• A design proposal for an object oriented algebraic library

Describes a project that uses

Uses Software

• Scala
• AXIOM
• JAS

This page was built for publication: Algebraic structures as typed objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090909)