in symbolic-numeric combined computations, an algorithm stabilization technique proposed by shirayanagi and sweedler is used effectively. the technique is accomplished by the interval arithmetic and zero-rewriting for given algorithm. they already proved the algorithm stabilization theorem for the case that input algorithm are algebraic and input values are exact. however, applications of the technique are limited, today.
therefore, we developed a system which performs to transform an input program to stabilized one automatically. input program to the system is restricted to a program written in asir language.
in this paper, we discuss the system which performs to transform numerical com-putational program in C language to stabilized one in asir language automatically. inputs of the system are program of numerical computations and written in C language. outputs of the system are stabilized programs which are executed in compute algebra system risa/asir. thus, the system is seemed as a program converter from a numeric program to a stabilized program.
|
|