Login / Signup
Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle.
Hai-Ping Ko
Published in:
Artif. Intell. (1988)
Keyphrases
</>
geometry theorem proving
set theoretic
theorem proving
higher order
social networks
case study
information systems
web services
search algorithm
decomposition method
hierarchical decomposition
information bottleneck