From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 24

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
Random Lochs’ Theorem
2022 Studia Mathematica article Mathematics Mathematical Dynamics and Fractals Open access

Charlene Kalle, Evgeny A. Verbitskiy, Benthen Zeegers

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
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
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
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
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
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
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
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
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
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
A note on Schwartzman–Fried–Sullivan Theory, with an application
2020 Journal of Fixed Point Theory and Applications article Mathematics Mathematical Dynamics and Fractals Open access

Umberto L. Hryniewicz

10

citations
The Friedrichs angle and alternating projections in Hilbert C⁎-modules
2022 Journal of Mathematical Analysis and Applications article Mathematics Advanced Operator Algebra Research Open access

Bram Mesland, Adam Rennie

7

citations
Strong mixing for the periodic Lorentz gas flow with infinite horizon
2024 Transactions of the American Mathematical Society article Mathematics Mathematical Dynamics and Fractals Open access

Françoise Pène, Dalia Terhesiu

4

citations
The Prouhet–Tarry–Escott problem, indecomposability of polynomials and Diophantine equations
2022 The Ramanujan Journal article Mathematics Algebraic Geometry and Number Theory Open access

Lajos Hajdu, Attila Papp, Rob Tijdeman

4

citations
Bayesian inversion for electromyography using low-rank tensor formats
2021 Inverse Problems article Mathematics Numerical methods in inverse problems Open access

Anna Rörich, Tim A. Werthmann, Dominik Göddeke, Lars Grasedyck

3

citations
A fractional version of Rivière’s GL(n)-gauge
2021 Annali di Matematica Pura ed Applicata (1923 -) article Mathematics Nonlinear Partial Differential Equations Open access

Francesca Da Lio, Katarzyna Mazowiecka, Armin Schikorra

2

citations
Closing the category of finitely presented functors under images made constructive
2020 Compositionality article Mathematics Algebraic structures and combinatorial models Open access

0

citations

24 results