More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

CICM 2014: Coimbra, Portugal

> Home > Conferences and Workshops > CICM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2014
Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban:
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8543, Springer 2014, ISBN 978-3-319-08433-6

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Silva14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Silva14
Jaime Carvalho e Silva:
What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SompelKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SompelKS14
Herbert Van de Sompel, Martin Klein, Harihar Shankar:
Towards Robust Hyperlinks for Web-Based Scholarly Communication. 12-25
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Weisstein14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Weisstein14
Eric W. Weisstein:
Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha. 26-29

Calculemus

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AhmedHTH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AhmedHTH14
Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/EnglandBCDMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/EnglandBCDMW14
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. 45-60
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Cerna14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Cerna14
David M. Cerna:
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. 61-75
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/FishL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/FishL14
Andrew Fish, Alexei Lisitsa:
Detecting Unknots via Equational Reasoning, I: Exploration. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HuangEWDPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HuangEWDPB14
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. 92-107
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/JohanssonRSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/JohanssonRSC14
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. 108-122
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AfsharAHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AfsharAHT14
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. 123-137
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/WegnerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/WegnerS14
Bernd Wegner, Sigram Schindler:
A Mathematical Structure for Modeling Inventions. 138-152

Digital Mathematics Library

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Kohlhase14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Kohlhase14
Andrea Kohlhase:
Search Interfaces for Mathematicians. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Kohlhase14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Kohlhase14a
Michael Kohlhase:
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. 169-183
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Moore14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Moore14
Ross Moore:
PDF/A-3u as an Archival Format for Accessible Mathematics. 184-199
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/NghiemKTA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/NghiemKTA14
Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa:
Which One Is Better: Presentation-Based or Content-Based Math Search? 200-212
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SchonebergS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SchonebergS14
Ulf Schöneberg, Wolfram Sperber:
POS Tagging and Its Applications for Mathematics - Text Analysis in Mathematics. 213-223
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SchubotzW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SchubotzW14
Moritz Schubotz, Gabriel Wicke:
Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia. 224-235

Mathematical Knowledge Management

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CaminatiK0R14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CaminatiK0R14
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? 236-251
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CaretteFK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CaretteFK14
Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. 252-266
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GauthierK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GauthierK14
Thibault Gauthier, Cezary Kaliszyk:
Matching Concepts across HOL Libraries. 267-281
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GransdenWR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GransdenWR14
Thomas Gransden, Neil Walkinshaw, Rajeev Raman:
Mining State-Based Models from Proof Corpora. 282-297
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HaralambousQ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HaralambousQ14
Yannis Haralambous, Pedro Quaresma:
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. 298-311
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HorozalRK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HorozalRK14
Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase:
Flexary Operators for Formalized Mathematics. 312-327
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Hupel14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Hupel14
Lars Hupel:
Interactive Simplifier Tracing and Debugging in Isabelle. 328-343
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Jucovschi14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Jucovschi14
Constantin Jucovschi:
Towards an Interaction-based Integration of MKM Services into End-User Applications. 344-356
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykR14
Cezary Kaliszyk, Florian Rabe:
Towards Knowledge Management for HOL Light. 357-372
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Pak14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Pak14
Karol Pak:
Automated Improving of Proof Legibility in the Mizar System. 373-387
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/StojanovicNBJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/StojanovicNBJ14
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic:
A Vernacular for Coherent Logic. 388-403
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ZhangY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ZhangY14
Qun Zhang, Abdou Youssef:
An Approach to Math-Similarity Search. 404-418

Systems and Projects

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CohlMSSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CohlMSSW14
Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams:
Digital Repository of Mathematical Formulae. 419-422
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GinevC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GinevC14
Deyan Ginev, Joseph Corneli:
NNexus Reloaded. 423-426
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GinevMO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GinevMO14
Deyan Ginev, Bruce R. Miller, Silviu Oprea:
E-books and Graphics with. 427-430
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/IancuJKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/IancuJKW14
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing:
System Description: MathHub.info. 431-434
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykUVG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykUVG14
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers:
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. 435-439
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseK14
Lukas Kohlhase, Michael Kohlhase:
System Description: A Semantics-Aware LaTeX-to-Office Converter. 440-443
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/LiskaSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/LiskaSR14
Martin Líska, Petr Sojka, Michal Ruzicka:
Math Indexer and Searcher Web Interface - Towards Fulfillment of Mathematicians' Information Needs. 444-448
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Naumowicz14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Naumowicz14
Adam Naumowicz:
SAT-Enhanced Mizar Proof Checking. 449-452
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SiddiqueT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SiddiqueT14
Umair Siddique, Sofiène Tahar:
A Framework for Formal Reasoning about Geometrical Optics. 453-456

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.