The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FM4M/MathUI/ThEdu/DP/WIP@CIKM"( http://dblp.L3S.de/Venues/FM4M/MathUI/ThEdu/DP/WIP@CIKM )

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

Publication years (Num. hits)
2016 (30) 2017 (1)
Publication types (Num. hits)
inproceedings(30) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda 0001 (eds.) Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2017 DBLP  BibTeX  RDF
1Juan Lao-Tebar, Francisco Alvaro, Daniel Marques Proposal for Coexistence of Mathematical Handwritten and Keyboard Input in a WYSIWYG Expression Editor. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Aleksy Schubert Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Andreas Holmstrom A first step towards automated conjecture-making in higher arithmetic geometry. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Chad Brown Invited talk: Developments, Libraries and Automated Theorem Provers. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Ion Toloaca, Michael Kohlhase Notation-based Semantification. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Dennis Müller 0001 Knowledge Management across Formal Libraries. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Andrea Kohlhase, Michael Fürsich Understanding Mathematical Expressions: An Eye-Tracking Study. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Thibault Gauthier, Cezary Kaliszyk, Josef Urban Initial Experiments with Statistical Conjecturing over Large Formal Corpora. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Moritz Schubotz Augmenting Mathematical Formulae for More Effective Querying & Presentation. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Moritz Schubotz, David Veenhuis, Howard S. Cohl Getting the units right. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Denis Rochau, Michael Kohlhase, Dennis Müller 0001 FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Karol Pak Topological Foundations for a Formal Theory of Manifolds. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Hiroyuki Okazaki, Yuichi Futa Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Tom Wiesing, Felix Schmoll KAT: an Annotation Tool for STEM Documents. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Théo Zimmermann Design and development of a tool based on Coq to write and format mathematical proofs. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Adam Naumowicz Linking to Compound Conditions in Mizar. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Carneiro Formalization of the prime number theorem and Dirichlet's theorem. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Marek Janasz Automated theorem proving for elementary geometry. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Karol Pak Lemma Extraction Criteria Based on Properties of Theorem Statements. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Walther Neuper Lucas-Interpretation from Users' Perspective. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Walther Neuper Rigor of TP in Educational Engineering Software. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Artur Kornilowicz Registrations vs Redefinitions in Mizar. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Paul Libbrecht, Matija Lokar The plain text trap when copying mathematical formulae. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Moritz Schubotz, Alan P. Sexton A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Adam Grabowski, Roland Coghetto Tarski's Geometry and the Euclidean Plane in Mizar. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Karol Pak, Aleksy Schubert The impact of proof steps sequence on proof readability - experimental setting. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber swMATH - Challenges, Next Steps, and Outlook. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Lucius Schoenbaum Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Cezary Kaliszyk, Michael Kohlhase, Dennis Müller 0001, Florian Rabe 0001 A Standard for Aligning Mathematical Concepts. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Carneiro Models for Metamath. Search on Bibsonomy FM4M/MathUI/ThEdu/DP/WIP@CIKM The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license