Random polynomials and expected complexity of bisection methods for real solving
Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes
Rational Hadamard products via Quantum Diagonal Operators
Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems
Reconstruction of eye movements during blinks
Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
Rewriting and Symbolic Transformations for Multiscale Methods
Rewriting Calculus: Foundations and Applications
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation
Root Refinement for Real Polynomials