29 citations · 56 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.AC2023★ 1 cited
Existence and Construction of a Gröbner Basis for a Polynomial Ideal
Deepak Kapur, Paliath Narendran
This extended abstract gives a construction for lifting a Gröbner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits…
quant-ph2023★ 7 cited
Verifying Quantum Phase Estimation (QPE) using Prove-It
Wayne M. Witzel, Warren D. Craft, Robert Carr +1
The general-purpose interactive theorem-proving assistant called Prove-It was used to verify the Quantum Phase Estimation (QPE) algorithm, specifically claims about its outcome pro…