This document describes research applying techniques from program analysis to automatically infer properties of code in the Maple computer algebra system. The researchers developed abstract interpretation frameworks tailored to Maple and used these to gather constraints about Maple code and values. By analyzing the entire Maple library with this approach, they were able to infer simple but useful properties, like type information, for parts of the library. This demonstrated the potential of applying formal methods to understand and reason about large, dynamically-typed code bases.