Foundations of mathematics

相关论文数: 1

顶级研究者

Noriko Arai

研究机构: —

Takuya Matsuzaki

研究机构: —

Hidenao Iwane

研究机构: —

Hirokazu Anai

研究机构: —

顶尖机构

National Institute of InformaticsJP1 篇论文Fujitsu (Japan)JP1 篇论文Kyushu UniversityJP1 篇论文

最高引用论文

Mathematics by machine

Noriko Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

引用数: 18 • 2014

相关技术

Artificial intelligenceComputer scienceMathematicsMathematics educationEngineeringRange (aeronautics)Foundation (evidence)Natural languageCalculus (dental)Pure mathematics