The following pages link to Discreteness is undecidable (Q2814676):
Displayed 7 items.
- On the discreteness of states accessible via right-angled paths in hyperbolic space (Q2070051) (← links)
- Discreteness is undecidable (Q2814676) (← links)
- A discreteness algorithm for 4-punctured sphere groups (Q4965259) (← links)
- Computability Models: Algebraic, Topological and Geometric Algorithms (Q5886546) (← links)
- Geometric algorithms for discreteness and faithfulness (Q5886549) (← links)
- List of problems on discrete subgroups of Lie groups and their computational aspects (Q5886550) (← links)
- Verifying the Straight-and-spaced Condition (Q5886553) (← links)