[http://www.csis.pace.edu/~scharff/littleengine.jpg]

This web site described the work realized under grant [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0326540 NSF ITR: Little Engines of Proof #0326540] (2003-2007). The grant was awarded to Drs. Natarajan Shankar(PI), Harald Ruess (Co-PI), Ashish Tiwari (Co-PI) (Stanford Research Insitute, SRI), Christopher Lynch (Co-PI) (Clarkson University) and Christelle Scharff (Co-PI) (Pace University).