Login / Signup
Short proof of a theorem of Brylawski on the coefficients of the Tutte polynomial.
Csongor Beke
Gergely Kál Csáji
Péter Csikvári
Sára Pituk
Published in:
Eur. J. Comb. (2023)
Keyphrases
</>
interactive theorem proving
linear combination
low order
data sets
linear logic
real time
case study
multiscale
knowledge base
wavelet coefficients
basis functions
theorem prover
theorem proving
wavelet packet
artificial intelligence
neural network
logical rules