Paul Raff

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Finite analogs of Szemerédi’s theorem	2010	Paul Raff Doron Zeilberger
+	Automated discovery and proof in three combinatorial problems	2009	Doron Zeilberger Paul Raff
+	Finite Analogs of Szemerédi's Theorem	2009	Paul Raff Doron Zeilberger
+	Spanning Trees in Grid Graphs	2008	Paul Raff
+ PDF Chat	A formally verified proof of the prime number theorem	2007	Jeremy Avigad K. Donnelly David Gray Paul Raff
+	A generalization of the firefighter problem on <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">z</mml:mi><mml:mo>×</mml:mo><mml:mi mathvariant="double-struck">z</mml:mi></mml:math>	2007	K.L. Ng Paul Raff
+	Fractional Firefighting in the Two Dimensional Grid	2005	K. L. Ng Paul Raff
+	A formally verified proof of the prime number theorem	2005	Jeremy Avigad K. Donnelly David Gray Paul Raff

Common Coauthors

Coauthor	Papers Together
Doron Zeilberger	3
Jeremy Avigad	2
David Gray	2
K. Donnelly	2
K. L. Ng	2

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The firefighter problem for graphs of maximum degree three	2006	Stephen Finbow Andrew D. King Gary MacGillivray Roméo Rizzi	3
+	Fire containment in grids of dimension three and higher	2007	Mike Develin Stephen G. Hartke	2
+	On minimal neighbourhood-connected graphs	1991	Bert L. Hartnell William L. Kocay	2
+ PDF Chat	Introduction to Analytic Number Theory	1976	Tom M. Apostol	1
+	Riemann's Zeta Function	1974	Harold M. Edwards	1
+	Notes on a Formalization of the Prime Number Theorem	2004	Jeremy Avigad	1
+ PDF Chat	Finite analogs of Szemerédi’s theorem	2010	Paul Raff Doron Zeilberger	1
+	GRAPH-THEORETIC MODELS OF SPREAD AND COMPETITION	2004	Stephen G. Hartke Fred S. Roberts	1
+	Tilings of the integers can have superpolynomial periods	2009	John Steinberger	1
+	Matrix multiplication via arithmetic progressions	1990	Don Coppersmith S. Winograd	1
+	Sets of integers with missing differences	1977	Nicolas M Haralambis	1
+ PDF Chat	A formally verified proof of the prime number theorem	2007	Jeremy Avigad K. Donnelly David Gray Paul Raff	1
+	Sequences of integers with missing differences	1973	David G. Cantor Basil Gordon	1
+ PDF Chat	Towards computerized proofs of identities	1990	Herbert S. Wilf Doron Zeilberger	1
+	Baionnettes et cardinaux	1982	G. Hansel	1
+	A generalization of the firefighter problem on <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">z</mml:mi><mml:mo>×</mml:mo><mml:mi mathvariant="double-struck">z</mml:mi></mml:math>	2007	K.L. Ng Paul Raff	1
+	Independence polynomials of circulants with an application to music	2008	Jason I. Brown Richard Hoshino	1
+ PDF Chat	An introduction to the theory of numbers	1960	G. H. Hardy	1
+	On Riemann's zeta function	1986	Daniel Bump Eugene K. -S. Ng	1
+ PDF Chat	Finding large 3-free sets I: The small n case	2007	William Gasarch James R. Glenn Clyde P. Kruskal	1
+	On Certain Sets of Integers	1953	K. F. Roth	1
+	Spanning Trees in Grid Graphs	2008	Paul Raff	1
+	A Survey of Graph Pebbling	2004	Glenn Hurlbert	1
+ PDF Chat	Number theory and elementary arithmetic†	2003	Jeremy Avigad	1
+	Enumerative Combinatorics	1997	Richard P. Stanley Gian‐Carlo Rota	1
+ PDF Chat	Combining decision procedures for the reals	2006	Jeremy Avigad Harvey Friedman	1
+	An Introduction to the Theory of Numbers. By G. H. Hardy and E. M. Wright. 2nd edition. Pp. xvi, 407 25s. 1945. (Oxford)	1946	T. A. A. B.	1
+	The Prime Number Theorem	2003	G. J. O. Jameson	1
+	The Prime Number Theorem	2003	G. J. O. Jameson	1
+	An Introduction to Analytic Number Theory	1999	Cyril Banderier	1
+	On the number of specific spanning subgraphs of the graphs G x Pn.	1998	F.J. Faase	1
+	Periodicity and Almost-Periodicity	2006	R. Tijdeman	1
+	Elementary Methods in Number Theory	2000	Melvyn B. Nathanson	1
+	Formal proof -- getting started	2008	Freek Wiedijk	1