From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “mathematical proof” 46

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Mosquito-Textile Physics: A Mathematical Roadmap to Insecticide-Free, Bite-Proof Clothing for Everyday Life
2021 Insects article Biochemistry, Genetics and Molecular Biology Insect and Arachnid Ecology and Behavior Open access

Kun Luan, Andre J. West, Marian Gayle McCord, Emiel DenHartog, Isa Bettermann, Jiayin Li, +7 more

20

citations
Theorem proving in artificial neural networks: new frontiers in mathematical AI
2024 European Journal for Philosophy of Science article Mathematics History and Theory of Mathematics Open access

Markus Pantsar

17

citations
Mathematical Models in Pure and Applied Mathematics
2020 Advanced structured materials book-chapter Computer Science Advanced Mathematical Modeling in Engineering

Igor V. Andrianov

3

citations
Proof of the Bessenrodt–Ono Inequality by Induction
2021 Research in Number Theory article Mathematics Advanced Mathematical Identities Open access

Bernhard E. Heim, Markus Neuhauseer

8

citations
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
2025 Topoi article Computer Science Computability, Logic, AI Algorithms Open access

Markus Pantsar

1

citations
ROBUST MATHEMATICAL FORMULATION AND PROBABILISTIC DESCRIPTION OF AGENT-BASED COMPUTATIONAL ECONOMIC MARKET MODELS
2020 Advances in Complex Systems article Economics, Econometrics and Finance Complex Systems and Time Series Analysis Open access

Maximilian Beikirch, Simon Cramer, Martin Frank, Philipp Otte, Emma Pabich, Torsten Trimborn

0

citations
Introduction
2021 Graduate texts in mathematics book-chapter Mathematics History and Theory of Mathematics

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

3

citations
A Sequent Calculus
2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
The Scope of First-Order Logic
2021 Graduate texts in mathematics book-chapter Psychology Philosophy and Theoretical Science

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
Prerequisites from Matrix Analysis
2020 Springer eBooks book-chapter Computer Science Matrix Theory and Algorithms

Rudolf Mathar, Gholamreza Alirezaei, Emilio Rafael Balda, Arash Behboodi

1

citations
Correction to: Equilibrium computation in resource allocation games
2022 Mathematical Programming erratum Decision Sciences Game Theory and Applications Open access

Tobias Harks, Veerle Timmermans

1

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations
The Michaelis–Menten Reaction at Low Substrate Concentrations: Pseudo-First-Order Kinetics and Conditions for Timescale Separation
2024 Bulletin of Mathematical Biology article Physics and Astronomy Spectroscopy and Quantum Chemical Studies Open access

Justin Eilertsen, Santiago D. Schnell, Sebastian Walcher

8

citations
Estimates for commutators of fractional differential operators via harmonic extension
2020 arXiv (Cornell University) preprint Mathematics Advanced Mathematical Physics Problems Open access

Jonas Ingmanns

4

citations
Polynomization of Sun’s conjecture
2026 The Ramanujan Journal article Mathematics Advanced Mathematical Identities Open access

Bernhard E. Heim, Markus Neuhauser

0

citations
Typical field lines of Beltrami flows and boundary field line behaviour of Beltrami flows on simply connected, compact, smooth manifolds with boundary
2020 arXiv (Cornell University) preprint Mathematics Mathematical Dynamics and Fractals Open access

Wadim Gerner

14

citations
Revenue maximization in Stackelberg Pricing Games: beyond the combinatorial setting
2020 Mathematical Programming article Economics, Econometrics and Finance Game Theory and Voting Systems Open access

Toni Böhnlein, Stefan Kratsch, Oliver Schaudt

11

citations
Entanglement Monogamy via Multivariate Trace Inequalities
2024 Communications in Mathematical Physics article Social Sciences Marriage and Sexual Relationships Open access

Mario Berta, Marco Tomamichel

8

citations
Polynomization of the Chern–Fu–Tang conjecture
2021 Research in Number Theory article Mathematics Advanced Mathematical Identities Open access

Bernhard E. Heim, Markus Neuhauser

7

citations
Adaptive discretization-based algorithms for semi-infinite programs with unbounded variables
2022 Mathematical Methods of Operations Research article Mathematics Advanced Optimization Algorithms Research Open access

Daniel Jungen, Hatim Djelassi, Alexander Mitsos

4

citations
Typical field lines of Beltrami flows and boundary field line behaviour of Beltrami flows on simply connected, compact, smooth manifolds with boundary
2021 Annals of Global Analysis and Geometry article Mathematics Mathematical Dynamics and Fractals Open access

Wadim Gerner

3

citations
Bending laminations on convex hulls of anti‐de Sitter quasi‐circles
2021 Proceedings of the London Mathematical Society article Mathematics Analytic and geometric function theory Open access

2

citations
A curvature-free 𝐿𝑜𝑔(2𝑘-1) theorem
2020 Proceedings of the American Mathematical Society article Mathematics Geometric Analysis and Curvature Flows Open access

Florent Balacheff, Louis Merlin

2

citations
Pseudo-normalized Hecke eigenform and its application to extremal $2$-modular lattices
2020 arXiv (Cornell University) preprint Mathematics Advanced Mathematical Identities Open access

Tsuyoshi Miezaki, Gabriele Nebe

0

citations
Einstein–Podolsky–Rosen–Bohm experiments: A discrete data driven approach
2023 Annals of Physics article Physics and Astronomy Quantum Mechanics and Applications Open access

Hans A. De Raedt, Mikhail I. Katsnelson, Manpreet Singh Jattana, Vrinda Mehta, Madita Willsch, Dennis Willsch, +2 more

12

citations