Skip to main content
MathOverflow
Hideaki Okazaki's user avatar
Hideaki Okazaki's user avatar
Hideaki Okazaki's user avatar
Hideaki Okazaki
  • Member for 9 years, 2 months
  • Last seen more than 9 years ago
Profile Activity
Stats
201
reputation
2k
reached
0
answers
1
question
Communities
About

My interest is to make some tools for computer assisted proof method. I teach control and programming at Shonan Institue of Technology, Japan.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
19
Are the following identities well known?
Oct 9, 2015