An implementation of Target Enumeration with the Euler Characteristic

In How is Euler Calculus Going to Change Compressive Sensing ? , Dan mentioned in the comment section that he had written something on this subject (in Haskell): Target Enumeration with the Euler Characteristic. Parts 1 & 2. With regards to the historical addendum of the post, looks to me like Andrew Ng is proving empirically that deep neural networks are on the contrary helping in the resurgence of AI (and dictionary learning for that matter). Of related interest, I note from this entry this connection with counting by John Baez.

Since I first wrote this entry, I have added additional references, here they are:

• Applied Algebraic Topology and Sensor Networks, Robert Ghrist
• Euler-Bessel and Euler-Fourier Transforms, Robert Ghrist, Michael Robinson
• Target enumeration via integration over planar sensor networks by Yuliy Baryshnikov, Robert Ghrist
• Target enumeration via Euler characteristic integrals by Yuliy Baryshnikov, Robert Ghrist
• Euler integration for definable functions by Yuliy Baryshnikov, Robert Ghrist
• Barcodes: The persistent topology of data by Robert Ghrist

The third paper mentions another implementation in Java that will be released after review.