Akalu Tefera's Scholarly Actvities

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

Collaborative Research with Undergraduates

Publications

2022/23

The Laplace Transform Simplifies an Integral, (with A. Amdeberhan), American Mathematical Monthly, 130(4), 385- 394, 2023.
On Proofs of Generalized Knuth's Old Sum (with A. Zeleke), INTEGERS: Electronic Journal of Combinatorial Number Theory, #A99, 2023.

2020/21

On Proofs of Combinatorial Identities, (with R. Bianconi, M. Elia, A. Zeleke), Involve, 14(4), 697-702, 2021

2017/18

A Hypergeometric Identity, American Mathematical Monthly, Problems & Solutions, 125(7), 660 - 668, 2018.

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
- Sum of a Sequence of Floors and Ceilings (with Mathias Beck and Melkamu Zeleke , Mathematics Magazine, 71, no. 5(1998), 390-391. [ PDF | PS ]

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

The annual meeting of Michigan Section of the MAA and MichMATYC, GVSU, April 3-4, 2020.
The Annual Meeting of Michigan Section of the MAA and MichMATYC, Alma College, March 31- April 1, 2023.
The Annual Joint Mathematics Meetings, Atlanta, GA, January 4-7, 2016.
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

Central Michigan University Math Dept. Seminar, Combinatorial and Computerized Proofs of Ruehr’s Identities, invited colloquium talk, April 7, 2017.
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.

Some Useful Links ...

to the MAIN PAGE