Version 3.0 Albert User's Guide (1996)
D. P. Jacobs, S. V. Muddana, A. J. Offutt, K. Prabhu, D. Lee, T. Whiteley
This document serves as a technical guide to Albert. We refer the reader to [1] for a more casual tutorial. The main problem addressed by Albert is the recognition of polynomial identities. Roughly,...