Algebraic structures as typed objects

DOI10.1007/978-3-642-23568-9_23zbMATH Open1344.68302OpenAlexW1541679817MaRDI QIDQ3090909FDOQ3090909

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Categories as type classes in the Scala algebra system
• Type structures
• A design proposal for an object oriented algebraic library
• Algebra of Programming Using Dependent Types
• Generic, type-safe and object oriented computer algebra software
• Subobject classifier for algebraic structures

Uses Software

• AXIOM
• JAS
• Scala

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)