Pages that link to "Item:Q2795294"
From MaRDI portal
The following pages link to Herbrand's theorem and non-Euclidean geometry (Q2795294):
Displaying 7 items.
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Early examples of resource-consciousness (Q1876091) (← links)
- On the derivation of the non-Euclidean angle of parallelism function (Q1903361) (← links)
- Pseudohermitian Geometry (Q2736638) (← links)
- Herman’s last geometric theorem (Q3632716) (← links)
- (Q4835072) (← links)
- A Diagram of Choice: The Curious Case of Wallis’s Attempted Proof of the Parallel Postulate and the Axiom of Choice (Q6485439) (← links)