Sebastian Ullrich

CADE · with Moura · 2021

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

Whom Sebastian Ullrich trusts overall

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

  1. The mathlib Community

Who trusts Sebastian Ullrich overall

  1. Swarat Chaudhuri

Papers from Sebastian Ullrich's perspective

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

  1. The lean mathematical library
  2. The Lean Theorem Prover (System Description)
  3. A Brief Overview of HOL4 (International Conference on Theorem Proving in Higher Order Logics)
  4. Efficient E-Matching for SMT Solvers (CADE)
  5. Mizar in a Nutshell
  6. Isabelle/HOL: A Proof Assistant for Higher-Order Logic
  7. On large subsets of F nq with no three-termarithmetic progression
  8. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions

Their papers