Research interests

I'm interested in far too many things for my own good, some of which have academic relevance: formal proofs, logic and proof assistants in general, rewriting, cryptography, security, ...

I'm currently pursuing document-proof assistants integration as part of my employment by the Radboud University Nijmegen. In my free time, I'm pursuing some cryptography-related interests, under the auspices of the cypherpunks.lu group.

Publications

Theses dissertation

• Master Thesis: Surreal Numbers in Coq, Technische Universiteit Eindhoven, The Netherlands.
• PhD Thesis: To be written.

Formally refereed

• Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban6 Licensing the Mizar Mathematical Library, in proceedings of Intelligent Computer Mathematics, 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, volume 6824/2011 of Lecture Notes in Computer Science, Springer Verlag, pages 149 - 163. arXiv version
• Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban, Large Formal Wikis: Issues and Solutions, in proceedings of Intelligent Computer Mathematics, 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, volume 6824/2011 of Lecture Notes in Computer Science, Springer Verlag, pages 133 - 148. arXiv version
• Lionel Elie Mamane, Herman Geuvers, James McKinna, A Logically Saturated Extension of λ̅μμ̃ (lambda-bar-mu-mu-tilde), in proceedings of 8th International Conference (MKM2009), held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Intelligent Computer Mathematics, volume 5625/2009 of Lecture Notes in Computer Science, Springer Verlag, pages 405 - 421
• Lionel Elie Mamane, Herman Geuvers, A Document-Oriented Coq Plugin for TeXmacs, MKM 2007 - Work in Progress, in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.), Technical report no. 07-06 in RISC Report Series, University of Linz, Austria. 2007, pages 47-60.
• Herman Geuvers, Lionel Elie Mamane, A Document-Oriented Coq Plugin for TeXmacs, to appear in proceedings of the MathUI workshop at the MKM 2006 conference, Wokingham, UK, 10 August 2006.
• Lionel Elie Mamane, Surreal Numbers in Coq, in Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner, editors, Lecture Notes in Computer Science, Volume 3839, Jan 2006, Pages 170 - 185. Published by Springer Verlag. Local Copy.
• Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen, An Interactive Algebra Course with Formalised Proofs and Definitions, in Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, Michael Kohlhase, editor, Lecture Notes in Computer Science, Volume 3863, Jan 2006, Pages 315 - 329. Published by Springer Verlag. Local Copy

Scribblings of no importance

• Thoughts on the process of producing mathematical documents, an early collection of thoughts.

Meaningless statistics

As far as I know, my Erdős number is 4, as Herman Geuvers is a 3.

Talks

TODO