Symbolic computation and the cyclicity problem for singularities.

Douglas S. Shafer

Published in: J. Symb. Comput. (2012)

Keyphrases

imperative programs
automated deduction
knowledge base
image processing
multiscale
object oriented
description logics
theorem proving