Research Interests My research interests are in symbolic computation, especially algorithms for definite integration and summation problems involving special functions. I have connected recurrence-finding algorithms to these in order to solve a larger class of problems.
My computational interest is the development of symbolic integration algorithms. Experimentation and testing against entries in Gradshteyn & Ryzhik's Table of Integrals has led to modifications of these algorithms. Discovery of errors in the Gradshteyn-Ryzhik table through these methods emphasizes the need for continued study of integration methods.
More recent interests are number-theoretic problems involving integer sequences, including special function values, with recurrences playing roles.
My doctoral advisor was Dr. Victor H. Moll, and I also contribute to his goal of verifying integrals in Gradshteyn-Ryzhik through classical methods. In this process also, we have found and corrected a number of errors.
I use the open-source mathematics software system Sage as well as Mathematica in my research.
My previous research interests in computational linguistics have included discourse analysis/semantic representation, child language acquisition, and the computational lexicon.
I. Gonzalez, K. Kohl, L. Jiu, and V. H. Moll. The method of brackets in experimental mathematics. To appear as Chapter 16 in Frontiers of Orthogonal Polynomials and q-Series, edited by Zuhair Nashed and Xin Li, World Scientific Publishers. [PDF preprint][Publisher page]
S. Bravo, I. Gonzalez, K. Kohl, and V. H. Moll. Integrals of Frullani type and the method of brackets. Open Mathematics, 2017, 15 (1), 1-12.[PDF] [html]
I. Gonzalez, K. T. Kohl, I. Kondrashuk, V. H. Moll, and D. Salinas. The Moments of the Hydrogen Atom by the Method of Brackets. SIGMA 13 (2017), 001, 13 pages [ABS][PDF]
I. Gonzalez, K. T. Kohl, and V. H. Moll. Evaluation of Entries in Gradshteyn and Ryzhik Employing the Method of Brackets. Scientia, Series A: Math. Sciences, 2014, 25. 65-84. [PDF]
L. Glasser, K. T. Kohl, C. Koutschan, V. H. Moll, and A. Straub. The integrals in Gradshteyn and Ryzhik. Part 22: Bessel-K functions. Scientia, Series A: Math. Sciences, 2012, 22, 129-151. [PDF]
K. T. Kohl. Algorithmic Methods for Definite Integration. Ph.D. Thesis. Tulane University. 2011.
K. T. Kohl, V.H. Moll. The integrals in Gradshteyn and Ryzhik. Part 20: Hypergeometric functions. Scientia, Series A: Math. Sciences 21, 2011. [PDF]
K. T. Kohl. An Implementation of the Method of Brackets for Symbolic Integration. Extended Abstract to appear in ISSAC 2010 Proceedings. 2010. [poster PDF]
K. T. Kohl and F. Stan. An Algorithmic Approach to the Mellin Transform Method. In Gems in Experimental Mathematics, T. Amdeberhan, L. A. Medina, V. H. Moll (ed.), Contemporary Mathematics 517, pp. 207-218. 2010. AMS, ISBN 978-0-8218-4869-2. [PDF]
K. T. Kohl. Language Learning in Large Parameter Spaces. AAAI-2000 Proceedings. 2000. [abstract]
K. T. Kohl. An Analysis of Finite Parameter Learning in Linguistic Spaces. Master's thesis, Massachusetts Institute of Technology. 1999. [PDF]
K. T. Kohl et al. "Representing Verb Alternations in WordNet." In C. Fellbaum (Ed.), WordNet: An Electronic Lexical Database. Cambridge: MIT Press. 1998. [preview]
R. C. Berwick, D. Jones, F. Cho, Z. Kahn, K. Kohl, A. Radhakrishnan, U. Sauerland, and B. Ulicny. Issues in Modern Lexical Theory: the (E)VCA Project. In Proceedings of the Post-COLING94 International Workshop on Directions of Lexical Research, Tsinghua University, Beijing, 47-61. 1994.
D. A. Jones, R. C. Berwick, F. Cho, Z. Kahn, K. Kohl, A. Radhakrishnan, U. Sauerland, and B. Ulicny. Verb Classes and Alternations in Bangla, German, English, and Korean. MIT Artifiical Intelligence Lab Tech Report AIM-1517. 1994. [PDF]