An average case analysis of a resolution principle algorithm in mechanical theorem proving

An average case analysis of a greedy alg

An average case analysis of a greedy algorithm for the on-line Steiner tree problem

✍ Ying Teh Tsai; Chuan Yi Tang; Yunn Yen Chen 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 719 KB

An improved algorithm for analytical gra

An improved algorithm for analytical gradient evaluation in resolution-of-the-identity second-order Møller-Plesset perturbation theory: Application to alanine tetrapeptide conformational analysis

✍ Robert A. Distasio JR.; Ryan P. Steele; Young Min Rhee; Yihan Shao; Martin Head- 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 391 KB 👁 2 views

## Abstract We present a new algorithm for analytical gradient evaluation in resolution‐of‐the‐identity second‐order Møller‐Plesset perturbation theory (RI‐MP2) and thoroughly assess its computational performance and chemical accuracy. This algorithm addresses the potential I/O bottlenecks associat