Foundations of mathematics

相关论文数: 1

顶级研究者

Noriko Arai

研究机构: —

Takuya Matsuzaki

研究机构: —

Hidenao Iwane

研究机构: —

Hirokazu Anai

研究机构: —

最高引用论文

Mathematics by machine

Noriko Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

引用数: 18 • 2014

相关技术

Artificial intelligence Computer science Mathematics Mathematics education Engineering Range (aeronautics)Foundation (evidence)Natural language Calculus (dental)Pure mathematics