Another proof of undecidability for the correspondence decision problem
  - Had I been Emil Post
Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem
Applied Lyapunov Stability on Output Tracking Problem for a Class of
  Discrete-Time Linear Systems Eulerian idempotent, pre-Lie logarithm and combinatorics of trees The energy dependence of the pp->K+ n Sigma+ reaction close to threshold Trace Reconstruction Problems in Computational Biology Consensus between Epistemic Agents is Difficult Multi-soliton, multi-breather and higher-order rogue wave solutions to
  the complex short pulse equation Statistical studies of Spinning Black-Hole Binaries Integral triangular operators and Friedrichs model b-Bit Minwise Hashing in Practice: Large-Scale Batch and Online Learning
  and Using GPUs for Fast Preprocessing with Simple Hash Functions Enhanced space charge limited current for curved electron emitters Supersymmetric Construction of Exactly Solvable Potentials and
  Non-Linear Algebras Lindblad Zones: resonant eccentric orbits to aid bar and spiral
  formation in galaxy discs Towards an Algebra for Cascade Effects On spurious solutions encountered in Helmholtz scattering resonance
  computations in R^d with applications to nano-photonics and acoustics Irregular subsets of the Grassmannian manifolds Random sections of $\ell_p$-ellipsoids, optimal recovery and Gelfand
  numbers of diagonal operators Modularity and community structure in networks Convergence of SDP hierarchies for polynomial optimization on the
  hypersphere
cs.LO cs.DM