Login / Signup
Combinatorial proofs of some properties of tangent and Genocchi numbers.
Guo-Niu Han
Jing-Yi Liu
Published in:
Eur. J. Comb. (2018)
Keyphrases
</>
website
machine learning
bayesian networks
optimal solution
digital libraries
probabilistic model
theorem prover
theorem proving