STEVE (Strong Thermal Emission Velocity Enhancement) is an atmospheric optical phenomenon that appears as a purple and green light ribbon in the sky, named in late 2016 by aurora watchers from Alberta, Canada. According to analysis of satellite data from the European Space Agency's Swarm mission, the phenomenon is caused by a 25 km (16 mi) wide ribbon of hot plasma at an altitude of 450 km (280 mi), with a temperature of 3,000 °C (3,270 K; 5,430 °F) and flowing at a speed of 6 km/s (3.7 mi/s) (compared to 10 m/s (33 ft/s) outside the ribbon). The phenomenon is not rare, but had not been investigated...

Upper-atmospheric lightning or ionospheric lightning are terms sometimes used by researchers to refer to a family of short-lived electrical-breakdown phenomena that occur well above the altitudes of normal lightning and storm clouds. Upper-atmospheric lightning is believed to be electrically induced forms of luminous plasma. The preferred usage is transient luminous event (TLE), because the various types of electrical-discharge phenomena in the upper atmosphere lack several characteristics of the more familiar tropospheric lightning. Transient luminous events have also been observed in far-...

The Cox–Zucker machine is an algorithm created by David A. Cox and Steven Zucker. This algorithm determines whether a given set of sections provides a basis (up to torsion) for the Mordell–Weil group of an elliptic surface E → S, where S is isomorphic to the projective line.The algorithm was first published in the 1979 article "Intersection numbers of sections of elliptic surfaces" by Cox and Zucker and was later named the "Cox–Zucker machine" by Charles Schwartz in 1984. The name is a homophone for an obscenity, and this was a deliberate move by Cox and Zucker, who conceived of the idea of...