Generation and Verification of Algorithm
โ
L. Kocbach; R. Liska
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 476 KB
Some large scale physical computations require algorithms performing symbolic computations with a particular class of algebraic formulas in a numerical code. Developing and implementing such algorithms in a numerical programming language is a tedious and error prone task. The algorithms can be devel