Concepedia

Paul Raff

PR

2

Publications

93

Citations

2

H-Index

2007

Active since

Affiliations

Carnegie Mellon University(Current)

Paul Raff is an author at Carnegie Mellon University specializing in fire safety, injury prevention, and safety science.

Top concepts

Publications per year

2007–2007

2

Publications

2

A formally verified proof of the prime number theorem

Jeremy Avigad, K. Donnelly, David Gray et al. · ACM Transactions on Computational Logic · 2007 · 71 citations · Full text

, , +6

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>

K.L. Ng, Paul Raff · Discrete Applied Mathematics · 2007 · 22 citations

, , +9

Rows per page

1–2 of 2