Homogeneous length functions on groups: intertwined computer and human proofs
From MaRDI portal
Publication:1984792
DOI10.1007/s10817-019-09523-1zbMath1468.20081arXiv1904.05214OpenAlexW2963899149WikidataQ113901243 ScholiaQ113901243MaRDI QIDQ1984792
Publication date: 7 April 2020
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.05214
Geometric group theory (20F65) Mechanization of proofs and logical operations (03B35) Commutator calculus (20F12) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Type theory (03B38)
Cites Work
This page was built for publication: Homogeneous length functions on groups: intertwined computer and human proofs