Karen T. Kohl
  • Home
  • Teaching
  • Research
  • Personal

Research

Research Interests
My research interests are in symbolic computation, especially algorithms for definite integration and summation problems involving special functions.
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. Errors in the Gradshteyn-Ryzhik table have been discovered through the development of these algorithms.
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 in my research.

My research interests in computational linguistics have included discourse analysis/semantic representation, child language acquisition, and the computational lexicon.




Software

p-adic tree drawing for conjectures of p-adic valuations of integer sequences (package padic_trees.m and notebook of examples)
padic_trees.m
File Size: 1 kb
File Type: m
Download File

padic_tree_examples.nb
File Size: 120 kb
File Type: nb
Download File


Mathematica notebook for the article "From Integrals to multi-sum identities"
brackets-multisum.nb
File Size: 752 kb
File Type: nb
Download File

Publications
  • I. Gonzalez, K. Kohl, L. Jiu, and V. H. Moll. An Extension of the Method of Brackets. Part 1. Open Mathematics.
  • K. Kohl. From integrals to multi-sum identities. Advances in Applied Mathematics. 2017, 89:102–124
  • 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]
Powered by Create your own unique website with customizable templates.
  • Home
  • Teaching
  • Research
  • Personal