Pages that link to "Item:Q714712"
From MaRDI portal
The following pages link to Some new results on decidability for elementary algebra and geometry (Q714712):
Displaying 9 items.
- A formalization of metric spaces in HOL Light (Q682381) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Without Loss of Generality (Q3183516) (← links)
- HOL Light: An Overview (Q3183517) (← links)
- Quantifying over events in probability logic: an introduction (Q4593244) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Elementary invariants for quantified probability logic (Q6095192) (← links)
