Benchmarking energy calculations using formal proofs

Uloženo v:

Podrobná bibliografie
Vydáno v:	Molecular physics
Hlavní autoři:	Ugwuanyi, Ejike D., Jones, Colin T., Velkey, John, Josephson, Tyler R.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	11.08.2025
ISSN:	0026-8976, 1362-3028
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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