Simon Schwarz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Heat kernel asymptotics for scaling limits of isoradial graphs (available as arXiv preprint)	N/A	Paper
Gröbner bases for Boolean function minimization Mathematics in Computer Science	2025-10-10	Paper
Heat kernel asymptotics for scaling limits of isoradial graphs Potential Analysis	2025-08-01	Paper
Automatic bit- and memory-precise verification of eBPF code	2025-02-19	Paper
Exploring partial models with SCL	2025-02-19	Paper
Efficient random walks on Riemannian manifolds Foundations of Computational Mathematics	2025-02-18	Paper
Sub-Riemannian Random Walks: From Connections to Retractions	2023-11-28	Paper
Efficient Random Walks on Riemannian Manifolds	2022-02-02	Paper
SPASS-SATT. A CDCL(LA) solver	2020-03-10	Paper
On the mean-field limit of bosons with Coulomb two-body interaction Communications in Mathematical Physics	2009-09-25	Paper
On the mean-field limit of bosons with Coulomb two-body interaction Communications in Mathematical Physics	2009-09-25	Paper
Mean-field- and classical limit of many-body Schrödinger dynamics for bosons Communications in Mathematical Physics	2007-10-11	Paper
scientific article; zbMATH DE number 2034418 (Why is no real title available?) (available as arXiv preprint)	2004-01-28	Paper

Research outcomes over time

This page was built for person: Simon Schwarz