Norman D. Megill

1969

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Who trusts Norman D. Megill overall

1. Daniel Whalen
2. John Harrison
3. Aitor Lewkowycz
4. Josef Urban
5. Sarah M. Loos
6. Freek Wiedijk
7. Stanislas Polu
8. Anders Andreassen
9. Kshitij Bansal

Their papers

• Metamath A Computer Language for Pure Mathematics (1969)