Ejike D. Ugwuanyi

Identifiers

• name variant Ejike D. Ugwuanyi 0.60 · backfill

Papers (1)

1. LeanBET: Formally-verified surface area calculations in Lean cs.LO · 2026 · author #1

Mentions

• 2605.16169 #1 · arxiv_oai · confidence 0.70 Ejike D. Ugwuanyi

Frequent Coauthors

• Colin T. Jones 1 shared papers
• John Velkey 1 shared papers
• Tyler R. Josephson 1 shared papers