Generation and verfication of algorithms for symbolic-numeric processing

DOI10.1006/JSCO.1997.0182zbMath0908.65116OpenAlexW2095574688MaRDI QIDQ1264454

Ladislav Kocbach, Richard Liska

Publication date: 8 March 1999

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1997.0182

zbMATH Keywords

algorithmssymbolic computationscomputer algebra systemCoulomb interactionatomic collisionsymbolic-numeric processing

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Electromagnetic interaction; quantum electrodynamics (81V10) PDEs in connection with quantum mechanics (35Q40) Atomic physics (81V45) Applications to the sciences (65Z05) Complexity and performance of numerical algorithms (65Y20)

This page was built for publication: Generation and verfication of algorithms for symbolic-numeric processing