Printer Friendly

Browse Proof (Mathematics) topic

Research subtopic


1-25 out of 25 article(s)
Title Author Type Date Words
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
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
Descents of [lambda]-unimodal cyclic permutations. Archer, Kassie Report Jan 1, 2014 7168
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
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
Gifted ninth graders' notions of proof: investigating parallels in approaches of mathematically gifted students and professional mathematicians. Sriraman, Bharath Jun 22, 2004 8655

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