Svetlana Selivanova

Primitive Recursive Ordered Fields and Some Applications pdf

Victor Selivanov, Svetlana Selivanova, V. Selivanov, 2020, CASC.

Primitive Recursive Ordered Fields and Some Applications

Victor Selivanov, Svetlana Selivanova, 2021, CASC.

Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations

Martin Ziegler, Florian Steinberg, Holger Thies, 2021, CASC.

Bit-Complexity of Solving Systems of Linear Evolutionary Partial Differential Equations

Martin Ziegler, Gleb Pogudin, Ivan Koswara, 2021, CSR.