Verified @kyoto-u.jp
Japan coast guard academy
O-minimal structure; Real algebraic geometry; Model theory