Login / Signup
Petr Harasim
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Error Estimates
Model Checking
Support Vector
Functional Verification
Top Venues
Kybernetika
</>
Publications
</>
Petr Harasim
,
Jan Valdman
Verification of functional a posteriori error estimates for obstacle problem in 2D.
Kybernetika
50 (6) (2014)
Petr Harasim
,
Jan Valdman
Verification of functional a posteriori error estimates for obstacle problem in 1D.
Kybernetika
49 (5) (2013)