Akalu Tefera's Scholarly Actvities

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

Publications

2006/07
- Computerized Proof Techniques for Undergraduates, submitted.
2005/06
- Unusual Rules of Derivatives Inspired by Common Mistakes in Calculus, (with C. Gay and A. Zeleke), submitted.
2004/05
- 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.
- On Proofs of Certain Combinatorial Identities, (with G. Grossman and A. Zeleke), Proceedings of the 11th International Conference on Fibonacci Numbers and their Applications.
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. [ DVI | 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. [ DVI | 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.mpl ] Then go into Maple, type read `MultInt.mpl`; and follow the instructions given there. If you are using MAPLE 6, download the files: [ MultInt.mpl(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.
Mint, a Maple package for Multiple Integration of proper-hypergeometric functions by the continuous version of the multi-WZ Method. To use it, download it as Mint3, go into Maple, type read `Mint3`; and follow the instructions given there. This version of Mint runs only on Maple V release 3 or 2. For Maple V release 4 and above Mint4+ is the upgraded version of Mint3. [ README | Mint(old version) | Mint3 | Mint4+ ]
SMint, This is the version of the Maple package Mint (the old version), specifically written for multiple integration of proper-hyeprgeometric functions which are SYMMETRIC wrt the integration variables. To use it, download it as SMint, go into Maple, type read `SMint`; and follow the instructions given there. Version of June, 1999. [ README | SMint ]

Conference Presentations/Attendance

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., 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 ...

$Return$ to the MAIN PAGE