Concepedia

Jesse Alama

JA

7

Publications

241

Citations

7

H-Index

2007

Active since

Affiliations

University of Lisbon(Current)

Radboud University Nijmegen

Universidade Nova de Lisboa

Jesse Alama is an author at University of Lisbon specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceArtsGeometryLanguageHumanitiesJournalismStatistics

Publications per year

2007–2018

7

Publications

7

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Jesse Alama, Tom Heskes, Daniel Kühlwein et al. · Journal of Automated Reasoning · 2013 · 127 citations · Full text

Engineering, Premise Selection, Automated Reasoning +12

Licensing the Mizar Mathematical Library

Jesse Alama, Michael Kohlhase, Adam Naumowicz et al. · arXiv (Cornell University) · 2011 · 33 citations · Full text

Engineering, License Policy, Mizar Community +9

A wiki for Mizar: motivation, considerations, and initial prototype

Josef Urban, Jesse Alama, Piotr Rudnicki et al. · Lecture notes in computer science · 2010 · 27 citations

Architectural Design, Humanities, Initial Prototype +5

Large Formal Wikis: Issues and Solutions

Jesse Alama, Kasper Brink, Lionel Mamane et al. · 2011 · 16 citations · Full text

Engineering, Knowledge Extraction, Mathematical Dependencies +23

The Rank+Nullity Theorem

Jesse Alama · Formalized Mathematics · 2007 · 15 citations · Full text

Ranking Algorithm, Rank+nullity Theorem States, Linear Transformation +3

Rows per page

1–5 of 7