default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM 2015 Work in Progress: Washington, DC, USA
- Manfred Kerber, Jacques Carette
, Cezary Kaliszyk, Florian Rabe, Volker Sorge:
CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. 2015 - Mario Carneiro:
Arithmetic in Metamath, Case Study: Bertrand's Postulate. 3-18 - Johan Commelin, Josef Urban:
Auto-hyperlinking the Stacks Project. 19-24 - Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber:
The SMGloM Project and System. 25-28 - Robert C. Neveln, Robert A. Alps:
Parsing Texts and Checking Proofs in LATEX. 29-43 - Pedro Quaresma, Vanda Santos, Milena Maric:
A Web Environment for Geometry. 44-49 - Théo Zimmermann, Hugo Herbelin:
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. 50-62
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
