Sort by
Refine Your Search
-
expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently
Searches related to electronic structure theory
Enter an email to receive alerts for electronic-structure-theory positions