Inclusion problem in algebraic models of programs with constants R. I. PodlovchenkoD. M. Rusakov OriginalPaper Pages: 121 - 131
Involutive divisions and monomial orderings A. S. SemenovP. A. Zyuzikov OriginalPaper Pages: 139 - 146
On selection of nonmultiplicative prolongations in computation of Janet bases V. P. GerdtYu. A. Blinkov OriginalPaper Pages: 147 - 153
Standardization and testing of implementations of mathematical functions in floating point numbers V. V. Kuliamin OriginalPaper Pages: 154 - 173
Sixth International Conference “Perspectives of System Informatics” I. B. Virbitskaite OriginalPaper Pages: 174 - 179