Pages that link to "Item:Q3102734"

The following pages link to A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry (Q3102734):

Displaying 2 items.

• Homography in \(\mathbb{R}\mathbb{P}^2\) (Q520382) (← links)
• Implementing geometric algebra products with binary trees (Q742367) (← links)