共 50 条
- [43] A SIMPLE NEW PROOF OF MEAN VALUE THEOREMS FOR CERTAIN ELLIPTIC EQUATIONS AMERICAN MATHEMATICAL MONTHLY, 1963, 70 (04): : 379 - &
- [45] A SIMPLIFIED PROOF OF THE EPSILON THEOREMS REVIEW OF SYMBOLIC LOGIC, 2024, 17 (04): : 1248 - 1263
- [47] Proof search and proof check for equational and inductive theorems AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 297 - 316