Scholar

James Parker

Google Scholar ID: butVIRUAAAAJ

University of Maryland, College Park

Programming LanguagesHigh Energy Physics

Google Scholar↗

Citations & Impact

All-time

Citations

571

H-index

11

i10-index

13

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Automating Bitvector and Finite Field Equivalence Proofs in Lean

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)