K. Prabhu

Publication List Details

Period

1996 - 2007

Number

3

Co-Authors

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,...