Jesse Alama

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)	2018-12-21	Paper
From absolute to affine geometry in terms of point-reections, midpoints, and collinearity	2018-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5354792	2017-09-04	Paper
Tarski geometry axioms	2017-01-06	Paper
Automating Leibniz’s Theory of Concepts	2015-12-02	Paper
Checking Proofs	2015-10-05	Paper
Premise selection for mathematics by corpus analysis and kernel methods	2015-07-02	Paper
A curious dialogical logic and its composition problem	2014-12-18	Paper
The simplest axiom system for hyperbolic geometry revisited, again	2014-09-26	Paper
Complete independence of an axiom system for central translations	2014-05-26	Paper
Dialogues for proof search	2014-05-08	Paper
Some problems with two axiomatizations of discussive logic	2014-03-30	Paper
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools	2014-01-05	Paper
Sharpening independence results for Huntington's affine geometry	2013-12-16	Paper
A machine-assisted view of paraconsistency	2013-12-16	Paper
Sentence complexity of theorems in Mizar	2013-11-08	Paper
Toward a structure theory for Lorenzen dialogue games	2013-11-08	Paper
Eliciting implicit assumptions of Mizar proofs by property omission	2013-04-17	Paper
Dependencies in formal mathematics: applications and extraction for Coq and Mizar	2012-09-07	Paper
New Developments in Parsing Mizar	2012-09-07	Paper
Automated and human proofs in general mathematics: an initial comparison	2012-06-15	Paper
Tipi: A TPTP-based theory development environment emphasizing proof analysis	2012-04-04	Paper
Licensing the Mizar Mathematical Library (MML)	2011-07-29	Paper
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library	2011-07-29	Paper
Large formal wikis: issues and solutions	2011-07-29	Paper
Euler's polyhedron formula in mizar	2010-09-14	Paper
A Wiki for Mizar: motivation, considerations, and initial prototype	2010-08-24	Paper

Research outcomes over time

This page was built for person: Jesse Alama