My research interest is in computer algebra,
automated
theorem proving, combinatorics and their "derivatives" or "equivalent
class".
Collaborative Research with Undergraduates
Publications
- 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.
- 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.
- 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.
- 2008/09
- The Naď ve Product Rule for Derivatives, (with
C. Gay and A. Zeleke), College Math. J, 39(2008) 145-148.
- 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.
- 2003/04
- Enhancing Core Mathematics Courses,(with E.
Billings, S. Schlicker, and K. Novtony), PRIMUS, XIV:3 (2004),
230-252.
- 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.
- 2000/01
- A new combinatorial identity(with Joseph
Sinyor and Ted Speevak),Interrnational Journal of Mathematics and
Mathematical Sciences, 25:26(2001) 361-363.
- 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 ]
- 1997/98
My Maple Packages
- MultInt, 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.mpl . It is accessible in MAPLE 8 and above. To use it, download the file:
[ MultInt.txt
]
Then go into Maple, type read `MultInt.txt`;
and follow the instructions given there. If you are using MAPLE 6, download the files:
[ MultInt.txt(the
source code) | maple.hdb(the
help database file) ]
To have access to the help database, set libname
to libname:=libname,`directory path` . Here directory
path, denotes the location of where maple.hdb
resides. To see the current values of the libname,
type libname; in a Maple session. Old
versions of MultInt are still available.
Conference Presentations/Attendance
- 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.
Talks given at Departmental Colloquiums
- 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 MAIN
PAGE