Edit Profile (opens in new tab) Alama, Jesse Compute Distance To: Compute Author ID: alama.jesse Published as: Alama, Jesse External Links: MGP Documents Indexed: 19 Publications since 2010 Co-Authors: 20 Co-Authors with 13 Joint Publications 374 Co-Co-Authors all top 5 Co-Authors 6 single-authored 6 Urban, Josef 3 Mamane, Lionel Elie 2 Kühlwein, Daniel 2 Rudnicki, Piotr 1 Brink, Kasper 1 Byliński, Czesław 1 Geuvers, Jan Herman 1 Grabowski, Adam 1 Heskes, Tom M. 1 Kahle, Reinhard 1 Knoks, Aleks 1 Kohlhase, Michael 1 Naumowicz, Adam 1 Omori, Hitoshi 1 Oppenheimer, Paul E. 1 Pambuccian, Victor V. 1 Richter, William 1 Tsivtsivadze, Evgeni 1 Uckelman, Sara Liana 1 Zalta, Edward N. Serials 2 Studia Logica 2 Note di Matematica 2 Journal of Automated Reasoning 1 Journal of Philosophical Logic 1 Formalized Mathematics all top 5 Fields 12 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 4 Geometry (51-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 108 times in 72 Documents Cited by ▼ Year ▼ Premise selection for mathematics by corpus analysis and kernel methods. Zbl 1315.68217Alama, Jesse; Heskes, Tom; Kühlwein, Daniel; Tsivtsivadze, Evgeni; Urban, Josef 36 2014 Licensing the Mizar Mathematical Library (MML). Zbl 1278.68290Alama, Jesse; Kohlhase, Michael; Mamane, Lionel; Naumowicz, Adam; Rudnicki, Piotr; Urban, Josef 17 2011 Automated and human proofs in general mathematics: an initial comparison. Zbl 1352.68211Alama, Jesse; Kühlwein, Daniel; Urban, Josef 9 2012 Large formal wikis: issues and solutions. Zbl 1335.68220Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef 8 2011 A Wiki for Mizar: motivation, considerations, and initial prototype. Zbl 1286.68434Urban, Josef; Alama, Jesse; Rudnicki, Piotr; Geuvers, Herman 7 2010 Dependencies in formal mathematics: applications and extraction for Coq and Mizar. Zbl 1335.68221Alama, Jesse; Mamane, Lionel; Urban, Josef 6 2012 Tarski geometry axioms. Zbl 1352.51002Richter, William; Grabowski, Adam; Alama, Jesse 6 2014 New developments in parsing Mizar. Zbl 1360.68743Bylinski, Czesław; Alama, Jesse 4 2012 mizar-items: exploring fine-grained dependencies in the Mizar Mathematical Library (MML). Zbl 1335.68255Alama, Jesse 4 2011 Euler’s polyhedron formula in mizar. Zbl 1294.68132Alama, Jesse 3 2010 From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Zbl 1414.51002Alama, Jesse; Pambuccian, Victor 3 2016 The simplest axiom system for hyperbolic geometry revisited, again. Zbl 1301.03017Alama, Jesse 1 2014 Checking proofs. Zbl 1330.00021Alama, Jesse; Kahle, Reinhard 1 2013 A curious dialogical logic and its composition problem. Zbl 1317.03028Uckelman, Sara L.; Alama, Jesse; Knoks, Aleks 1 2014 Complete independence of an axiom system for central translations. Zbl 1291.51002Alama, Jesse 1 2013 Eliciting implicit assumptions of Mizar proofs by property omission. Zbl 1260.68361Alama, Jesse 1 2013 From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Zbl 1414.51002Alama, Jesse; Pambuccian, Victor 3 2016 Premise selection for mathematics by corpus analysis and kernel methods. Zbl 1315.68217Alama, Jesse; Heskes, Tom; Kühlwein, Daniel; Tsivtsivadze, Evgeni; Urban, Josef 36 2014 Tarski geometry axioms. Zbl 1352.51002Richter, William; Grabowski, Adam; Alama, Jesse 6 2014 The simplest axiom system for hyperbolic geometry revisited, again. Zbl 1301.03017Alama, Jesse 1 2014 A curious dialogical logic and its composition problem. Zbl 1317.03028Uckelman, Sara L.; Alama, Jesse; Knoks, Aleks 1 2014 Checking proofs. Zbl 1330.00021Alama, Jesse; Kahle, Reinhard 1 2013 Complete independence of an axiom system for central translations. Zbl 1291.51002Alama, Jesse 1 2013 Eliciting implicit assumptions of Mizar proofs by property omission. Zbl 1260.68361Alama, Jesse 1 2013 Automated and human proofs in general mathematics: an initial comparison. Zbl 1352.68211Alama, Jesse; Kühlwein, Daniel; Urban, Josef 9 2012 Dependencies in formal mathematics: applications and extraction for Coq and Mizar. Zbl 1335.68221Alama, Jesse; Mamane, Lionel; Urban, Josef 6 2012 New developments in parsing Mizar. Zbl 1360.68743Bylinski, Czesław; Alama, Jesse 4 2012 Licensing the Mizar Mathematical Library (MML). Zbl 1278.68290Alama, Jesse; Kohlhase, Michael; Mamane, Lionel; Naumowicz, Adam; Rudnicki, Piotr; Urban, Josef 17 2011 Large formal wikis: issues and solutions. Zbl 1335.68220Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef 8 2011 mizar-items: exploring fine-grained dependencies in the Mizar Mathematical Library (MML). Zbl 1335.68255Alama, Jesse 4 2011 A Wiki for Mizar: motivation, considerations, and initial prototype. Zbl 1286.68434Urban, Josef; Alama, Jesse; Rudnicki, Piotr; Geuvers, Herman 7 2010 Euler’s polyhedron formula in mizar. Zbl 1294.68132Alama, Jesse 3 2010 all cited Publications top 5 cited Publications all top 5 Cited by 84 Authors 24 Urban, Josef 14 Kaliszyk, Cezary 7 Grabowski, Adam 7 Korniłowicz, Artur 7 Naumowicz, Adam 6 Alama, Jesse 5 Jakubův, Jan 5 Pąk, Karol 4 Coghetto, Roland 4 Sutcliffe, Geoff 3 Boutry, Pierre 3 Vyskočil, Jiří 2 Allamigeon, Xavier 2 Bancerek, Grzegorz 2 Blanchette, Jasmin Christian 2 Brown, Chad Edward 2 Byliński, Czesław 2 Chvalovský, Karel 2 Färber, Michael 2 Gransden, Thomas 2 Heskes, Tom M. 2 Katz, Ricardo David 2 Kühlwein, Daniel 2 Matuszewski, Roman 2 Narboux, Julien 2 Nipkow, Tobias 2 Olšák, Miroslav 2 Pambuccian, Victor V. 2 Rabe, Florian 2 Raman, Rajeev 2 Strub, Pierre-Yves 2 Suda, Martin 2 Walkinshaw, Neil 2 Zombori, Zsolt 1 Abbasi, Mohsin Manshad 1 Aberdein, Andrew 1 Bel’tyukov, Anatoliĭ Petrovich 1 Benzmüller, Christoph Ewald 1 Braun, Gabriel 1 Brink, Kasper 1 Czajka, Łukasz 1 Dunchev, Cvetan 1 Gauthier, Thibault 1 Greenaway, David 1 Gries, Charly 1 Haslbeck, Maximilian P. L. 1 Hipolito, Inês 1 Iancu, Mihnea 1 Janičić, Predrag 1 Janota, Mikoláš 1 Kahle, Reinhard 1 Khan Afshar, Sanaz 1 Knoks, Aleks 1 Koch, Sebastian 1 Kohlhase, Michael 1 Kovács, Zoltán 1 Mamane, Lionel Elie 1 Marić, Filip 1 Marinković, Vesna 1 Matichuk, Daniel 1 Movsisyan, Yuri Movses 1 Nakasho, Kazuhisa 1 Nikolić, Mladen 1 Oppenheimer, Paul E. 1 Ould Biha, Sidi 1 Paulson, Lawrence Charles 1 Piepenbrock, Jelle 1 Piliszek, Radosław 1 Rawson, Michael 1 Reger, Giles 1 Roe, Kenneth 1 Rothgang, Colin 1 Rudnicki, Piotr 1 Schreck, Pascal 1 Schulz, Stephan 1 Shidama, Yasunari 1 Siddique, Umair 1 Simić, Danijela 1 Tahar, Sofiène 1 Tsivtsivadze, Evgeni 1 Uckelman, Sara Liana 1 Wenzel, Makarius 1 Woltzenlogel Paleo, Bruno 1 Zalta, Edward N. all top 5 Cited in 13 Serials 18 Journal of Automated Reasoning 5 Formalized Mathematics 3 AI Communications 2 Journal of Symbolic Computation 2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Journal of Philosophical Logic 1 Results in Mathematics 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki all top 5 Cited in 11 Fields 63 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 8 Geometry (51-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Group theory and generalizations (20-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Optics, electromagnetic theory (78-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year