Irrationality and Transcendence Criteria for Infinite Series in
  Isabelle/HOL
Non-associative and projective linear logics
Parameter estimation of spinning binary inspirals using Markov-chain
  Monte Carlo Exact Multivariate Amplitude Distributions for Non-Stationary Gaussian
  or Algebraic Fluctuations of Covariances or Correlations Consensus on Transaction Commit Simple Model of Large Scale Organization in Evolution Textures of Superfluid 3He-B in Applied Flow and Comparison with
  Hydrostatic Theory Lattice Improvement in Lattice Effective Field Theory Generalized Bloch theorem and chiral transport phenomena Deep Learning for Real-time Gravitational Wave Detection and Parameter
  Estimation: Results with Advanced LIGO Data Type-IV DCT, DST, and MDCT algorithms with reduced numbers of arithmetic
  operations Distributed Convex Optimization with Many Convex Constraints Entanglement and quantum strategies reduce congestion costs in Pigou
  networks The Yomdin-Gromov algebraic lemma revisited Top-m identification for linear bandits Magnetic Field Saturation of the Ion Weibel Instability in
  Interpenetrating Relativistic Plasmas Secondary Perturbation Effects in Keplerian Accretion Disks: Elliptical
  Instability Using higher-order Fourier analysis over general fields On A Bosonization Approach To Disordered Systems Exact Solutions and hypothesis on Phase Transition in the
  Polyelectrolite Model of DNA Breakdown of Scale Invariance in the Phase Ordering of Fractal Clusters FPGA Based Implementation of Deep Neural Networks Using On-chip Memory
  Only
cs.LO math.LO