Login / Signup
Tomohito Yabu
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Provably Correct
Real Numbers
Partial Derivatives
Interval Arithmetic
Top Venues
CoRR
J. Comput. Appl. Math.
</>
Publications
</>
Daisuke Ishii
,
Tomohito Yabu
Computer-assisted verification of four interval arithmetic operators.
J. Comput. Appl. Math.
377 (2020)
Daisuke Ishii
,
Tomohito Yabu
Computer-Assisted Verification of Four Interval Arithmetic Operators.
CoRR
(2020)