Foundations of mathematics

Related papers: 1

Top Researchers

Noriko Arai

Institution: —

Takuya Matsuzaki

Institution: —

Hidenao Iwane

Institution: —

Hirokazu Anai

Institution: —

Top Cited Papers

Mathematics by machine

Noriko Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

Citations: 18 • 2014

Related Technologies

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