Abductive processes in conjecturing and proving

Similar Works

Action	Title	Year	Authors
+	The role of abduction in proving processes	2010	Bettina Pedemonte David A. Reid
+ PDF Chat	Representing mathematical induction in proving processes	2022	Bernardo Nannini
+	Abduction and Truth	2022	Ilkka Niiniluoto
+	Textbook analyses on reasoning-and-proving: Significance and methodological challenges	2014	Gabriel J. Stylianides
+	Introduction to Abduction in Mathematics	2022	F. D. Rivera
+	Introduction to Abduction in Mathematics	2023	F. D. Rivera
+ PDF Chat	Notes on Abductive Experimentation	2010	Mohamed Sharif
+	Abduction and Creativity in Mathematics	2022	Paul Ernest
+	Abduction and Creativity in Mathematics	2023	Paul Ernest
+	How to Recognize Artificial Mathematical Intelligence in Theorem Proving	2025	Markus Pantsar
+	Tactics for Reasoning Modulo AC in Coq	2011	Thomas Braibant Damien Pous
+	Reasoning about proof and knowledge	2018	Steffen Lewitzka
+	Reasoning about Problems	2017	Nicki Newton
+	Logical Reasoning and Learning	2012	Terezinha Nuñes
+ PDF Chat	REASONING ABOUT CONSTRUCTIVE CONCEPTS	2013	Nik Weaver
+	Learning from Tactic Steps in Formal Proofs	2019	Thibault Gauthier
+	The Role of Abduction in Mathematics: Creativity, Contingency, and Constraint	2023	Elizabeth de Freitas
+	The Role of Abduction in Mathematics: Creativity, Contingency, and Constraint	2022	Elizabeth de Freitas
+	Proving and Modelling	2007	Gila Hanna Hans Niels Jahnke
+	The Role of Proof in Problem Solving	2016	Alan H. Schoenfeld Alan H. Sloane

Works That Cite This (2)

Action	Title	Year	Authors
+	ABDUCTION AND THE EXPLANATION OF ANOMALIES: THE CASE OF PROOF BY CONTRADICTION ♠	2010	Samuele Antonini Maria Alessandra Mariotti
+	Dialogue Types, Argumentation Schemes, and Mathematical Practice: Douglas Walton and Mathematics	2020	Andrew Aberdein

Works Cited by This (11)

Action	Title	Year	Authors
+ PDF Chat	A Course in Number Theory and Cryptography	1987	Neal Koblitz
+	Proving is convincing and explaining	1993	Reuben Hersh
+ PDF Chat	Perceptual comparisons through the mind’s eye	1975	Allan Paivio
+	Beyond inductive and deductive reasoning: The search for a sense of knowing	1996	Martin A. Simon
+	The principle of operative concept formation in geometry teaching	1980	P. L. Bender Alfred Schreiber
+	Proofs and Refutations: The Logic of Mathematical Discovery	2015	Imre Lakatos John Worrall Elie Zahar
+ PDF Chat	On proof and progress in mathematics	1994	William P. Thurston
+	Proof Frames of Preservice Elementary Teachers	1989	W. Gary Martin Guershon Harel
+	High school geometry students' justification for their views of empirical evidence and mathematical proof	1993	Daniel Chazan
+	Ingenuity in mathematics	1970	Ross Honsberger