From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 39

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Hodge theorem for the logarithmic de Rham complex via derived intersections
2020 Research in the Mathematical Sciences article Mathematics Algebraic Geometry and Number Theory Open access

Márton Hablicsek

3

citations
A Fenchel Theorem for the Gauss maps and uniqueness of minimizers of nonlocal curvature energies
2026 arXiv (Cornell University) preprint Mathematics Geometric Analysis and Curvature Flows Open access

Elias Döhrer, Alexander Dohmen

0

citations
Random Lochs’ Theorem
2022 Studia Mathematica article Mathematics Mathematical Dynamics and Fractals Open access

Charlene Kalle, Evgeny A. Verbitskiy, Benthen Zeegers

0

citations
On the Shirshov--Cohn theorem for JB-algebras
2026 arXiv (Cornell University) preprint Mathematics Advanced Operator Algebra Research Open access

Mark Roelands, Samuel Tiersma

0

citations
Classical theorems from analysis for locally band preserving functions on Dedekind complete $$\Phi $$-algebras
2026 Positivity article Mathematics Advanced Banach Space Theory Open access

Eder Kikianty, Luan Naude, Mark Roelands, Christopher Schwanke

0

citations
Variations of Central Limit Theorems and Stirling numbers of the First Kind
2022 arXiv (Cornell University) preprint Mathematics Advanced Combinatorial Mathematics Open access

Bernhard E. Heim

0

citations
Variations of central limit theorems and Stirling numbers of the first kind
2023 Discrete Mathematics Letters article Mathematics Advanced Combinatorial Mathematics Open access

Bernhard E. Heim

0

citations
De Finetti Theorems for the Unitary Dual Group
2022 Symmetry Integrability and Geometry Methods and Applications article Mathematics Advanced Operator Algebra Research Open access

Isabelle Baraquin, Guillaume Cébron, Uwe Franz, Laura Maaßen, Moritz Weber

3

citations
Periodic Lorentz gas with small scatterers
2023 Probability Theory and Related Fields article Mathematics Mathematical Dynamics and Fractals Open access

Péter Bálint, Henk Bruin, Dalia Terhesiu

5

citations
The Riemann integral on Dedekind complete $f$-algebras
2026 arXiv (Cornell University) preprint Mathematics Advanced Banach Space Theory Open access

Eder Kikianty, Luan Naude, Mark Roelands, Christopher Schwanke

0

citations
Local large deviations for periodic infinite horizon Lorentz gases
2023 Journal d Analyse Mathématique article Mathematics Mathematical Dynamics and Fractals Open access

Ian Melbourne, Françoise Pène, Dalia Terhesiu

4

citations
Zero Set Structure of Real Analytic Beltrami Fields
2021 Journal of Geometric Analysis article Mathematics Geometric Analysis and Curvature Flows Open access

Wadim Gerner

1

citations
Local large deviations for periodic infinite horizon Lorentz gases
2021 arXiv (Cornell University) preprint Mathematics Mathematical Dynamics and Fractals Open access

Ian Melbourne, Françoise Pène, Dalia Terhesiu

0

citations
Sporadic cubic torsion
2021 Algebra & Number Theory article Mathematics Algebraic Geometry and Number Theory Open access

Maarten Derickx, Anastassia Etropolski, Mark van Hoeij, Jackson S. Morrow, David Zureick-Brown

42

citations
A Wasserstein coupled particle filter for multilevel estimation
2022 Stochastic Analysis and Applications article Mathematics Markov Chains and Monte Carlo Methods Open access

Marco Ballesio, Ajay Jasra, Erik von Schwerin, Raul F. Tempone

9

citations
Variance Continuity for Lorenz Flows
2020 Annales Henri Poincaré article Mathematics Mathematical Dynamics and Fractals Open access

Wael Bahsoun, Ian Melbourne, Marks Ruziboev

9

citations
Skolem's conjecture confirmed for a family of exponential equations, III
2021 Journal of Number Theory article Mathematics Algebraic Geometry and Number Theory Open access

Lajos Hajdu, Florian Luca, Rob Tijdeman

1

citations
On the $C^2$-local systolic optimality of Zoll odd-symplectic forms
2025 arXiv (Cornell University) preprint Mathematics Geometric and Algebraic Topology Open access

Samanyu Sanjay

0

citations
Multiplier systems for Siegel modular groups
2024 International Journal of Number Theory article Mathematics Advanced Algebra and Geometry

Eberhard Freitag, Adrian Hauffe-Waschbüsch

0

citations
Fast Exact Bayesian Inference for Sparse Signals in the Normal Sequence Model
2020 Bayesian Analysis article Mathematics Statistical Methods and Inference Open access

Tim van Erven, Botond Szabó

7

citations
Mathematical AI and Epistemology
2026 PhilSci-Archive (University of Pittsburgh) preprint Mathematics History and Theory of Mathematics Open access

Markus Pantsar

0

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
Finite de Finetti for convex bodies and Polynomial Optimization
2026 arXiv (Cornell University) preprint Mathematics Advanced Optimization Algorithms Research Open access

Julius A. Zeiss, Gereon Koßmann, René Schwonnek, Martin Plávala

0

citations
Optional Stopping with Bayes Factors: A Categorization and Extension of Folklore Results, with an Application to Invariant Situations
2020 Bayesian Analysis article Mathematics Statistical Methods and Bayesian Inference Open access

Rianne de Heide

25

citations
The log product formula
2023 Algebra & Number Theory article Mathematics Algebraic Geometry and Number Theory Open access

Leo Herr

16

citations