Publications

Decreasing the nesting depth of expressions involving square roots

• • Allan Borodin
  • Ronald Fagin
  • et al.
• 1985
• Journal of Symbolic Computation