G. Ryabov and V. Serov, “Symbolic computations in the lattice space Rnc”, Num. Meth. Prog., vol. 12, no. 30, pp. 409–416, Jan. 2012.