Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Chau, Cuong K."'
Publikováno v:
EPTCS 192, 2015, pp. 35-51
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally
Externí odkaz:
http://arxiv.org/abs/1509.06087
Publikováno v:
Data Mining: Foundations & Intelligent Paradigms (9783642231650); 2012, p267-287, 21p
