Pages that link to "Item:Q19263"

The following pages link to gcl (Q19263):

Displaying 6 items.

• Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
• The area method. A recapitulation (Q437042) (← links)
• New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
• Taxonomies of geometric problems (Q2334578) (← links)
• A Singular web service for geometric computations (Q2354915) (← links)
• Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)