The following pages link to (Q4536341):
Displaying 9 items.
- Equality in computer algebra and beyond. (Q1404423) (← links)
- A type system for computer algebra (Q1895401) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- (Q3991310) (← links)
- (Q4295355) (← links)
- (Q4336197) (← links)
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers (Q5089612) (← links)
- Decision procedures for algebraic data types with abstractions (Q5255074) (← links)