Mathematics
Harnessing the problem-solving power of quantum computing
Quantum computers are not only set to revolutionize the way we think about computing, but they also hold the potential to change our understanding of the world. The ability to leverage unique quantum phenomena such…
Microsoft Research Colloquium
The Microsoft Research Colloquium at Microsoft Research New England focuses on research in the foundational aspects of computer science, mathematics, economics, anthropology, and sociology. With an interdisciplinary flavor, this colloquium series features some of the…
mai: mathematics interpreter with standard foundations
mai is a free and open-source tool for computer-assisted mathematics (opens in new tab). It includes a comprehensive coverage of the language of mathematics and its ‘standard’ foundations; namely, first-order logic (opens in new tab) and the Zermelo–Fraenkel axioms (opens…
horc: lightweight Horn-clause interpreter
horc is a free and open-source tool for programming with Horn clauses (opens in new tab). Horn clauses are the core of Prolog (opens in new tab) and logic programming (opens in new tab) in general. horc is an extension to Prolog’s interpreter…