Towards Self-Verification in Finite Difference Code Generation
Keyword(s):
2003 ◽
Vol 8
(1)
◽
pp. 3-18
◽
2001 ◽
Vol 6
(2)
◽
pp. 3-14
◽
2015 ◽
Vol E98.A
(12)
◽
pp. 2494-2504
◽
2001 ◽
Vol 3
(1)
◽
pp. 9
◽
Keyword(s):
2008 ◽
Vol 6
(4)
◽
pp. 349-360
◽
Keyword(s):
2016 ◽
Vol 14
(2)
◽
pp. 113-134
◽