Bijective proofs for Eulerian numbers in types B and D.

Luigi Santocanale

Published in: ALGOS (2020)

Keyphrases

databases
artificial intelligence
theorem proving
database
data sets
machine learning
genetic algorithm
three dimensional
high level
database systems
bayesian networks