Computations modulo regular chains
Computer-Assisted Proofs of Some Identities for Bessel Functions of
  Fractional Order
Benchmarking boron carbide equation of state using computation and
  experiment Understanding Sparse JL for Feature Hashing Event-by-Event Efficiency Fluctuations and Efficiency Correction for
  Cumulants of Superposed Multiplicity Distributions in Relativistic Heavy-ion
  Collision Experiments CMS software and computing for LHC Run 2 MSTRE-Net: Multistreaming Acoustic Modeling for Automatic Lyrics
  Transcription Learn to Synchronize, Synchronize to Learn Conformal symmetry breaking and self-similar spirals Autocorrelation, Wigner and Ambiguity Transforms on Polygons for
  Coherent Radiation Rendering Computational Model for Electron-Nucleon Scattering and Weak Charge of
  the Nucleon Isotropic random spin weighted functions on $S^2$ vs isotropic random
  fields on $S^3$ Spectral Convergence of the connection Laplacian from random samples Coronavirus Covid-19 spreading in Italy: optimizing an epidemiological
  model with dynamic social distancing through Differential Evolution Resolution of a conflict between Laser and Elementary Particle Physics Dynamical quantum phase transition in a non-Hermitian Hubbard model Q-ball dynamics from atomic Bose-Einstein condensates Twitter discussions and emotions about COVID-19 pandemic: a machine
  learning approach Rigidity of the topological dual of spaces of formal series with respect
  to product topologies Symmetries of second order ODEs (Non)-Dissipative Hydrodynamics on Embedded Surfaces An improved uncertainty principle for functions with symmetry Variational Renormalization Group for Dissipative Spin-Cavity Systems:
  Periodic Pulses of Nonclassical Photons from Mesoscopic Spin Ensembles
cs.SC