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 apci.zip 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

    with(APCI);

  4. You could use F1 to see the help.

Enjoy to use it!

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