The mathlib Community

2019

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

Whom The mathlib Community trusts overall

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

  1. Leonardo de Moura
  2. Tobias Nipkow
  3. Nikolaj S. Bjørner
  4. Michael Norrish
  5. M. Wenzel
  6. Jordan S. Ellenberg

Who trusts The mathlib Community overall

  1. Sean Welleck
  2. Leonardo de Moura
  3. Zhangir Azerbayev
  4. Rahul Saha
  5. Sebastian Ullrich
  6. Hailey Schoelkopf
  7. Jesse Michael Han
  8. Kunhao Zheng
  9. Keiran Paster
  10. Kaiyu Yang

Papers from The mathlib Community's perspective

Ordered by how strongly the researchers The mathlib Community trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Efficient E-Matching for SMT Solvers (CADE)
  2. Isabelle/HOL: A Proof Assistant for Higher-Order Logic
  3. On large subsets of F nq with no three-termarithmetic progression
  4. Mizar in a Nutshell
  5. The Lean Theorem Prover (System Description)
  6. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  7. A Brief Overview of HOL4 (International Conference on Theorem Proving in Higher Order Logics)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  10. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)

Their papers