FORMALIZED PROOF, COMPUTATION, AND THE CONSTRUCTION PROBLEM IN ALGEBRAIC GEOMETRY