Pages that link to "Item:Q1940486"
From MaRDI portal
The following pages link to The language of mathematics. A linguistic and philosophical investigation (Q1940486):
Displayed 10 items.
- High-level modelling for typed functional programming (Q832100) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
- Part-of-math tagging and applications (Q2364695) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution (Q2964002) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System (Q5200117) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)
- ProofLang: the language of arXiv proofs (Q6118842) (← links)