Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL.
Alexander MaletzkyPublished in: CICM (2019)
Keyphrases
- theorem prover
- natural deduction
- numerically stable
- inference rules
- lower bound
- upper bound
- theorem proving
- higher order logic
- tight bounds
- polynomial equations
- worst case
- first order logic
- error bounds
- higher order
- formal methods
- neural network
- numerical stability
- methods in computer vision
- operational semantics
- logical framework
- average case
- lower and upper bounds
- vc dimension
- sample size
- multi class
- np hard