' Immersive Math ' is a free textbook site that makes linear algebra, a field of mathematics that studies calculations such as vectors and matrices, easier to understand by providing interactive ...

This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler ...

We perform a systematic analysis of the effectiveness of features for the problem of predicting the quality of machine translation (MT) at the sentence level. Starting from a comprehensive feature set ...