Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem.

Wenda Li Lawrence C. Paulson

Published in: CPP (2019)

Keyphrases

theorem prover
formal proof
natural deduction
inference rules
theorem proving
higher order logic
first order logic
fourier transform
frequency domain
low order
fourier spectrum
radon transform
shift invariant
fourier domain
translation invariant
series expansion
fourier analysis
von neumann
expert systems
data sets