I extensively use mathematical experimentation as part of my research. In particular, I regularly write Maple programs which either directly solve or help me solve problems. Here are some of them.

• RS - For studying the Razumov-Stroganov conjecture using Alternating Paths for this paper. A package written by Doron Zeilberger for the same study is FPL.
• Ferrers - Umbral operators for Wicketed and Gated Ferrrers diagrams. All the assertions of this paper can be checked here.
• TASEP - Basic analysis of different kinds of totally asymmetric simple exclusion processes - open, closed and restricted. Calculates steady state probabilities, densities and two point correlations.
• POLYMER - Analysis of directed walks (as models of polymers) in a strip of arbitrary finite size as well as the infinite quarter plane. It calculates quantities of mathematical interest such as generating functions as well as those of physical interest such as the free energy and the force exerted by the polymers.
It is an integral part of this paper.
• Guessdiff - A package which guess various properties of tilings (with an arbitrary set of tiles) in the plane using the TILINGS package of Doron Zeilberger. This was written for Math 640 in Spring 2006.