The Theorema project is sponsored by Project SFB 1302 of the Austrian Science Foundation (FWF) and Project Prove of the Upper Austrian Government.