For example, in arithmetic, it allows the expression of the statement that every natural number has a successor. A language element which generates a… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

- Bo Li, Colin N. Dewey
- BMC Bioinformatics
- 2011

RNA-Seq is revolutionizing the way transcript abundances are measured. A key challenge in transcript quantification from RNA-Seq… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Stéphane Demri, Ranko Lazic
- 21st Annual IEEE Symposium on Logic in Computer…
- 2006

A data word is a sequence of pairs of a letter from a finite alphabet and an element from an infinite set, where the latter can… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Jorge E. Hirsch
- 2005

F the few scientists who earn a Nobel prize, the impact and relevance of their research is unquestionable. Among the rest of us… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Daniel C. Heinz, Chein-I Chang
- IEEE Trans. Geoscience and Remote Sensing
- 2001

Linear spectral mixture analysis (LSMA) is a widely used technique in remote sensing to estimate abundance fractions of materials… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

This paper proposes that the distinguishing characteristic of Aspect-Oriented Programming (AOP) systems is that they allow… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Volker Weispfenning
- Applicable Algebra in Engineering, Communication…
- 1997

We present a new, “elementary” quantifier elimination method for various special cases of the general quantifier elimination… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Saugata Basu, Richard Pollack, Marie-Françoise Roy
- J. ACM
- 1994

In this paper, a new algorithm for performing quantifier elimination from first order formulas over real closed fields in given… (More)

Is this relevant?

Highly Cited

1983

Highly Cited

1983

- Joos Heintz
- Theor. Comput. Sci.
- 1983

The Bezout-Inequality, an afine version (not in&ding multiplicities) of the classical Bezout-Theorem is derived for applications… (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- George E. Collins
- ACM SIGSAM Bulletin
- 1976

This is a brief summary and exposition of the paper "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic… (More)

Is this relevant?

Highly Cited

1960

Highly Cited

1960

- Martin D. Davis, Hilary Putnam
- J. ACM
- 1960

The hope that mathematical methods employed in the investigation of formal logic would lead to purely computational methods for… (More)

Is this relevant?