共 50 条
- [31] VIRIAL THEOREM AND FIRST-ORDER PERTURBATION THEORY JOURNAL OF PHYSICS PART C SOLID STATE PHYSICS, 1970, 3 (01): : 23 - +
- [32] Subsumption Demodulation in First-Order Theorem Proving AUTOMATED REASONING, PT I, 2020, 12166 : 297 - 315
- [33] Pair-correlation functions and phase separation in a two-component point Yukawa fluid JOURNAL OF CHEMICAL PHYSICS, 2006, 124 (05):
- [35] Holistic Deductive Framework Theorem Proving Based on Standard Contradiction Separation For First-Order Logic 2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
- [36] Pair-correlation effect and virial theorem in the self-consistent density-functional theory PHYSICAL REVIEW A, 2005, 71 (05):
- [37] PAIR-CORRELATION EFFECTS IN SYSTEM OF COUPLED ROTATORS JOURNAL OF CHEMICAL PHYSICS, 1964, 41 (07): : 1937 - +
- [38] Existence of solutions of first-order differential equations via a fixed point theorem for discontinuous operators FIXED POINT THEORY AND APPLICATIONS, 2015, : 1 - 10
- [39] THEOREM OF CAUCHY-KOWALEVSKY FOR FIRST-ORDER LINEAR DIFFERENTIAL EQUATIONS WITH DEGENERATE PRINCIPAL SYMBOLS PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (02): : 83 - 87
- [40] ASYMPTOTIC FORM OF PAIR-CORRELATION FUNCTION IN LIQUIDS PHYSICAL REVIEW A, 1972, 5 (06): : 2629 - &