A Review of Mathematical Knowledge Management (Q3637281): Difference between revisions

@@ Property / describes a project that uses @@
+Proof General Kit
@@ Property / describes a project that uses: Proof General Kit / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02614-0_21
+Normal rank
@@ Property / OpenAlex ID @@
+W2345851102
@@ Property / OpenAlex ID: W2345851102 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60712737
@@ Property / Wikidata QID: Q60712737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413877
@@ Property / cites work: Q4413877 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+A Framework for Interactive Proof
@@ Property / cites work: A Framework for Interactive Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11--12, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q4413880
@@ Property / cites work: Q4413880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767660
@@ Property / cites work: Q2767660 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Signature Evolution in Logical Theories
+Normal rank
@@ Property / cites work @@
+On dynamically presenting a topology course
@@ Property / cites work: On dynamically presenting a topology course / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413879
@@ Property / cites work: Q4413879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4510371
@@ Property / cites work: Q4510371 / rank @@
+Normal rank
@@ Property / cites work @@
+MKM
@@ Property / cites work: MKM / rank @@
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Q4413886
@@ Property / cites work: Q4413886 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Strategies for Exercises
@@ Property / cites work: Specifying Strategies for Exercises / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Representation of Mathematics in a Dependently Typed Set Theory
+Normal rank
@@ Property / cites work @@
+Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers.
+Normal rank
@@ Property / cites work @@
+Cross-Curriculum Search for Intergeo
@@ Property / cites work: Cross-Curriculum Search for Intergeo / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge representation and management in ACTIVEMATH
+Normal rank
@@ Property / cites work @@
+Q4413882
@@ Property / cites work: Q4413882 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical forms of type theory
@@ Property / cites work: Practical forms of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+On Correctness of Mathematical Texts from a Logical and Practical Point of View
+Normal rank
@@ Property / cites work @@
+Roles of Math Search in Mathematics
@@ Property / cites work: Roles of Math Search in Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Methods of Relevance Ranking and Hit-content Generation in Math Search
+Normal rank
@@ Property / DBLP publication ID @@
+conf/mkm/CaretteF09
@@ Property / DBLP publication ID: conf/mkm/CaretteF09 / rank @@
+Normal rank