Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2663683295
@@ Property / OpenAlex ID: W2663683295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448368
@@ Property / cites work: Q5448368 / rank @@
+Normal rank
@@ Property / cites work @@
+Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
+Normal rank
@@ Property / cites work @@
+A fully automatic theorem prover with human-style output
+Normal rank
@@ Property / cites work @@
+The language of mathematics. A linguistic and philosophical investigation
+Normal rank
@@ Property / cites work @@
+Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
+Normal rank
@@ Property / cites work @@
+Proofs and Refutations
@@ Property / cites work: Proofs and Refutations / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies for Parallel Markup
@@ Property / cites work: Strategies for Parallel Markup / rank @@
+Normal rank
@@ Property / cites work @@
+Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
+Normal rank
@@ Property / cites work @@
+Conceptual Structures for Knowledge Creation and Communication
+Normal rank
@@ Property / cites work @@
+A Problem with the Dependence of Informal Proofs on Formal Proofs
+Normal rank
@@ Property / cites work @@
+Intelligent Machinery, A Heretical Theory*
@@ Property / cites work: Intelligent Machinery, A Heretical Theory* / rank @@
+Normal rank
@@ Property / cites work @@
+How can logic best be applied to arguments?
@@ Property / cites work: How can logic best be applied to arguments? / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2364670