Get started
Author

Jesse Alama

Observed names: Alama, Jesse, Jesse A. Alama
OpenAlex ID: A5039051935
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
2013 · Jesse Alama, Tom Heskes, et al. · Journal of Automated Reasoning · 129
PDF
Licensing the Mizar Mathematical Library
2011 · Alama, Jesse, Kohlhase, Michael, et al. · arXiv (Cornell University) · 34
Large Formal Wikis: Issues and Solutions
2011 · Jesse Alama, Kasper Brink, et al. · Lecture notes in computer science · 30
PDF
A wiki for Mizar: motivation, considerations, and initial prototype
2010 · Josef Urban, Jesse Alama, et al. · TU/e Research Portal · 27
Automated and Human Proofs in General Mathematics: An Initial Comparison
2012 · Jesse Alama, Daniel Kühlwein, et al. · Lecture notes in computer science · 24
Licensing the Mizar Mathematical Library
2011 · Jesse Alama, Michael Kohlhase, et al. · Lecture notes in computer science · 23
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
2010 · Josef Urban, Jesse Alama, et al. · Lecture notes in computer science · 21
PDF
Large Formal Wikis: Issues and Solutions
2011 · Alama, Jesse, Brink, Kasper, et al. · 17
\nDependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
2012 · Alama, Jesse, Mamane, L., et al. · Radboud Repository (Radboud University) · 16
The Rank+Nullity Theorem
2007 · Jesse Alama · Formalized Mathematics · 16
PDF
Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2
2018 · Hitoshi Omori, Jesse Alama · Studia Logica · 13
Euler's Polyhedron Formula
2008 · Jesse Alama · Formalized Mathematics · 13
PDF
Tarski Geometry Axioms
2014 · William Richter, Adam Grabowski, et al. · Formalized Mathematics · 11
PDF
Automating Leibniz’s Theory of Concepts
2015 · Jesse Alama, Paul E. Oppenheimer, et al. · Lecture notes in computer science · 9
PDF
New developments in parsing Mizar
2012 · Bylinski, Czeslaw, Alama, Jesse · arXiv (Cornell University) · 9
PDF
New Developments in Parsing Mizar
2012 · Czesław Bylinski, Jesse Alama · Lecture notes in computer science · 8
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
2011 · Jesse Alama · Lecture notes in computer science · 8
PDF
Escape to Mizar from ATPs
2018 · Jesse Alama · EPiC series in computing · 7
PDF
A Curious Dialogical Logic and its Composition Problem
2013 · Sara L. Uckelman, Jesse Alama, et al. · Journal of Philosophical Logic · 7
PDF
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again
2013 · Jesse Alama · Studia Logica · 5
Checking Proofs
2013 · Jesse Alama, Reinhard Kahle · Springer eBooks · 5
Dependencies in Formal Mathematics
2011 · Jesse Alama, Lionel Mamane, et al. · arXiv (Cornell University) · 5
Tipi: A TPTP-based theory development environment emphasizing proof analysis
2012 · Alama, Jesse · arXiv (Cornell University) · 4
PDF
Dialogue Games in Classical Logic
2011 · Alama, Jesse, Knoks, Aleks, et al. · Zurich Open Repository and Archive (University of Zurich) · 3
PDF
Dialogues games for classical logic (short paper)
2011 · Jesse Alama, Aleks Knoks, et al. · Research portal (Tilburg University) · 3
Works count: 76
Citation count: 468
H-index: 12
I10-index: 13
Year
Topic
Type