Return to Article Details PROBLEMS IN MATHEMATICAL THEOREMS AND SOFTWARE TECHNOLOGY Download Download PDF