Proof of a Conjecture Involving Derangements and Roots of Unity.

Han Wang Zhi-Wei Sun

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

Keyphrases

theorem proving
neural network
search engine
multiresolution
special case
data sets
databases
data mining
database systems
expert systems
information technology
mobile devices
control system
probability distribution
theorem prover
proof planning