This paper describes packages for symbolic calculations in quantum groups, noncommutative differential geometry, and multivalued logic. The package for quantum groups and the program for logic are written in Mathematica 3.0 and/or 4.0. As an example, some results in the logic obtained using these packages are presented.
For the newest resources, visit Wolfram Repositories and Archives »
