CalICo, a visual tool for combinatorial mathematics
M. Delest, Jean-Marc Fédou, Guy Mélançon, Nadine Rouillon · 2002
The authors describe software under development at LaBRI, the ultimate goal of which is formal manipulation of combinatorial objects using pictures of these objects. The version now available deals with polyominos, braids and permutations.>