Pages that link to "Item:Q1928390"

The following pages link to The common point problem in constructive projective geometry (Q1928390):

Displaying 5 items.

• A constructive real projective plane (Q265603) (← links)
• A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
• Brouwer and Euclid (Q1688971) (← links)
• `Outside' as a primitive notion in constructive projective geometry (Q1909592) (← links)
• Constructive projective extension of an incidence plane (Q5402107) (← links)