Simple computer model for the nonlinear beam-beam interaction in isabelle
Keyword(s):
1985 ◽
Vol 16
(3-4)
◽
pp. 277-291
◽
2003 ◽
1989 ◽
Vol 256
(6)
◽
pp. H1573-H1579
◽
Keyword(s):
2005 ◽
Vol 117
(1-3)
◽
pp. 147-152
◽
1988 ◽
Vol 6
(1)
◽
pp. 49-65
◽