A Formal Proof of the Independence of the Continuum Hypothesis
Nonstandard Analysis and Constructivism!
Mapping class groups of surfaces of genus $\geq 3$ do not virtually
  surject to $\mathbb{Z}$ Detecting singular weak-dissipation limit for flutter onset in
  reversible systems Teaching Recurrent Neural Networks to Modify Chaotic Memories by Example Dynamical response of Bose-Einstein condensates to oscillating
  gravitational fields Entropy dissipation via Information Gamma calculus: Non-reversible
  stochastic differential equations $3$-$Lie_\infty$-algebras and $3$-Lie 2-algebras Network reconstruction from infection cascades Parallel and distributed asynchronous adaptive stochastic gradient
  methods Behaviour-based Knowledge Systems: An Epigenetic Path from Behaviour to
  Knowledge Parameter Estimation for the Stochastically Perturbed Navier-Stokes
  Equations Hamiltonian and Godunov Structures of the Grad Hierarchy The Schur multiplier of finite symplectic groups A High-Quality Entropy Source Using van der Waals Heterojunction for
  True Random Number Generation On the robustness of minimum norm interpolators and regularized
  empirical risk minimizers Movie Popularity Classification based on Inherent Movie Attributes using
  C4.5,PART and Correlation Coefficient KeyVec: Key-semantics Preserving Document Representations Production Method of Millimeter-Wave Absorber with 3D-Printed Mold
math.LO