arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"J. D. Lima"" — arXiv2 Search
Showing 1–2 of 2 results
/ Date
/ Name
Sep 25, 2023
A Formalized Extension of the Substitution Lemma in Coq
Feb 28, 2021
Geometric effects on the electronic structure of curved nanotubes and curved graphene: the case of the helix, catenary, helicoid, and catenoid