The GAP 4 type system: organising algebraic algorithms

Authors:
Thomas Breuer;Steve Linton
Affiliations:
Lehrstuhl D für Mathematik, RWTH Aachen, Templergraben 64, D-52062 Aachen, Germany;Division of Computer Science, University of St Andrews, North Haugh, St Andrews Fife, KY16 9SS, UK
Venue:
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Year:
1998

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The C++ programming language (2nd ed.)

The C++ programming language (2nd ed.)
AXIOM: the scientific computation system

AXIOM: the scientific computation system
Core Java

Core Java
On the notion of inheritance

ACM Computing Surveys (CSUR)
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)

Cited References

Computer algebra handbook
Open source computer algebra systems: GAP

ACM Communications in Computer Algebra
Parallel computations in modular group algebras

Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
View of computer algebra data from Coq

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Interfacing Coq + SSReflect with GAP

Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel programming support in GAP

ACM Communications in Computer Algebra

Hi-index	0.00