  We calculated the cross section of double electron-positron pair production
with two-electron capture for the collisions of Pb+Pb ions and we did our
calculations at LHC energies. We applied a similar methodology for the
calculation of bound-free electron-positron pair production. We used
perturbation theory and implemented Monte Carlo integration techniques to
calculate the lowest order Feynman diagrams. We also compared our double
electron-positron pair production with two-electron capture cross section
results obtained in the literature. These calculations may help us to learn
more about strong QED.
