Current coverage

Decidability of first-order theories of the real numbers

Recent stories from external publishers. Source index: Google News RSS. Search scope: Background preparation.