scientific article; zbMATH DE number 1759393

zbMATH Open0996.68866MaRDI QIDQ4536341FDOQ4536341

Authors: James H. Davenport 

Publication date: 4 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4055029
• scientific article; zbMATH DE number 962431
• Publication:5753521
• scientific article; zbMATH DE number 774960
• scientific article; zbMATH DE number 4020473

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65)

Cited In (12)

• Equality in computer algebra and beyond.
• Title not available (Why is that?)
• Exploring abstract algebra in constructive type theory
• Title not available (Why is that?)
• An abstract data type for real numbers
• Generic, type-safe and object oriented computer algebra software
• Decision procedures for algebraic data types with abstractions
• Title not available (Why is that?)
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• A type system for computer algebra
• Title not available (Why is that?)
• My ADT shrine

Uses Software

• AXIOM

This page was built for publication:

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