8Jones,K.Providing a foundation for deductive reasoning: Students’ interpretations when using dynamic geometry software and their evolving mathematical explanations[].Educational Studies.2000
9Karsten Homann,Jacques Calmet.Structures for Symbolic Mathematical Reasoning and Computation[]..
10Johan Lithner.Students’’Mathematical Reasoning in University Textbook Exercises[]..