Foundations of mathematics

Related papers: 1

Top Researchers

Noriko Arai

Institution: —

Takuya Matsuzaki

Institution: —

Hidenao Iwane

Institution: —

Hirokazu Anai

Institution: —

Top Institutes

National Institute of InformaticsJP1 paperFujitsu (Japan)JP1 paperKyushu UniversityJP1 paper

Top Cited Papers

Mathematics by machine

Noriko Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

Citations: 18 • 2014

Related Technologies

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