Research output

1. Методы точных вычислений для решения задач математической физики

   Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review

2. Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations

   Research output: Contribution to journal › Article › peer-review

3. Primitive recursive ordered fields and some applications

   Research output: Contribution to journal › Article › peer-review

View all (8) »