# Computer-assisted proof

## Papers overview

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

2016

2016

- ISSAC
- 2016

An infinite Â±1-sequence is called Apwenian if its Hankel determinant of order n divided by 2n-1 is an odd number for everyâ€¦Â (More)

Is this relevant?

2011

2011

- 2011

We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do notâ€¦Â (More)

Is this relevant?

2008

2008

- 2008

The restricted circular three-body problem is considered for the following parameter values C = 3.03, Î¼ = 0.0009537 the valuesâ€¦Â (More)

Is this relevant?

Review

2007

Review

2007

- 2007

We present a recent application area of the proof assistant Î©mega, the teaching of mathematical proofs within an environment forâ€¦Â (More)

Is this relevant?

2006

2006

- 12th GAMM - IMACS International Symposium onâ€¦
- 2006

This paper discusses the problem what makes a computer-assisted proof trustworthy, the quest for an algorithmic support systemâ€¦Â (More)

Is this relevant?

2006

2006

- 12th GAMM - IMACS International Symposium onâ€¦
- 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â€¦Â (More)

Is this relevant?

2002

2002

- SODA
- 2002

We obtain computer assisted proofs of several spherical volume inequalities that appear in the analysis of semidefiniteâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Math. Comput.
- 1998

Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. Theâ€¦Â (More)

Is this relevant?

1997

1997

- 1997

| In this paper we describe a new technique for proving that a particular system is chaotic in topological sense, i.e. that itâ€¦Â (More)

Is this relevant?

1996

1996

- 1996

We introduce horseshoe-type mappings which are geometrically similar to Smaleâ€™s horseshoes. For such mappings we prove by meansâ€¦Â (More)

Is this relevant?