This paper deals with our work on interactive mathematical documents that make use of the World Wide Web. The work is concerned with a computer environment that is able to invoke various specialized mathematical software systems.We are concerned with interactive mathemtical documents taking input from various sources, users and mathematical services. Communication between these three different entities has been realized using OpenMath. But, such communication and the interactivity inside the mathematical document take place in a specific, but dynamic context or state. In this paper we present a solution on how to keep track of this dynamical state and describe our implementation of this.
The moduli space of nodal Enriques surfaces is irreducible of dimension 9. A nodal Enriques surface is shown to be the quotient of a double cover of the plane by a lift of the Cremona involution. We also show that this gives a straightforward proof of the known description of the automorphism group for the generic such surface.
Mathematics Subject Classification
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.