- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j3 |      | Jesse Alama: Eliciting Implicit Assumptions of Mizar Proofs by Property Omission. J. Autom. Reasoning 50(2): 123-133 (2013) |
| 2012 | ||
| c8 | | Jesse Alama, Lionel Mamane, Josef Urban: Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. AISC/MKM/Calculemus 2012: 1-16 |
| c7 | | |
| c6 | | Jesse Alama, Daniel Kühlwein, Josef Urban: Automated and Human Proofs in General Mathematics: An Initial Comparison. LPAR 2012: 37-45 |
| i10 | | Jesse Alama: Tipi: A TPTP-based theory development environment emphasizing proof analysis. CoRR abs/1204.0901 (2012) |
| i9 | | |
| i8 | | |
| 2011 | ||
| c5 | | Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban: Large Formal Wikis: Issues and Solutions. Calculemus/MKM 2011: 133-148 |
| c4 | | Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban: Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 |
| c3 | | Jesse Alama: mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library. Calculemus/MKM 2011: 276-277 |
| i7 | | Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban: Large Formal Wikis: Issues and Solutions. CoRR abs/1107.3209 (2011) |
| i6 | | Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane: Licensing the Mizar Mathematical Library. CoRR abs/1107.3212 (2011) |
| i5 | | Jesse Alama: mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library. CoRR abs/1107.4721 (2011) |
| i4 | | Jesse Alama, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes: Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. CoRR abs/1108.3446 (2011) |
| i3 | | Jesse Alama: Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission. CoRR abs/1109.0633 (2011) |
| i2 | | Jesse Alama, Lionel Mamane, Josef Urban: Dependencies in Formal Mathematics. CoRR abs/1109.3687 (2011) |
| 2010 | ||
| c2 | | Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers: A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. AISC/MKM/Calculemus 2010: 455-469 |
| c1 | | |
| i1 | | Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers: A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. CoRR abs/1005.4552 (2010) |
| 2008 | ||
| j2 | | Jesse Alama: The Vector Space of Subsets of a Set Based on Symmetric Difference. Formalized Mathematics 16(1-4): 1-5 (2008) |
| j1 | | |
| 1 | Kasper Brink | |
| 2 | Czeslaw Bylinski | |
| 3 | Herman Geuvers | |
| 4 | Tom Heskes | |
| 5 | Michael Kohlhase | |
| 6 | Daniel Kühlwein | |
| 7 | Lionel Mamane | |
| 8 | Adam Naumowicz | |
| 9 | Piotr Rudnicki | |
| 10 | Evgeni Tsivtsivadze | |
| 11 | Josef Urban |
Data released under the ODC-BY 1.0 license — See also our legal information page