My research is in the field of computational algebra and symbolic computation. I am particularly interested in the practical applications of Gröbner bases and quantifier … 続きを読む FUKASAKU, Ryoya