Formal Reduction


   


I - Introduction

Under construction References:
.



II - Maple Packages

  1. Barkatou's Algorithm BarkarouReduction
  2. Miyake's algorithms MiyakeReductionViaLP using the Poincaré reduction developed in RankReductionViaLP