Algebraic and symbolic manipulation of Poisson series

  • Authors:
  • Félix San-Juan;Alberto Abad

  • Affiliations:
  • Univ. de La Rioja, Logroño, Spain;Univ. de La Rioja, Logroño, Spain

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

McCallum's projection operator for cylindrical algebraic decomposition (CAD) represented a huge step forward for the practical utility of the CAD algorithm. This paper presents a simple theorem showing that the mathematics in McCallum's paper actually ...