SOURCE-LINKED INTELLIGENCE

Mathematicae Lingua Franca: Bridging the Linguistic Gap Between the Mathematician and the Machine

CORDIS · observation · Publication date unknown

and requires to understand the dynamics of the discursive linguistic process which underlines mathematics. Building on advances of linguistics, mathematical logic, programming language semantics and machine learning, we will contribute significantly to the rise of a new generation of proof assistants, integrating at their heart a linguistic layer and automated guidance tools for mathematical proofs, theorems and definitions. The resulting high-level manipulation of concepts will lead to novel research outcomes supporting the daily activity of mathematical scientists. proof assistants, linguistic of mathematics, intelligent proof search, smart mathematics technology

Read original source ↗ Open in workspace

recordType

award

status

SIGNED

region

EU

value

9981317

unit

EUR