Approximation

Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning

October 8, 2010 October 8, 2010 / Approximation, Program Derivation, Thinning Theorem

Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata. Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. In the 6th ACM SIGPLAN workshop on Generic programming (WGP 2010), pages 97-108, Sep. 2010. [PDF]

Fully Polynomial-Time Approximation by Thinning

June 17, 2010 August 26, 2013 / Approximation

Code accompanying a forthcoming paper of Yu-Han Lyu, Akimasa Morihata, and me: Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning.