Pages that link to "Item:Q3088012"
From MaRDI portal
The following pages link to Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012):
Displaying 6 items.
- Efficient enumeration of non-isomorphic Ptolemaic graphs (Q782198) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation (Q5049007) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
- Gale-Shapley verified (Q6611960) (← links)