unapply, scoping rules, programming
operators, and zero recognition and simplification in Maple.assume facility. It
includes examples of how assume is used to solve problems
and how it is integrated into Maple. It also discusses the
limitations of this facility and proposes how Maple should evolve to a
"lastproviso" model of computation.rand function.Gaia which is a package that helps count and draw random
combinatorial structures of various sorts.