Advertisement

Search Results

Showing results for "Mathematics Formalisation"

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)

Clara Löh
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences Book 11)

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences Book 11)

Clara Löh
Formalising the hierarchical structure of practical mathematical reasoning (Technical report. University of Queensland. Dept. of Computer Science)

Formalising the hierarchical structure of practical mathematical reasoning (Technical report. University of Queensland. Dept. of Computer Science)

Peter Robinson