Maple package APCI

This is a Maple package for algorithms related to automatic proofs of combinatorial identities. To use it, you should
  1. Download and unzip the help file in one directory.

    For example, you save these files to the directory "d:/maplelib/apci/".

  2. Open Maple and add the path by the command

    libname:=libname, "d:/maplelib/apci/";

  3. Type the command


  4. You could use F1 to see the help.

Enjoy to use it!

For any questions or bugs, please feel free to contact me.