Printer Friendly

Browse Proof (Mathematics) topic

Articles

1-45 out of 45 article(s)
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 non-Archimedean 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. Seoane-Sepulveda, P.; Jimenez-Rodriguez G.A.; Munoz-Fernandez 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 four-colors map problem. Tianshu, Zhang Report Apr 1, 2013 4383
Renormalization group-like proof of the universality of the Tutte polynomial for matroids. Duchamp, G.; Hoang-Nghia, N.; Krajewski, T.; Tanasa, A. Report Jan 1, 2013 4784
On some generalized q-Eulerian 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 computer-assisted multiple representations in learning geometry proofs. Wong, Wing-Kwong; Yin, Sheng-Kai; Yang, Hsi-Hsun; Cheng, Ying-Hao Author abstract Jul 1, 2011 6636
Is proof dead in the computer-age school curriculum? Gough, John Jul 1, 2010 5317
Two geo-arithmetic representations of [n.sup.3]: sum of hex numbers. Unal, Husan Sep 22, 2009 1131
Simple Zero-Knowledge 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 log-concavity: 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, Cheng-Yao Report Jan 1, 2007 117
The wording of a proof: Hardy's second "elegant" proof--the 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
Non-Examples 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, Erh-Tsung 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

Terms of use | Privacy policy | Copyright © 2022 Farlex, Inc. | Feedback | For webmasters |