Peter LeFanu Lumsdaine

Artificial Intelligence · 2012–2014

A researcher in the Science corpus: 3 papers; trusts 5 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

Whom Peter LeFanu Lumsdaine trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Paul G. Goerss
  2. Yazhen Wang
  3. The Univalent Foundations Program
  4. John F. Jardine
  5. Aram Wettroth Harrow
  6. James D. Whitfield
  7. M. Warren

Who trusts Peter LeFanu Lumsdaine overall

  1. Denis-Charles Cisinski
  2. Nicola Gambino
  3. Benedikt Ahrens
  4. Stefan Woerner
  5. Vladimir Voevodsky
  6. Y. Nam
  7. Christian Sattler
  8. Andrew M. Childs
  9. Alwin Zulehner
  10. Damian S. Steiger

Papers from Peter LeFanu Lumsdaine's perspective

Ordered by how strongly the researchers Peter LeFanu Lumsdaine trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Exponential algorithmic speedup by a quantum walk (Symposium on the Theory of Computing)
  2. Quantum algorithm for linear systems of equations. (Physical Review Letters)
  3. Quantum Computation and Quantum Information
  4. Quantum algorithms for the triangle problem (ACM-SIAM Symposium on Discrete Algorithms)
  5. Homotopy Type Theory: Univalent Foundations of Mathematics (arXiv.org)
  6. Simulation of electronic structure Hamiltonians using quantum computers
  7. On the Relationship Between Continuous- and Discrete-Time Quantum Walk
  8. Creating superpositions that correspond to efficiently integrable probability distributions
  9. Formal Proof—The Four- Color Theorem
  10. Efficient Quantum Algorithms for Simulating Sparse Hamiltonians

Their papers