*My research interest is in computer algebra,
automated
theorem proving, combinatorics and their "derivatives" or "equivalent
class".*

- Combinatorial Sums and Identities: 2015 GVSU REU
- Combinatorial Sums and Identities: 2014 GVSU REU
- Combinatorial
Identities: 2012 GVSU REU

- Combinatorial Identities: Summer 2010 NSA REU (MSU)
- Symbolic
Summation and Identity Proving:2009 GVSU REU
- For REU Participants: LaTeX Tutorial - Sample Files

- 2015/16
- Combinatorial Proofs of Certain Identities, (with A. Zeleke), in prepapration.
- On Proofs of Combinatorial Identities (with R. Bianconi and M. Elia), in prepapration.
- 2013/14
- Proofs of Ruehr’s Identities, (with S.Meehan, M. Weselcouch, and A. Zeleke), INTEGERS: Electronic Journal of Combinatorial Number Theory, #A10, 2014.
- Curious Relations and Identities Involving the Catalan Generating Function and Numbers, (with A. Nkwanta), Journal of Integer Sequences, Vol. 16 (2013), Article 13.9.5.
- 2011/12
- Computerized proof techniques for undergraduates, (with C. J.
Smith and A. Zeleke), International
Journal of Mathematical Education in Science &Technology,
DOI:10.1080/0020739X.2011.644335, 2012.

- Computerized proof techniques for undergraduates, (with C. J.
Smith and A. Zeleke), International
Journal of Mathematical Education in Science &Technology,
DOI:10.1080/0020739X.2011.644335, 2012.
- 2010/11
- Combinatorial and Automated Proofs of Certain Identities,
(with J. Brereton, A. Farid, M. Karnib, G, Marple, A. Quenon),
*Electronic Journal of Combinatorics,*Vol. 18(2), P14, 2011. - A Wilf-Zeilberger Approach to Sums of Choi, Zörnig and Rathie
(with S. Dahlberg and T. Ferdinands),
*Quaestiones Mathematicae*, Vol. 33, 2010, 341-346. - W H A T I S
a Wilf-Zeilberger Pair?,
*The NOTICES of the AMS*, Vol. 57, No. 4, April, 2010, pp. 508–509.

- Combinatorial and Automated Proofs of Certain Identities,
(with J. Brereton, A. Farid, M. Karnib, G, Marple, A. Quenon),
- 2009/10
- On Representation of Certain Real Numbers
Using Combinatorial Identities (with A. Zeleke, G. Grossman),
*International Journal of Pure and Applied Mathematics*, Vol. 55, no. 3, 2009, 451-460. - Freshman Rules in Calculus (with A. Zeleke),
*International Journal of Mathematics Education in Science and Technology*, 99999:1, 2009. - On proofs of certain combinatorial identities
(with A. Zeleke, G. Grossman),
*Congressus Numerantium, Proceedings of the 11th International Conference on Fibonacci Numbers and their Applications, Braunschweig, Germany*, 194, 2009, 123-128.

- On Representation of Certain Real Numbers
Using Combinatorial Identities (with A. Zeleke, G. Grossman),
- 2008/09
- The Naď ve Product Rule for Derivatives, (with
C. Gay and A. Zeleke),
*College Math. J*, 39(2008) 145-148.

- The Naď ve Product Rule for Derivatives, (with
C. Gay and A. Zeleke),
- 2005-07
- Summation Identities for Representation of
Certain Real Numbers, (with G. Grossman and A. Zeleke),
*International Journal of Mathematics and Mathematical Sciences*, Volume 2006, Article ID 78739, 8 pages.

- Summation Identities for Representation of
Certain Real Numbers, (with G. Grossman and A. Zeleke),
- 2003/04
- Enhancing Core Mathematics Courses,(with E.
Billings, S. Schlicker, and K. Novtony),
*PRIMUS*, XIV:3 (2004), 230-252.

- Enhancing Core Mathematics Courses,(with E.
Billings, S. Schlicker, and K. Novtony),
- 2002
- A new triple sum combinatorial identity(with
Joseph Sinyor ),
*International Journal of Mathematics and Mathematical Sciences*, 31:12 (2002), 761-763. - MultInt, a Maple Package for Multiple
Integration by the WZ Method,
*Journal of Symbolic Computation*, 34:5 (2002), 329-353.

- A new triple sum combinatorial identity(with
Joseph Sinyor ),
- 2000/01
- A new combinatorial identity(with Joseph
Sinyor and Ted Speevak),
*Interrnational Journal of Mathematics and Mathematical Sciences*, 25:26(2001) 361-363.

- A new combinatorial identity(with Joseph
Sinyor and Ted Speevak),
- 1999
- A Multiple Integral Evaluation Inspired by The
Multi-WZ Method ,
*Electronic Journal of Combinatorics*, N2, Vol. 6 (1), 1999.[ PDF | PS | Associated Maple Package ]

- A Multiple Integral Evaluation Inspired by The
Multi-WZ Method ,
- 1997/98
- Sum of a Sequence of Floors and Ceilings (with
Mathias Beck
and Melkamu Zeleke
,
*Mathematics Magazine*,**71**, no. 5(1998), 390-391.[ PDF | PS ]

- Sum of a Sequence of Floors and Ceilings (with
Mathias Beck
and Melkamu Zeleke
,

, a Maple package for Multiple Integration of proper-hypergeometric functions by the continuous version of the multi-WZ Method. The file name of the package is called*MultInt*. It is accessible in MAPLE 8 and above. To use it, download the file:**MultInt.mpl**[ MultInt.txt ] Then go into Maple, typeand follow the instructions given there. If you are using MAPLE 6, download the files:**read `MultInt.txt`;**[ MultInt.txt(the source code) | maple.hdb(the help database file) ] To have access to the help database, setto**libname**. Here**libname:=libname,`directory path`**, denotes the location of where**directory path**resides. To see the current values of the**maple.hdb**, type**libname**in a Maple session. Old versions of MultInt are still available.**libname;**

- On Proofs of Certain Combinatorial Identities, talks given at the AMS Sectional Meeting-Loyola University Chicago, October 3, 2015.

- 2014 Fall Teaching Conference, GVSU, August, 2014.

- The 12th International Permutation Patterns Conference, East Tennessee State University, Johnson City, TN, July 7-11, 2014.

- The Annual Joint Mathematics Meetings, Baltimore, MD, January 15-18, 2014.
- 2013 Fall Teaching Conference, GVSU, August, 2013.
- The Annual Joint Mathematics Meetings, San Diego, CA, January 9-12, 2013.
- 2012 Fall Teaching Conference, GVSU, August, 2012.
- Michigan REU Conference, Michigan State University, July 13, 2012.

- The annual meeting of Michigan Section of the MAA and MichMATYC, Western Michigan University, Kalamazoo, MI, May 6-7, 2011.
- A Wilf-Zeilberger Approach to
Sums of Choi, Zornig and Rathie, a talk given at the Annual
Joint Mathematics Meetings, New Orleans, LA, January 6, 2011.

- 2010 Fall Teaching Conference, GVSU, August, 2010.
- MathFest, Summer MAA Meetings, Pittsburgh, PA, August 5-7. 2010.
- Central Michigan and Michigan State Universities REU Conference, Central Michigan University, July, 2010.
*On Proofs Certain Summation Identities*, talks given at the GVSU Math Dept. Research Seminar, April, 2010.*Combinatorial Proofs of Certain Identities*, talks given at the 2010 Joint Mathematics Meet- ings, San Francisco, CA, January 13, 2010.*Computerized Proof Techniques (part I and II*), talks given at the Addis Ababa University, Ethiopia, April, 2009*LaTeX tutorial*, workshop given to the 2009 REU participants, GVSU, June 15, 2009.*Computerized and Combinatorial Proof Techniques*, talks given to the 2009 REU participants,June 15, 2009.- Michigan REU Conference, Central Michigan University, July 20, 2009.
- 2009 Fall Teaching Conference, GVSU, August 26, 2009.
- Grading Tactics, a workshop held at GVSU, August 23, 2009.
- MathFest, Summer MAA Meetings, Portland, OR, August 6-8, 2009.
- The 12th Annual Michigan Undergraduate Mathematics Conference (MUMC), Wayne State University, October 17, 2009, Detroit, MI.
*Introductory Workshop on Combinatorial Representation Theory*, The Mathematical Sciences Research Institute (MSRI), Brekeley, CA, Jan. 22-25, 2008.*AMS Special Session on Applications of Computer Algebra in Enumerative and Algebraic Combinatorics*,Joint Mathematics Meetings San Diego, CA, January 6-9, 2008.*Michigan Undergraduate Mathematics Conference (MUMC)*, Michigan State University, October 27, 2007, East Lansing, MI.*19th International Conference on Formal Power Series and Algebraic Combinatorics*, Nankai University, Tianjin, China, July 2-6, 2007.*The Annual Joint Mathematics Meetings*, January 5-8, 2007, New Orleans, LA.*Discrete Math Days in the Northeast*, College of the Holy Cross. November 11, 2006.*Special Session on Algebraic and Analytic Combinatorics*, 2006 Fall Eastern Section Meeting Storrs, CT, October 28-29, 2006.*On Proofs of Certain Combinatorial Identities*, poster presentation at the 2006 Harvey Mudd College Mathematics Conference on Enumerative Combinatorics, Oct. 7, 2006, Claremont, California.*On Proofs of Certain Combinatorial Identities*, talk given at the annual Joint Meetings, January 13, 2006, San Antonio, TX.*MathFest 2005*, August 4-6, 2005, Albuquerque, NM.*On Proofs of Certain Combinatorial Identities*, talk given at the annual meeting of Michigan Section of the MAA and MichMATYC, April 29, 2005, Alma, MI.*Michigan Undergraduate Mathematics Conference (MUMC), Central Michigan University*, October 30, 2004, Mt Pleasant, MI.*Building Connections Between High School and College Discrete Mathematics*, a workshop given (with K. Novtony) at the 2004 MCTM Conference (Renaissance Visions : Connecting Mathematics), October 29, 2004, Detroit, MI.*MultInt: A Maple Package for Multiple Integration*, a talk given at the 2004 Maple Summer WorkShop, July 11-14, 2004, Wilfrid Laurier University, Waterloo, ON, Canada.*A Brief Tour of MultInt: A Maple Package for Multiple Integration*, a talk given at the 2004 East Coast Computer Algebra Day(ECCAD), May 8, 2004, Wilfrid Laurier University, Waterloo, ON, Canada.*Enhancing Discrete Mathematcis*, talk given (with D. Coffey and K. Novtony) at the Conversation Among Colleagues: Collaborating to Improve the Mathematical Education of Our Students Conference held at Grand Valley Univ, March 20, 2004.*Stat/Math Teacher Education: Assessment, Methods, and Strategies (TEAMS) Conference*, October 30-November 1, 2003, University of Georgia, Athens, GA.*Enhancing the Mathematical core*, talk given at the annual meeting of Michigan Section of the MAA and MichMATYC, May 3, 2003, Saginaw Valley State University, University Center, MI.*DIMACS 2002 Reconnect Conference*, August 11-17, 2002, Piscataway, NJ.*Mathfest, Summer MAA Meetings*, August 2-4, 2002, Burlington, VT.*DIMACS (the Center for Discrete Mathematics and Theoretical Computer Science) 2002 Reconnect Program*, August 11-17, 2002 ,Piscataway, NJ.*Pew FTLC workshop on "Teaching in America"*, October 16, 2002 , GVSU.*Michigan Undergraduate Mathematics Conference (MUMC)*, February 16, 2002, Calvin College, Grand Rapids, MI .*The Annual Joint Mathematics Meetings*,January 6-9, 2002 San Diego, CA.*Mathfest, Summer MAA Meetings*, August 2-4, 2001, Madison, WI.- MultInt, a Maple Package for Multiple Integration
by the WZ Method, ,
*talk will be given at the Joint Mathematics Meetings, AMS Special Session on Integrals and Series Throughout Mathematics, January 10, 2001, New Orleans.* - Complete Automation of the Continuous Multi-WZ
Method,
*talk given at the AMS-MAA-SIAM Joint Mathematics Meetings, The Difference Equations and Their Applications in Social and Natural Sciences I Special Session, January 21, 2000, Washington, DC.* - A Tutorial on
*Mint*,*(with Prof. Doron Zeilberger) at a Conference on Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics , University of Florida, November 12, 1999.* - Towards Complete Automation of the Continuous
Multi-WZ,
*talk given at the 1999 Seaway Number Theory Conference, Penn Sate University, March 27-28, 1999.* - A Quick
Review of The WZ Theory,
*talk given at the MAA (EPADEL) Conference at Lehigh University, Nov. 7 1998.* - Multi-Variable Rational Functions,
*talk given at the AMS-IMS-SIAM Joint summer Research Conference on q-series, combinatorics and computer algebra (June 21-25,1998), Mount Holyoke College, South Hadley, MA.*

*GVSU Math Dept. Seminar*, On Proofs Certain Summation Identities, April 1, 2010.*GVSU Math Dept.*, My Sabbatical Experience at MIT, November 6, 2007.*University of Massachusetts Boston Math Dept.*, Computer-generated and Combinatorial Proofs of Certain Identities, invited colloquium talk, March 26, 2007.*Central Michigan University Math Dept.*, On Proofs of Certain Combinatorial Identity, invited colloquium talk, October 13, 2006.*GVSU Math Dept.*, Hypergeometric Summations with Computers,(with student Chris Smith), October 18, 2005.*GVSU Math Dept.*, Enhancing Math 345, April 2003.*Calvin College*, Proving Binomial Single- Sum Identities by using Computer-An Introduction to the WZ Method, December 5, 2002, Grand Rapids, Mi*GVSU Math Dept. Seminar*, Introduction to Voronoi Diagrams and their Applications, October 2002, Allendale, Mi.*Alma College*, Proving and Discovering Mathematical Identities by using a Computer! - A Quick Introduction to the WZ Method, March 2002, Alma, MI.*Grand Valley Sate University Math/Stat Club*, Can a Computer Prove Theorems?- A Quick Intoduction to the WZ Method, , Nov. 8, 2000, Allendale, MI.*Grand Valley Sate University Mathematics Colloquium*, Complete Automation of the Continuous Multi-WZ Method, , Feb. 22, 2000, Allendale, MI.*Moravian College Mathematics Colloquium*, A Quick Review of the WZ Theory, , Feb. 18, 2000, Bethlehem, PA.*Colorado College Mathematics Colloquium*,Complete Automation of the Continuous Multi-WZ Method,*talk given at , Feb. 15, 2000, Colorado Springs, Colorado.**Colorado College Mathematics Colloquium*, A Quick Review of the WZ Theory, Feb. 14, 2000, Colorado Springs, Colorado.

to the