Login / Signup
Hiroyuki Okazaki
Publication Activity (10 Years)
Years Active: 1993-2023
Publications (10 Years): 15
Top Topics
Polynomially Bounded
Linear Transformation
Hilbert Spaces
Formal Verification
Top Venues
Formaliz. Math.
ISITA
ICSC
FM4M/MathUI/ThEdu/DP/WIP@CIKM
</>
Publications
</>