Homogeneous length functions on groups: intertwined computer and human proofs

DOI10.1007/s10817-019-09523-1zbMath1468.20081arXiv1904.05214OpenAlexW2963899149WikidataQ113901243 ScholiaQ113901243MaRDI QIDQ1984792

Siddhartha Gadgil

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

zbMATH Keywords

type theoryhomotopy type theorygeometric group theory

Mathematics Subject Classification ID

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

• The Hoffmann-Jørgensen inequality in metric semigroups
• Watson-Crick pairing, the Heisenberg group and Milnor invariants
• Homogeneous length functions on groups

This page was built for publication: Homogeneous length functions on groups: intertwined computer and human proofs