A Mathematical Language
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an […]
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an […]