Translation of Moufang's "Grundlagen der Geometrie"
Euclid After Computer Proof-checking
General Complex Polynomial Root Solver and Its Further Optimization for
  Binary Microlenses A universal tradeoff between power, precision and speed in physical
  communication Galois Conjugation and Multiboundary Entanglement Entropy Graphite vs graphene: scientific background Binary Classification of Alzheimer Disease using sMRI Imaging modality
  and Deep Learning Instabilities Appearing in Effective Field theories: When and How? Genuine Hydrodynamic Analysis to the 1-D QHD system: Existence,
  Dispersion and Stability Analysis of the critical CR GJMS operator Single Stage Prediction with Embedded Topic Modeling of Online Reviews
  for Mobile App Management Targeted Learning with Daily EHR Data Controllability of 3D Low Reynolds Swimmers Measuring logic complexity can guide pattern discovery in empirical
  systems Inductive Program Synthesis over Noisy Datasets using Abstraction
  Refinement Based Optimization A variant of Hofstadter's sequence and finite automata A Computational Complexity-Theoretic Elaboration of Weak Truth-Table
  Reducibility Integrable theory of quantum transport in chaotic cavities Automated Source Code Generation and Auto-completion Using Deep
  Learning: Comparing and Discussing Current Language-Model-Related Approaches The model reduction of the Vlasov-Poisson-Fokker-Planck system to the
  Poisson-Nernst-Planck system via the Deep Neural Network Approach Shrinking Horizon Model Predictive Control with Signal Temporal Logic
  Constraints under Stochastic Disturbances On the Complexity and Parallel Implementation of Hensel's Lemma and
  Weierstrass Preparation Statistical learning for accurate and interpretable battery lifetime
  prediction Status maximization as a source of fairness in a networked dictator game
math.HO