Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,774,624 papers from all fields of science

Search

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

Highly Cited

2013

2013

2013

Context. Spacecraft observations have motivated the need for a refined description of the phase-space distribution function. Of…

Review

2009

Review

2009

The process of creative destruction is being documented for a growing number of countries as the required firm-level data are…

Highly Cited

2004

Highly Cited

2004

We contrast theorem provers and computer algebra systems, pointing out the advantages and disadvantages of each, and suggest a…

Review

2003

1999

1999

The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case…

Review

1990

Review

1990

Preface 1. Introduction 2. Recent milestones 3. An overview of quantitative policy analysis 4. The nature and sources of…

Highly Cited

1969