共 50 条
- [35] Pair-correlation effect and virial theorem in the self-consistent density-functional theory PHYSICAL REVIEW A, 2005, 71 (05):
- [36] ASYMPTOTIC FORM OF PAIR-CORRELATION FUNCTION IN LIQUIDS PHYSICAL REVIEW A, 1972, 5 (06): : 2629 - &
- [37] 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,
- [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] Existence of solutions of first-order differential equations via a fixed point theorem for discontinuous operators FIXED POINT THEORY AND APPLICATIONS, 2015, : 1 - 10