Login / Signup
Polynomial-time proofs that groups are hyperbolic.
Derek Holt
Stephen A. Linton
Max Neunhöffer
Richard Parker
Markus Pfeiffer
Colva M. Roney-Dougal
Published in:
J. Symb. Comput. (2021)
Keyphrases
</>
special case
theorem proving
databases
equational theories
web pages
learning environment
computational complexity
worst case
np hardness