Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Computer-assisted proof

Related publications (25)

Bounds for Pach's Selection Theorem and for the Minimum Solid Angle in a Simplex

Jan Kyncl

We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer d, there is a constant such that whenever are n-element subsets of , we can find a point and subsets for every , each of size at least , suc ...

Springer2015

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Boris Buffoni

The system {-u '' + u = u(3) + lambda v, u(x)= u(-x) is an element of R, x is an element of R, -v '' + v = v(3) + lambda u, v(x) = v(-x) is an element of R, x is an element of R, describes pulses in nonlinear fiber couplers. It has the family (U1+lambda, - ...

Advanced Nonlinear Studies, Inc2012

Automatic quality assessment in structural brain magnetic resonance imaging

Jean-Philippe Thiran, Reto Meuli, Gunnar Krüger, Bénédicte Marie Maréchal

Quality assessment of MRI is of great importance to derive reliable diagnostic information. As automated quantitative image analysis is being increasingly used in routine, automated measures of quality are needed. Based on a single magnitude image, we prop ...

2009

Interpolation and Symbol Elimination

We prove several results related to local proofs, interpolation and superposition calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alte ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

Asymptotics and analytic modes for the wave equation in similarity coordinates

Roland Donninger

We consider the radial wave equation in similarity coordinates within the semigroup formalism. It is known that the generator of the semigroup exhibits a continuum of eigenvalues and embedded in this continuum there exists a discrete set of eigenvalues wit ...

Springer Verlag2009