From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 48

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

An Elementary Proof of the FMP for Kleene Algebra
2026 Fundamenta Informaticae article Computer Science semigroups and automata theory Open access

Tobias Kappé

1

citations
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
The Return of the Singularities: Applications of the Smeared Null Energy Condition
2022 SciPost Physics article Physics and Astronomy Black Holes and Theoretical Physics Open access

Ben Freivogel, Eleni-Alexandra Kontou, Dimitrios Krommydas

18

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
Semiring Provenance for Fixed-Point Logic
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

12

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

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
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
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

11

citations
Cooperative Elliptic Positioning Through Single UAV During GNSS Outages
2024 IEEE Transactions on Wireless Communications article Engineering Indoor and Outdoor Localization Technologies cited by 1 patent

Yiming Li, Xinyuan Zhang, Xiaoshuai Li, Zhihe Chen, Yulin Hu, Junan Yang, +1 more

10

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
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
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
Learning Interactions between Rydberg Atoms
2025 PRX Quantum article Physics and Astronomy Quantum many-body systems Open access

Olivier Simard, Anna Dawid, Joseph Tindall, Michel Ferrero, Antoine Georges

3

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
Quantum channel coding: Approximation algorithms and strong converse exponents
2025 Quantum article Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Mario Berta

2

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
Tangles and Hierarchical Clustering
2024 SIAM Journal on Discrete Mathematics article Computer Science Advanced Graph Theory Research

Eva Fluck

1

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
Convergence of the Immersed Interface Method in Linear Elasticity
2026 La Matematica article Engineering Advanced Numerical Methods in Computational Mathematics Open access

Sabia Asghar, Qiyao Peng

0

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