From

Institution

Field

Type

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

Reset

Papers matching “mathematical proof” 36

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 Materials Science Textile materials and evaluations Open access

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

20

citations
Automated mathematics and the reconfiguration of proof and labor
2024 Bulletin of the American Mathematical Society article Mathematics History and Theory of Mathematics Open access

Rodrigo Ochigame

6

citations
Theorem proving in artificial neural networks: new frontiers in mathematical AI
2024 European Journal for Philosophy of Science article Computer Science Artificial Intelligence Applications Open access

Markus Pantsar

18

citations
Prediction of Disease Progression and Clinical Response in Systemic Sclerosis: Experience From a Proof‐of‐Concept Trial
2024 ACR Open Rheumatology article Medicine Systemic Sclerosis and Related Diseases Open access

Marta Neve, Paul M. Diderichsen, Eric Helmer, Dick de Vries, Amit Taneja

0

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 Arts and Humanities Cybernetics and Technology in Society Open access

Markus Pantsar

1

citations
Analytic proof of multivariate stable local large deviations and application to deterministic dynamical systems
2022 Electronic Journal of Probability article Mathematics Mathematical Dynamics and Fractals Open access

Ian Melbourne, Dalia Terhesiu

16

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
Is mainstream LCA linear?
2020 The International Journal of Life Cycle Assessment article Environmental Science Environmental Impact and Sustainability Open access

Reinout Heijungs

43

citations
The Michaelis–Menten Reaction at Low Substrate Concentrations: Pseudo-First-Order Kinetics and Conditions for Timescale Separation
2024 Bulletin of Mathematical Biology article Mathematics Mathematical and Computational Methods Open access

Justin Eilertsen, Santiago D. Schnell, Sebastian Walcher

8

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

Bernhard E. Heim, Markus Neuhauser

0

citations
Revenue maximization in Stackelberg Pricing Games: beyond the combinatorial setting
2020 Mathematical Programming article Computer Science Complexity and Algorithms in Graphs Open access

Toni Böhnlein, Stefan Kratsch, Oliver Schaudt

11

citations
Entanglement Monogamy via Multivariate Trace Inequalities
2024 Communications in Mathematical Physics article Computer Science Quantum Information and Cryptography Open access

Mario Berta, Marco Tomamichel

8

citations
Phase Retrieval for Nilpotent Groups
2023 Journal of Fourier Analysis and Applications article Mathematics Mathematical Analysis and Transform Methods Open access

Hartmut Führ, Vignon Oussa

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
Equivalence of equicontinuity concepts for Markov operators derived from a Schur-like property for spaces of measures
2020 Statistics & Probability Letters article Mathematics Mathematical Dynamics and Fractals Open access

Sander C. Hille, Tomasz Szarek, Daniël Worm, Maria Ziemlańska

6

citations
Valiron’s Interpolation Formula and a Derivative Sampling Formula in the Mellin Setting Acquired via Polar-Analytic Functions
2020 Computational Methods and Function Theory article Mathematics Mathematical Analysis and Transform Methods Open access

Carlo Bardaro, Paul Leo Butzer, Ilaria Mantellını, Gerhard Schmeißer

5

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
Scaling relations for auxin waves
2022 Journal of Mathematical Biology article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Bente Hilde Bakker, Timothy E. Faver, Hermen Jan Hupkes, Roeland M. H. Merks, Jelle van der Voort

3

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

Florent Balacheff, Louis Merlin

2

citations
Bending laminations on convex hulls of anti‐de Sitter quasi‐circles
2021 Proceedings of the London Mathematical Society article Mathematics Geometric and Algebraic Topology Open access

2

citations
Conditioning problems for invariant sets of expanding piecewise affine mappings: application to loss of ergodicity in globally coupled maps
2022 Nonlinearity article Mathematics Mathematical Dynamics and Fractals Open access

Bastien Fernandez, Fanni M. Sélley

1

citations
Heegner cycles in Griffiths groups of Kuga-Sato varieties
2024 Mathematical Research Letters article Mathematics Algebraic Geometry and Number Theory Open access

David T. -B. G. Lilienfeldt

0

citations
Intermittency generated by attracting and weakly repelling fixed points
2022 Indagationes Mathematicae article Mathematics Mathematical Dynamics and Fractals Open access

Benthen Zeegers

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