The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CICM"( http://dblp.L3S.de/Venues/CICM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mkm

Publication years (Num. hits)
2014 (39) 2015 (28) 2016-2017 (39) 2018 (24) 2019 (21)
Publication types (Num. hits)
inproceedings(145) proceedings(6)
Venues (Conferences, Journals, ...)
CICM(151)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 151 publication records. Showing 151 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Abdou Youssef, Bruce R. Miller Explorations into the Use of Word Embedding in Math Search and Math Semantics. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Moa Johansson Lemma Discovery for Induction - A Survey. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen (eds.) Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Condoluci, Michael Kohlhase, Dennis Müller 0001, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel Relational Data Across Mathematical Libraries. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Claudio Sacerdoti Coen A Plugin to Export Coq Libraries to XML. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zoltán Kovács, Pavel Pech Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Besik Dundua, Temur Kutsia, Mircea Marin Variadic Equational Matching. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Maletzky Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng Inspection and Selection of Representations. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Rabe MMTTeX: Connecting Content and Narration-Oriented Document Formats. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Makarius Wenzel Interaction with Formal Mathematical Documents in Isabelle/PIDE. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthew England, Dorian Florescu Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing Integrating Semantic Mathematical Documents and Dynamic Notebooks. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp Forms of Plagiarism in Digital Mathematical Libraries. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Katja Bercic, Michael Kohlhase, Florian Rabe Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Rabe, Yasmine Sharoda Diagram Combinators in MMT. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dennis Müller 0001, Florian Rabe, Claudio Sacerdoti Coen The Coq Library as a Theory Graph. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chad E. Brown, Karol Pak A Tale of Two Set Theories. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dee Quinlan, Joe B. Wells, Fairouz Kamareddine BNF-Style Notation as It Is Actually Used. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jacques Carette, William M. Farmer Towards Specifying Symbolic Computation. Search on Bibsonomy CICM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Karol Pak Isabelle Import Infrastructure for the Mizar Mathematical Library. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jacques Carette, William M. Farmer, Yasmine Sharoda Biform Theories: Project Description. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonas Betzendahl, Michael Kohlhase Translating the IMPS Theory Library to MMT/OMDoc. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Howard S. Cohl, André Greiner-Petter, Moritz Schubotz Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wolfgang Schreiner Validating Mathematical Theorems and Algorithms with RISCAL. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dennis Müller 0001, Michael Kohlhase, Florian Rabe Automatically Finding Theory Morphisms for Knowledge Management. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qingxiang Wang, Cezary Kaliszyk, Josef Urban First Experiments with Neural Translation of Informal to Formal Mathematics. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn Discourse Phenomena in Mathematical Documents. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zoltán Kovács Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff Using the Isabelle Ontology Framework - Linking the Formal with the Informal. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grzegorz Bancerek, Adam Naumowicz, Josef Urban System Description: XSL-Based Translator of Mizar to LaTeX. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thierry N. Dana-Picard, Zoltán Kovács Automated Determination of Isoptics with Dynamic Geometry. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Jakubuv, Josef Urban Enhancing ENIGMA Given Clause Guidance. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire A Coq Formalization of Digital Filters. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef (eds.) Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Maletzky, Fabian Immler Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Humenberger, Maximilian Jaroschek, Laura Kovács Aligator.jl - A Julia Package for Loop Invariant Generation. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manfred Minimair MathChat: Computational Mathematics via a Social Machine. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp MathTools: An Open API for Convenient MathML Handling. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Theresa Pollinger, Michael Kohlhase, Harald Köstler Knowledge Amalgamation for Computational Science and Engineering. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Junk, Stefan Hölle, Sebastian Sahli Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yutaka Nagashima, Julian Parsert Goal-Oriented Conjecturing for Isabelle/HOL. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lukasz Czajka 0001, Burak Ekici, Cezary Kaliszyk Concrete Semantics with Coq and CoqHammer. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdou Youssef, Bruce R. Miller Deep Learning for Math Knowledge Processing. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdou Youssef Part-of-Math Tagging and Applications. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Kohlhase, Michael Kohlhase, Michael Fürsich Visual Structure in Mathematical Expressions. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato Reasoning with Concept Diagrams About Antipatterns in Ontologies. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ian Ford Semantic Representation of General Topology in the Wolfram Language. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Komendantskaya, Jónathan Heras Proof Mining with Dependent Types. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1William M. Farmer Theory Morphisms in Church's Type Theory with Quotation and Evaluation. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.) Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adnan Rashid, Osman Hasan Formalization of Transform Methods Using HOL Light. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Maletzky, Wolfgang Windsteiger The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dennis Müller 0001, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe Classification of Alignments Between Concepts of Formal Mathematical Systems. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Kohlhase, Wolfram Sperber Software Citations, Information Systems, and Beyond. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Karol Pak Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Chojecki DeepAlgebra - An Outline of a Program. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick D. F. Ion, Stephen M. Watt The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juliana Bowles, Marco B. Caminati A Verified Algorithm Enumerating Event Structures. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Jakubuv, Josef Urban ENIGMA: Efficient Learning-Based Inference Guiding Machine. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franck Slama, Edwin Brady Automatically Proving Equivalence by Type-Safe Reflection. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathan C. Carter, Kenneth G. Monks A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Usman Sanwal, Umair Siddique Combining Refinement and Signal-Temporal Logic for Biological Systems. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moritz Schubotz, Norman Meuschke, Thomas Hepp, Howard S. Cohl, Bela Gipp VMEXT: A Visualization Tool for Mathematical Expression Trees. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jacques Carette, William M. Farmer Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Kohlhase, Thomas Koprucki, Dennis Müller 0001, Karsten Tabelow Mathematical Models as Research Data via Flexiformal Theory Graphs. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thierry Bouche, Olivier Labbe The New Numdam Platform. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Holmstrom, Torstein Vik Zeta Types and Tannakian Symbols as a Method for Representing Mathematical Knowledge. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar Formalization of Normal Random Variables in HOL. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov 0001, Samuel Lelièvre, Dennis Müller 0001, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1William M. Farmer Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Waqar Ahmad, Osman Hasan, Sofiène Tahar Formal Dependability Modeling and Analysis: A Survey. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Maletzky Mathematical Theory Exploration in Theorema: Reduction Rings. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Jakubuv, Josef Urban Extending E Prover with Similarity Based Clause Selection Strategies. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabian Müller 0002, Olaf Teschke Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Artur Kornilowicz Enhancement of Mizar Texts with Transitivity Property of Predicates. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adam Naumowicz, Radoslaw Piliszek Accessing the Mizar Library with a Weakly Strict Mizar Parser. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chad E. Brown, Josef Urban Extracting Higher-Order Goals from the Mizar Mathematical Library. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa (eds.) Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto Formalization of Bing's Shrinking Method in Geometric Topology. Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mihnea Iancu, Michael Kohlhase A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qun Zhang, Abdou Youssef Performance Evaluation and Optimization of Math-Similarity Search. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Richard Zanibbi, Awelemdy Orakwue Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bruce R. Miller Strategies for Parallel Markup. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Max W. Haslbeck, Daniel Matichuk, Tobias Nipkow Mining the Archive of Formal Proofs. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mihnea Iancu, Michael Kohlhase Math Literate Knowledge Management via Induced Material. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Serge Autexier, Dieter Hutter Structure Formation in Large Theories. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders, Cherry Y. Zou, Azeem S. Mohammed, Alex A. Danoff Growing the Digital Repository of Mathematical Formulae with Generic Sources. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov A First Class Boolean Sort in First-Order Theorem Proving and TPTP. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karol Pak Readable Formalization of Euler's Partition Theorem in Mizar. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar Enabling Symbolic and Numerical Computations in HOL Light. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adam Naumowicz Tools for MML Environment Analysis. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fulya Horozal, Florian Rabe Formal Logic Definitions for Interchange Languages. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kazuhisa Nakasho, Yasunari Shidama Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban Mizar: State-of-the-art and Beyond. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 151 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license