Pages that link to "Item:Q3543648"
From MaRDI portal
The following pages link to A Compiled Implementation of Normalization by Evaluation (Q3543648):
Displayed 5 items.
- On theorem prover-based testing (Q470025) (← links)
- Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (Q670696) (← links)
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- A compiled implementation of normalisation by evaluation (Q2913943) (← links)
- The Isabelle Framework (Q3543647) (← links)