There are many algorithms for which it has been mathematically proven that a quantum computer can generate results that would ...

Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...

Tensegrity structures are geometric nonlinear systems and statically and kinematically indeterminate structures that require an initial shape-finding procedure to establish a self-equilibrium state.

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...

We describe using the Newton Krylov method to solve the coupled cluster equation. The method uses a Krylov iterative method to compute the Newton correction to the approximate coupled cluster ...

Novels have inherent power. From building new worlds to reanimating history, they have the ability to enthrall and challenge us. But their most powerful trait is that they offer an escape while still ...

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...

Discrete combinatorial optimization has a central role in many scientific disciplines, however, for hard problems we lack linear time algorithms that would allow us to solve very large instances.

Materials scientists are increasingly adopting the use of machine learning tools to discover hidden trends in data and make predictions. Applying concepts from data science without foreknowledge of ...