Publication details

Publication details Main information Title: Dependencies in formal mathematics: Applications and extraction for Coq and Mizar Publication date: 2012 Citation: alama-dependencies Abstract: - In proceedings Authors: Jesse Alama, Lionel Mamane, Josef Urban Editors: Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel Book title: Intelligent Computer Mathematics (CICM 2012) Series: Lecture Notes in Computer Science Publisher: Springer Address: - Volume: 7362 Pages: 1-16 ISBN: - ISSN: - Note: - Url address: - Export formats Plain text: Jesse Alama and Lionel Mamane and Josef Urban, Dependencies in formal mathematics: Applications and extraction for Coq and Mizar, in: Johan Jeuring and John A Campbell and Jacques Carette and Gabriel Reis and Petr Sojka and Makarius Wenzel (eds), Intelligent Computer Mathematics (CICM 2012), Lecture Notes in Computer Science, Springer, Vol. 7362, Pag. 1-16, 2012. HTML: <a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, Lionel Mamane and Josef Urban, <b>Dependencies in formal mathematics: Applications and extraction for Coq and Mizar</b>, in: Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka and Makarius Wenzel (eds), <u>Intelligent Computer Mathematics (CICM 2012)</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 7362, Pag. 1-16, 2012. BibTeX: @inproceedings {alama-dependencies, author = {Jesse Alama and Lionel Mamane and Josef Urban}, editor = {Johan Jeuring and John A Campbell and Jacques Carette and Gabriel Reis and Petr Sojka and Makarius Wenzel}, title = {Dependencies in formal mathematics: Applications and extraction for Coq and Mizar}, booktitle = {Intelligent Computer Mathematics (CICM 2012)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {7362}, pages = {1-16}, year = {2012}, } Publication's urls Full url: /publications/view.php?code=2b5821174e6a65b4676c48244defe934 Friendly url: /publications/view.php?code=alama-dependencies