Pages that link to "Item:Q928664"
From MaRDI portal
The following pages link to Automatic construction and verification of isotopy invariants (Q928664):
Displaying 5 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (Q3568690) (← links)
- Automatic Construction and Verification of Isotopy Invariants (Q3613399) (← links)
- Automated Reasoning (Q5307076) (← links)