A. D. Kennedy Thomas Binoth Thomas Rippon Automating renormalization of quantum field theories. 18-27 2007 conf/issac/2007snc SNC http://doi.acm.org/10.1145/1277500.1277504 db/conf/issac/snc2007.html#KennedyBR07