Nathan Carter

According to our database1, Nathan Carter authored at least 3 papers between 2008 and 2025.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Achieving higher linearity in precision standard products.
Proceedings of the 2017 IEEE Custom Integrated Circuits Conference, 2017

2008
Generating random networks from a given distribution.
Comput. Stat. Data Anal., 2008


  Loading...