Bob F. Caviness

Texts and Monographs in Symbolic Computation · 2004

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Who trusts Bob F. Caviness overall

1. Christopher W. Brown

Papers from Bob F. Caviness's perspective

Ordered by how strongly the researchers Bob F. Caviness trusts endorse each paper. Same corpus, a different order for every researcher.

1. Minimization of Boolean Functions
2. A Decision Method for Elementary Algebra and Geometry

Their papers

• Quantifier Elimination and Cylindrical Algebraic Decomposition (2004) — 519 citations