Mathscape and molecular integrals
From MaRDI portal
Publication:2457421
DOI10.1016/j.jsc.2006.07.002zbMath1151.92037OpenAlexW2018806666WikidataQ73883851 ScholiaQ73883851MaRDI QIDQ2457421
Publication date: 23 October 2007
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2006.07.002
symbolic integrationcomputational chemistryfunctional compositionspecial functions of mathematical physicshigh level symbolic languagesmechanized proof procedures
Symbolic computation and algebraic computation (68W30) Molecular structure (graph-theoretic methods, methods of differential topology, etc.) (92E10)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fast evaluation of molecular auxiliary functions \(A_{\alpha }\) and \(B_{n}\) by analytical relations
- Summing \(P_ n(\cos \,\theta)/p(n)\) for certain polyonomials p(n)
- Implicit rule formation in symbolic computation
- Hierarchical addressing in symbolic computation
- Rational approximants to evaluate four-center electron repulsion integrals for \(1s\) hydrogen Slater type functions
- Symbolic programming language in molecular multicenter integral problem
- Use of symbolic algebra in the calculation of hyperspherical harmonics
- Modular chemical geometry and symbolic calculation
- Symbolic computation of integrals by recurrence
- The Theorema Environment for Interactive Proof Development
- The termination of the afferent nerve fibre in the muscle spindle of the frog
This page was built for publication: Mathscape and molecular integrals