In this paper an coupled Burgers' equation is considered and then a method entitled interval finite-difference method is introduced to find the approximate interval solution of interval model in level wise cases. Finally for more illustration, the convergence theorem is confirmed and a numerical example is solved.

When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help...