Search is an important technique in program synthesis that allows for
ad...
Computational notebooks, such as Jupyter notebooks, are interactive comp...
We develop an approach for improving the trustworthiness and overall acc...
We show a new algorithm and its implementation for multiplying
bit-polyn...
In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polyn...
We set new speed records for multiplying long polynomials over finite fi...