Proof of Chapoton's Conjecture on Newton Polygons of q-Ehrhart Polynomials.

Jang Soo Kim U.-Keun Song

Published in: Electron. J. Comb. (2018)

Keyphrases

theorem prover
convex hull
linear logic
automated theorem proving
hermite transform
database
machine learning
artificial intelligence
objective function
least squares
low order
gauss newton