S. D. Meshveliani

Programming computer algebra with basing on constructive mathematics. Domains with factorization

2017 · Program systems theory and applications

. . .