5 citations · 15 across the 11 of their papers we have counts for
Showing 2003 · cs.CCShow all
2 papers · 2 filters
cs.CC2003
Machine-Checked Formalization of Earlier Arguments on versus Using Isabelle/HOL
Craig Alan Feinstein
This letter revisits an earlier argument concerning versus based on the SUBSET-SUM problem and examines its formalization in Isabelle/HOL. The formal dev…
cs.CC2003
A mathematical definition of "simplify"
Craig Alan Feinstein
Even though every mathematician knows intuitively what it means to "simplify" a mathematical expression, there is still no universally accepted rigorous mathematical definition of…