Albanian Journal of Mathematics (ISNN: 1930-1235), Vol 4, No 4 (2010)

Font Size:  Small  Medium  Large

Verification Methods and Symbolic Computations

Walter Kraemer

Abstract


The copy function does not work in this environment! Please take the abstract from the Tex-file.

Full Text: PDF

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Google+