Login / Signup

Combinatorial proofs of some properties of tangent and Genocchi numbers.

Guo-Niu HanJing-Yi Liu
Published in: Eur. J. Comb. (2018)
Keyphrases
  • website
  • machine learning
  • bayesian networks
  • optimal solution
  • digital libraries
  • probabilistic model
  • theorem prover
  • theorem proving