Elaine Kant, Ada Shuk-Han Yau, Richard Liska, and Stanly Steinberg. A problem-solving environment for generating certifiably correct problems to solve evolution equations. Preprint, March 1995. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Problem Solving Environments for Scientific Simulation - Kenny Hunt (Correct)
....who are typically Fortran programmers and use specialized numerical libraries for core computations. Also, input specifications can be viewed as an extension of F77 and the p Operation idea is very similar to numerical libraries. 1 See reference [11] page 6 4. 3 Sinapse Sinapse [6] 7] [8] is a code synthesis system that emphasizes the generation of correct numerical codes to solve initial boundary value problems (IBVPs) for PDEs using the finite difference method. It uses Mathematica as a math substrate and as the Sinapse programming language itself. Because of its domain ....
Elaine Kant, Ada Shuk-Han Yau, Richard Liska, and Stanly Steinberg. A problem-solving environment for generating certifiably correct problems to solve evolution equations. Preprint, March 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC