共 50 条
- [42] Tutorial on interactive theorem proving using type theory COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 578 - 578
- [43] Hybrid interactive theorem proving using Nuprl and HOL AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 351 - 365
- [44] Dynamical system proof of Fermat's little theorem: An alternative approach MALAYSIAN JOURNAL OF FUNDAMENTAL AND APPLIED SCIENCES, 2018, 14 (03): : 331 - 333
- [46] PROOF OF WALSHS APPROXIMATION THEOREM USING FUNCTIONAL-ANALYSIS JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1975, 274 : 158 - 163
- [47] A Proof of Bertrand’s Theorem Using the Theory of Isochronous Potentials Journal of Dynamics and Differential Equations, 2019, 31 : 2017 - 2028
- [48] Elementary Algebra Proof Exercises Using a Theorem Proving System PRACTICAL APPLICATIONS OF INTELLIGENT SYSTEMS, 2011, 124 : 275 - 280