Classification of integrable super-systems using the SsTools environment. - A. V. Kiselev; Thomas Wolf 012 (Comput. Phys. Commun., 2007)

The Expansion ⋆ mod ō (ℏ4) and Computer-Assisted Proof Schemes in the Kontsevich Deformation Quantization. - Ricardo Buring; A. V. Kiselev (Exp. Math., 2022)