Concepedia

Hidenao Iwane

HI

6

Publications

137

Citations

6

H-Index

2009

Active since

Affiliations

Fujitsu (Japan)(Current)

National Institute of Informatics

Rikkyo University

Kyushu University

Hidenao Iwane is an author at Fujitsu (Japan) specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningNumerical AnalysisDiscrete MathematicsLanguageEducationReasoningSemantics

Publications per year

2009–2017

6

Publications

6

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai et al. · 2009 · 36 citations

Numerical Analysis, Symbolic Manipulation, Effective Implementation +10

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 23 citations · Full text

Engineering, Semantics, Mathematical Linguistics +19

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai et al. · Theoretical Computer Science · 2012 · 22 citations

Numerical Analysis, Symbolic Manipulation, Effective Implementation +3

Semantic Parsing of Pre-university Math Problems

Takuya Matsuzaki, Takumi Ito, Hidenao Iwane et al. · 2017 · 20 citations · Full text

Mathematics by machine

Noriko Arai, Takuya Matsuzaki, Hidenao Iwane et al. · 2014 · 18 citations

Artificial Intelligence, Mathematics Education, Todai Robot Project +15

Rows per page

1–5 of 6