Elamur Research⌕
☰
home / papers / Notation as a tool of thought / cited by

Who cites «Notation as a tool of thought»

5 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «Notation as a tool of thought»

  1. Array Programming with NumPyNatureCharles R. Harris, K. Jarrod Millman, Stéfan J. van der Walt, et al.2020 · 23,607 citations
  2. History of Interactive Theorem ProvingHandbook of the History of Logic, vol. 9 (Elsevier)John Harrison, Josef Urban, Freek Wiedijk2014 · 109 citations

3 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/iverson-1980-notation-as-tool-thought/cited-by/