Logga in

GeoGebraBok: GeoCoq Figures

Den här resursen har markerats som enastående av en moderator.

Figure used in our formalization of foundations of geometry in Coq.

Visa GeoGebraBoken

Julien Narboux — 28 oktober 2015 - 17:56

Resurstyp: GeoGebraBok
Etiketter: euclid hilbert parallel postulates tarski
Lägg till ytterligare taggar (söktermer)

Målgrupp (ålder): 19+
Språk: English

Visningar: 1862

Kontakta den som skapat resursen

Licens: CC-BY-SA, GeoGebra Terms of Use

© 2025 International GeoGebra Institute