The curriculum vitae of Alice Turner Schafer lists two specializations: abstract
algebra (group theory) and women in mathematics. As early as her high school
years Alice exhibited a love for mathematics and an interest in teaching as a
career. As a mathematics educator she championed the full participation of
women in mathematics.
The Eisenstein irreducibility critierion is part of the training of every mathematician.
I first learned the criterion as an undergraduate and, like many before me, was struck
by its power and simplicity. This article will describe the unexpectedly rich history of
the discovery of the Eisenstein criterion and in particular the role played by Theodor
The paper describes work on applying a general purpose natural language processing system to transfer-based interactive translation. Transfer takes place at the level of Quasi Logical Form (QLF), a contextually sensitive logical form representation which is deep enough for dealing with cross-linguistic differences. Theoretical arguments and experimental results are presented to support the claim that this framework has good properties in terms of modularity, compositionality, reversibility and monotonicity. ...