Automated proof of mixed trigonometric-polynomial inequalities.

Shiping Chen Zhong Liu

Published in: J. Symb. Comput. (2020)

Keyphrases

automated theorem provers
sufficient conditions
semi automated
data driven
automated analysis
real time
neural network
clustering algorithm
search algorithm
basis functions
fully automated
theorem proving
discrete fourier transform
linear inequalities
subtour elimination