activity
20052026
most citedQuantum theory for electron spin decoherence induced by nuclear spin dynamics in semiconductor quantum computer architectures: Spectral diffusion of localized electron spins in the nuclear solid-state environment

267 citations · 2.2k across the 28 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

Wayne M. Witzel, Warren D. Craft, Robert D. Carr +1

We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal…