Language:
English
繁體中文
Help
圖資館首頁
Login
Jump To :
Overview
Titles
Subjects
Automatic theorem proving - Computer programs.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology /
by:
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Manifolds and Cell Complexes.
Automatic theorem proving
Formal Languages and Automata Theory.
Algebraic Topology.
Symbolic and Algebraic Manipulation.
Processing
...
Change password
Login