If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ryoya Fukasaku is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Quantifier Elimination
Real Roots
Counting
Algebraically closed
Polynomial Ideals
Quadratic form
Zero-dimensional
Multivariate Polynomials
Polynomial ring
Benchmarking
Software
Saturation
Quantifiers
Maple
Equality
Roots
Real Closed Fields
Efficient Implementation

Engineering & Materials Science

Benchmarking
Polynomials
Algebra
Theorem proving