Zobrazeno 1 - 3
of 3
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
Autor:
Dawn E. Holmes, Lakhmi C Jain
There are many invaluable books available on data mining theory and applications. However, in compiling a volume titled “DATA MINING: Foundations and Intelligent Paradigms: Volume 1: Clustering, Association and Classification” we wish to introduc