Automatic pre- and postconditions for partial differential equations

2021 ◽  
pp. 104860
Author(s):  
Michele Boreale
2020 ◽  
Author(s):  
A. K. Nandakumaran ◽  
P. S. Datti

Sign in / Sign up

Export Citation Format

Share Document