Nathan Carter
According to our database1,
Nathan Carter
authored at least 3 papers
between 2008 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
How to Prove it with Lean: By Daniel J. Velleman, published online at https://djvelleman.github.io/HTPIwL/.
Am. Math. Mon., September, 2025
2017
Proceedings of the 2017 IEEE Custom Integrated Circuits Conference, 2017
2008