Verification Methods and Symbolic Computations | Kraemer | Albanian Journal of Mathematics (ISNN: 1930-1235)

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

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.

ISNN: 1930-1235
Copyright © 2012 AulonaPress. All rights reserved.