共 50 条
- [32] The proof of an extension of Melan's theorem at large strains ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 2000, 80 : S447 - S448
- [37] An extension rule based first-order theorem prover KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2006, 4092 : 514 - 524
- [39] A THEOREM OF LARGE DEVIATIONS AND A CENTRAL LIMIT-THEOREM FOR SOME PRODUCTS OF RANDOM MATRICES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1980, 290 (12): : 559 - 562