Trevor Green

Years active
2000

0 results · 0 records · 0 credits

Other reviewed records

Reviewed records: 27
  • n = 122: lower bound prover — Trevor Green
  • n = 123: lower bound prover — Trevor Green
  • n = 124: lower bound prover — Trevor Green
  • n = 125: lower bound prover — Trevor Green
  • n = 145: lower bound prover — Trevor Green
  • n = 146: lower bound prover — Trevor Green
  • n = 147: lower bound prover — Trevor Green
  • n = 148: lower bound prover — Trevor Green
  • n = 170: lower bound prover — Trevor Green
  • n = 171: lower bound prover — Trevor Green
  • n = 172: lower bound prover — Trevor Green
  • n = 197: lower bound prover — Trevor Green
  • n = 198: lower bound prover — Trevor Green
  • n = 199: lower bound prover — Trevor Green
  • n = 200: lower bound prover — Trevor Green
  • n = 226: lower bound prover — Trevor Green
  • n = 227: lower bound prover — Trevor Green
  • n = 228: lower bound prover — Trevor Green
  • n = 229: lower bound prover — Trevor Green
  • n = 257: lower bound prover — Trevor Green
  • n = 258: lower bound prover — Trevor Green
  • n = 259: lower bound prover — Trevor Green
  • n = 260: lower bound prover — Trevor Green
  • n = 290: lower bound prover — Trevor Green
  • n = 291: lower bound prover — Trevor Green
  • n = 292: lower bound prover — Trevor Green
  • n = 293: lower bound prover — Trevor Green
Sources
  1. survey-credit: The Introduction names Trevor Green as the sender of an unpublished proof; the lower-bound section names Trevor Green immediately before Theorem 9, and the lower-bound table prints Green. These are credits in Friedman’s survey, not authorship of the survey.

Identity evidence