scientific article; zbMATH DE number 1262425

zbMath0918.68050MaRDI QIDQ4232470

Thomas Breuer, Steve Linton

Publication date: 15 March 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type systemmethod selection

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Interfacing Coq + SSReflect with GAP, Representing Subgroups of Finitely Presented Groups by Quotient Subgroups, View of Computer Algebra Data from Coq, Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach, GAP

Uses Software

• AXIOM
• Magma