View of Automated reasoning in elementary geometry: towards inquiry learning

Return to Issue Details Automated reasoning in elementary geometry: towards inquiry learning Download Download PDF