Title 
Author 
Type 
Date 
Words 
Dynamically Reconstructed Proof Visualizations in Real Analysis. 
Wasserman, Nicholas H. 
Report 
Feb 1, 2020 
5862 
Investigative Activity for Discovering Hidden Geometric Properties. 
Stupel, Moshe; Sigler, Avi; Tal, Idan 
Report 
Feb 1, 2018 
4174 
An algebraic proof of determinant formulas of Grothendieck polynomials. 
Matsumura, Tomoo 
Report 
Aug 1, 2017 
1750 
An alternative proof of the nonArchimedean Montel theorem for rational dynamics. 
Lee, Junghun 
Report 
Apr 1, 2016 
1925 
Straightforward Proofs of Ostrowski Inequality and Some Related Results. 
Farid, Ghulam 
Report 
Jan 1, 2016 
2500 
Descents of [lambda]unimodal cyclic permutations. 
Archer, Kassie 
Report 
Jan 1, 2014 
7168 
Bigraphical arrangements. 
Hopkins, Sam; Perkinson, David 
Report 
Jan 1, 2014 
4652 
Bijective proofs of partition identities of MacMahon, Andrews, and Subbarao. 
Fu, Shishuo; Sellers, James A. 
Report 
Jan 1, 2014 
2958 
On Weierstrass' Monsters and lineability. 
SeoaneSepulveda, P.; JimenezRodriguez G.A.; MunozFernandez J.B. 
Report 
Oct 1, 2013 
3094 
Recovering intuition from automated formal proofs using tableaux with superdeduction. 
Delahaye, David; Jacquel, Melanie 
Report 
Jun 1, 2013 
9246 
A written proof for the fourcolors map problem. 
Tianshu, Zhang 
Report 
Apr 1, 2013 
4383 
Renormalization grouplike proof of the universality of the Tutte polynomial for matroids. 
Duchamp, G.; HoangNghia, N.; Krajewski, T.; Tanasa, A. 
Report 
Jan 1, 2013 
4784 
On some generalized qEulerian polynomials. 
Lin, Zhicong 
Report 
Jan 1, 2013 
5683 
The probability of planarity of a random graph near the critical point. 
Noy, Marc; Ravelomanana, Vlady; Rue, Juanjo 
Report 
Jan 1, 2013 
4772 
Further results on maximal nontraceable graphs of smallest size. 
Burger, Alewyn P.; Singleton, Joy E. 
Report 
Jan 1, 2013 
8090 
Elementary proof of Pavillet tetrahedron properties. 
Pavillet, Axel; Shelomovskii, Vladimir V. 
Report 
Oct 1, 2012 
2751 
On log surfaces. 
Fujino, Osamu; Tanaka, Hiromu 
Report 
Oct 1, 2012 
5216 
Secure frameproof codes through biclique covers. 
Hajiabolhassan, Hossein; Moazami, Farokhlagha 
Report 
Jun 1, 2012 
5487 
Cascadic multigrid preconditioner for elliptic equations with jump coefficients. 
Liu, Zhiyong; He, Yinnian 
Report 
Jan 1, 2012 
2482 
Selfsimilarity, simulation and spacetime symmetries. 
Nesme, Vincent; Theyssier, Guillaume 
Report 
Jan 1, 2012 
6440 
Conservation laws and invariant measures in surjective cellular automata. 
Kari, Jarkko; Taati, Siamak 
Report 
Jan 1, 2012 
4780 
Projective subdynamics and universal shifts. 
Guillon, Pierre 
Report 
Jan 1, 2012 
6484 
A note on Browder spectrum. 
Kubrusly, Carlos S. 
Report 
Jan 1, 2012 
3382 
Using computerassisted multiple representations in learning geometry proofs. 
Wong, WingKwong; Yin, ShengKai; Yang, HsiHsun; Cheng, YingHao 
Author abstract 
Jul 1, 2011 
6636 
Is proof dead in the computerage school curriculum? 
Gough, John 

Jul 1, 2010 
5317 
Two geoarithmetic representations of [n.sup.3]: sum of hex numbers. 
Unal, Husan 

Sep 22, 2009 
1131 
Simple ZeroKnowledge Proof of Knowing [square root of [X.sub.1]] or [square root of [X.sub.2]] mod N. 
Zhong, Sheng 

Jan 1, 2009 
1719 
Geometry and complexity of O'Hara's algorithm. 
Konvalinka, Matjaz; Pak, Igor 
Report 
Jan 1, 2009 
5281 
Infinite logconcavity: developments and conjectures. 
McNamara, Peter R.W.; Sagan, Bruce E. 
Report 
Jan 1, 2009 
6074 
Computers. 


Jan 1, 2008 
1766 
Reflections on symmetry and proof. 
Merrotsy, Peter 

Jan 1, 2008 
3257 
Pythagorean Theorem Proofs: Connecting Interactive Websites. 
Lin, ChengYao 
Report 
Jan 1, 2007 
117 
The wording of a proof: Hardy's second "elegant" proofthe Pythagorean school's irrationality of [square root of 2]. 
Padula, Janice 

Jun 22, 2006 
4231 
Verification or Proof: Justification of Pythagoras' Theorem in Chinese Mathematics Classrooms. 
Huang, Rongjin 
Report 
Jul 1, 2005 
170 
A Framework for Describing the Processes that Undergraduates Use to Construct Proofs. 
Weber, Keith 
Abstract 
Jul 1, 2004 
145 
Orchestrating Mathematical Proof through the Use of Digital Tools. 
Sutherland, Rosamund; Olivero, Federica; Weeden, Marnie 
Abstract 
Jul 1, 2004 
180 
The Use of Models in Teaching Proof by Mathematical Induction. 
Ron, Gila; Dreyfus, Tommy 
Report 
Jul 1, 2004 
135 
Gifted ninth graders' notions of proof: investigating parallels in approaches of mathematically gifted students and professional mathematicians. 
Sriraman, Bharath 

Jun 22, 2004 
8655 
Proof and truth in mathematics. 
Gualtieri, Devlin M. 

Sep 22, 2003 
1274 
NonExamples and Proof by Contradiction. 
Antonini, Samuele 
Report 
Jul 1, 2003 
160 
The Nature of Scaffolding in Undergraduate Students' Transition to Mathematical Proof. 
Blanton, Maria L.; Stylianou, Despina A.; David, Maria Manuela 
Report 
Jul 1, 2003 
179 
One Line Proof: What Can Go Wrong? 
Gholamazad, Soheila; Liljedahl, Peter; Zazkis, Rina 
Report 
Jul 1, 2003 
164 
Mathematical Proof as Formal Procept in Advanced Mathematical Thinking. 
Chin, ErhTsung 
Report 
Jul 1, 2003 
293 
Influential Aspects of Dynamic Geometry Activities in the Construction of Proofs. 
Sanchez, Ernesto; Sacristan, Ana Isabel 
Author abstract 
Jul 1, 2003 
198 
A Procedural Route toward Understanding the Concept of Proof. 
Weber, Keith 
Report 
Jul 1, 2003 
210 