This is the user manual of Ssreflect, a set of extensions to the proof scripting language of the
Coq proof assistant. While these extensions were developed to support a particular proof …

This paper reports on a six-year collaborative effort that culminated in a complete formalization
of a proof of the Feit-Thompson Odd Order Theorem in the Coq proof assistant. The …

A measurement of the proton structure function F 2 (x,Q 2 ) is presented in the kinematic range
0.045 GeV 2 <Q 2 <0.65 GeV 2 and 6·10 −7 <x<1·10 −3 . The results were obtained using …

Deep inelastic scattering and its diffractive component, ep→e ′ γ ∗ p→e ′ XN, have been
studied at HERA with the ZEUS detector using an integrated luminosity of 4.2 pb −1 . The …

In order to extend the tracking acceptance, to improve the primary and secondary vertex
reconstruction and thus enhancing the tagging capabilities for short lived particles, the ZEUS …

The exclusive photoproduction reaction γp→ϒp has been studied with the ZEUS experiment
in ep collisions at HERA using an integrated luminosity of 468 pb −1 . The measurement …

The dissociation of virtual photons, γ ⋆ p→Xp, in events with a large rapidity gap between X
and the outgoing proton, as well as in events in which the leading proton was directly …

ZEUS inclusive diffractive-cross-section measurements have been used in a DGLAP next-to-leading-order
QCD analysis to extract the diffractive parton distribution functions. Data on …

The production of beauty and charm quarks in ep interactions has been studied with the ZEUS
detector at HERA for exchanged four-momentum squared 5< Q 2< 1000 GeV 2 using an …

The reduced cross sections for ep deep inelastic scattering have been measured with the
ZEUS detector at HERA at three different centre-of-mass energies, 318, 251 and 225 GeV. …