Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

2006

2006

This paper discusses the problem what makes a computer-assisted proof trustworthy, the quest for an algorithmic support system… Expand

Is this relevant?

2006

2006

Consider a linear system A(p)x = b(p) whose input data depend on a number of uncertain parameters p = (p1,...,pk) varying within… Expand

Is this relevant?

2002

2002

We obtain computer assisted proofs of several spherical volume inequalities that appear in the analysis of semidefinite… Expand

Is this relevant?

Highly Cited

2001

Highly Cited

2001

Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple… Expand

Is this relevant?

Highly Cited

1997

Highly Cited

1997

We introduce horseshoe-type mappings which are geometrically similar to Smale's horseshoes. For such mappings we prove by means… Expand

Is this relevant?

1997

1997

In this paper we describe a technique for proving that a particular system is chaotic in the topological sense, i.e. that it has… Expand

Is this relevant?

Highly Cited

1990

Highly Cited

1990

Abstract Prebuyout bondholders, on average, suffer statistically significant wealth losses in leveraged buyouts. Bonds with… Expand

Is this relevant?

Highly Cited

1987

Highly Cited

1987

Migration maps represent patterns of geographical movement by arrows or bands between places, using information arriving in “from… Expand

Is this relevant?

1984

1984

Computers are useful in many ways in mathematical research. They make it possible, for example, to perform experiments on a wide… Expand

Is this relevant?

Highly Cited

1982