AutomationTomRidgeApril12,2005Contents1Introduction...............................................................12Requirements..............................................................13CurrentAutomationinInteractiveProvers.......................................44Techniques...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................125InterfaceandIntegration......................................................126Assessment.....................................................................................................................................................................................................................................................................................................157Alternative................................................................168Conclusion................................................................,,inhighlyabstractmathematicalareas,,automation,ifitisusedatall,isdirectedateasilysolvable,'sTheorem[Rid04].Ontheotherha
英文资料 来自淘豆网www.taodocs.com转载请标明出处.