Two shorter proofs on the inverse and differential spectrum of Bracken-Leander exponent.

Published in: Discret. Math. (2022)

Keyphrases

theorem prover
theorem proving
cognitive radio networks
formal proof
mathematical proofs
artificial intelligence
image processing
power law
neural network
real world
learning algorithm
feature selection
bayesian networks
power spectrum
mathematical knowledge
equational theories