Return to Article Details GeoGebra with an interactive help system generates abductive argumentation during proving process Download Download PDF