Improving real analysis in coq: a user-friendly approach to integrals and derivatives

CPP, pp. 289-304, 2012.

Cited by: 15|Bibtex|Views0|Links
EI
Keywords:
improving real analysisuser-friendly approach

Code:

Data:

Your rating :
0

 

Tags
Comments