Skip to content

Simplification of Nested Real Radicals Revisited.

Nikolay N. Osipov, Alexey A. Kytmanov

VenueBCASC
Year2021
ProceedingsCASC

Browse the full CASC paper archive.