Kevin Carroll is the author of Automated Reduction and Solution Techniques in Optimization Problems Using Symbolic Computation (1995), Architectures of Nigeria (1992), Reduced-chemical Farming in Wisconsin (1989), The Effects of Absorption on Seismic Signals Propagated in a One-dimensional Medium (1985), The Design of Spur Gears for Minimum Size (1984).