Hideyuki Ohtsuka

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Labor Intensive

Attribute Values

Decision Procedures

Top Venues

J. Integer Seq.

Publications

Pedro J. Miana, Hideyuki Ohtsuka, Natalia Romero
Sums of powers of Catalan triangle numbers. Discret. Math. 340 (10) (2017)
Tewodros Amdeberhan, David Callan, Hideyuki Ohtsuka, Roberto Tauraso
Revitalized Automatic Proofs: Demonstrations. Integers 17 (2017)
Richard P. Brent, Hideyuki Ohtsuka, Judy-anne H. Osborn, Helmut Prodinger
Some Binomial Sums Involving Absolute Values. J. Integer Seq. 19 (3) (2016)