MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On Constructing the Elimination Tree." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Approaches to Parallel Quantifier Elimination  
  • by Andreas Dolzmann, Oliver Gloor, Thomas Sturm — 1998 — Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC 98
  • … Algorithm Figure 2 shows a sequential algorithm for constructing the elimination tree. It maintains a set W…
  • Cited by 3 (2 self)Add To MetaCart
  • ARCHITECTURE COMPUTERS  
  • by Erling Andersen, Knud Andersen
  • … not generate a well-balanced elimination tree. From the construction of the elimination tree, it follows…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB