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.

- p-adic tree drawing for conjectures of p-adic valuations of integer sequences [Mathematica package] [Mathematica notebook of examples]

- I. Gonzalez, K. Kohl, L. Jiu, and V. H. Moll. An Extension of the Method of Brackets. Part 1. To appear in Open Mathematics.
- K. Kohl. From integrals to multi-sum identities. Advances in Applied Mathematics. 2017, 89:102–124.[PDF preprint] [url] [Mathematica notebook]
- 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]