Benchmarking energy calculations using formal proofs

Saved in:

Bibliographic Details
Published in:	Molecular physics
Main Authors:	Ugwuanyi, Ejike D., Jones, Colin T., Velkey, John, Josephson, Tyler R.
Format:	Journal Article
Language:	English
Published:	11.08.2025
ISSN:	0026-8976, 1362-3028
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	0026-8976 1362-3028
DOI:	10.1080/00268976.2025.2539421