Program certification with computational effects

CoRR, 2014.

Cited by: 0|Bibtex|Views1|Links
EI

Abstract:

Dynamic evaluation is a paradigm in computer algebra which was introduced for computing with algebraic numbers. In linear algebra, for instance, dynamic evaluation can be used to apply programs which have been written for matrices with coefficients modulo some prime number to matrices with coefficients modulo some composite number. A wa...More

Code:

Data:

Your rating :
0

 

Tags
Comments