Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem.

Wenda Li Lawrence C. Paulson

Published in: CoRR (2018)

Keyphrases

theorem prover
formal proof
natural deduction
inference rules
first order logic
theorem proving
fourier transform
higher order logic
fourier spectrum
frequency domain
von neumann
radon transform
series expansion
fourier series
fourier analysis
low order
neural network
sufficient conditions
artificial intelligence