From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 28

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
2025 Topoi article Computer Science Computability, Logic, AI Algorithms Open access

Markus Pantsar

1

citations
The need for ethical guidelines in mathematical research in the time of generative AI
2025 AI and Ethics article Computer Science Explainable Artificial Intelligence (XAI) Open access

Markus Pantsar

1

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Software Reliability and Analysis Research Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

13

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

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

0

citations
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
2020 CEUR Workshop Proceedings article Computer Science Computational Geometry and Mesh Generation Open access

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

0

citations
Variations of central limit theorems and Stirling numbers of the first kind
2023 Discrete Mathematics Letters article Mathematics Advanced Differential Equations and Dynamical Systems 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 Random Matrices and Applications Open access

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

3

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

Wadim Gerner

1

citations
A Wasserstein coupled particle filter for multilevel estimation
2022 Stochastic Analysis and Applications article Mathematics Statistical Methods and Inference Open access

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

9

citations
Learning properties of quantum states without the IID assumption
2024 Nature Communications article Computer Science Quantum Computing Algorithms and Architecture Open access

Omar Fawzi, Richard Kueng, Damian Markham, Aadil Oufkir

5

citations
Asymptotic quantification of entanglement with a single copy
2026 Nature Physics article Physics and Astronomy Quantum Mechanics and Applications Open access

Ludovico Lami, Mario Berta, Bartosz Regula

4

citations
Multiplier systems for Siegel modular groups
2024 International Journal of Number Theory article Mathematics Finite Group Theory Research

Eberhard Freitag, Adrian Hauffe-Waschbüsch

0

citations
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Semantic Web and Ontologies Open access

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

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
Semiring Provenance for Fixed-Point Logic
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Decision Sciences Scientific Computing and Data Management 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 Quantum Computing Algorithms and Architecture Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

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

Umberto L. Hryniewicz

10

citations
Cooperative Elliptic Positioning Through Single UAV During GNSS Outages
2024 IEEE Transactions on Wireless Communications article Engineering Robotics and Sensor-Based Localization cited by 1 patent

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

10

citations
General network production theory for good and bad inputs and outputs
2025 Journal of Productivity Analysis article Decision Sciences Efficiency Analysis Using DEA Open access

Harald Dyckhoff

5

citations
Bayesian inversion for electromyography using low-rank tensor formats
2021 Inverse Problems article Mathematics Tensor decomposition and applications 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 Computing Algorithms and Architecture 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 Advanced Mathematical Physics Problems Open access

Francesca Da Lio, Katarzyna Mazowiecka, Armin Schikorra

2

citations