Algebra and automated deduction

DOI10.1007/3-540-61511-3_106zbMath1412.68242WikidataQ55393307 ScholiaQ55393307MaRDI QIDQ4647540

Steve Linton, Ursula Martin Webb, Peter Pröhle, Duncan Shand

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_106

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

20-04: Software, source code, etc. for problems pertaining to group theory

Uses Software

• GAP
• LARCH