共 28 条
- [2] EXTENSION AND APPLICATION OF CETAEV'S THEOREM TO A POWER SYSTEM. Journal Water Pollution Control Federation, 1980, : 552 - 556
- [6] Theorem proving algorithm based on semi-extension rule Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2010, 47 (09): : 1522 - 1529
- [8] BOUNDEDNESS AND LIMITING BEHAVIOR OF TRAJECTORIES OF SYSTEMS DESCRIBED BY MARKOV PROCESSES WITH DISCRETE TIME. Engineering Cybernetics (English translation of Tekhnicheskaya Kibernetika), 1973, 11 (05): : 751 - 758
- [9] Topological Green's Function Zeros in an Exactly Solved Model and beyond Physical Review Letters, 133 (13):