Pages that link to "Item:Q4647534"

The following pages link to Theorem proving with group presentations: Examples and questions (Q4647534):

Displaying 2 items.

• Invariants, patterns and weights for ordering terms (Q1581131) (← links)
• PATCH graphs: an efficient data structure for completion of finitely presented groups (Q6560376) (← links)