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

Also available: the recorded lectures from the 2021 course instance (most in Swedish, some in English). This repository is mainly the home of the DSLsofMath book (originating from the course lecture ...

Susan Gilkerson, a math teacher and school bus driver, stood before a South Dakota education board and issued a warning. The proposed math standards the board was considering — just 36 pages, less ...

Abstract: This article employs geometric algebra (GA) tools to model the dynamics of objects in 3-D space, serving as a proof of concept to facilitate control design for trajectory tracking in ...

The letter “x” often symbolizes something unknown, with an air of mystery that can be appealing. Illustration by Meilan Solly Even though “x” is one of the least-used letters in the English alphabet, ...

Advances in software engineering, software science, computational intelligence, and intelligent mathematics have led to the establishment of Frontiers in Computer Science—Software (FCSS). FCSS aims to ...

remove-circle Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see ...

This paper concerns the more foundational tasks of distributed dense linear algebra. While a single TPU core can already store and operate on large matrices (e.g., of size 16,384, 32,768 in single ...

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 ...

I want to talk about some attempts to connect the Standard Model of particle physics to the octonions. I should start out by saying I don’t have any big agenda here. It’d be great if the octonions — ...