From

Institution

Field

Type

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

Reset

Papers matching “mathematical proof” 6

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 Computer Science Artificial Intelligence Applications Open access

Markus Pantsar

18

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
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
Integrating quantum and classical computing for multi-energy system optimization using Benders decomposition
2024 Computers & Chemical Engineering article Computer Science Quantum Computing Algorithms and Architecture Open access

Ludger Leenders, Martin Sollich, Christiane Reinert, André Bardow

9

citations
Real-time auralisation for music performers on virtual stages: general definitions and pilot study with guitar duets
2025 Journal of New Music Research article Computer Science Music Technology and Sound Studies Open access

Ernesto Accolti, Lukas Aspöck, Manuj Yadav, Michael Vorländer

1

citations

6 results