Matthias Fuchs

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
Evaluation of the probability current in the stochastic path integral formalism Journal of Physics A: Mathematical and Theoretical	2025-09-17	Paper
CODE: A powerful prover for problems of condensed detachment Automated Deduction—CADE-14	2019-10-01	Paper
Evolving combinators Automated Deduction—CADE-14	2019-10-01	Paper
Experiments in the heuristic use of past proof experience Automated Deduction — Cade-13	2019-01-15	Paper
Non-equilibrium relation between mobility and diffusivity of interacting Brownian particles under shear Progress of Theoretical Physics Supplement	2010-10-22	Paper
Hard discs under steady shear: comparison of Brownian dynamics simulations and mode coupling theory Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences	2010-08-05	Paper
MCT Results for a simple liquid at the glass transition Transport Theory and Statistical Physics	1997-11-09	Paper
scientific article; zbMATH DE number 3909242 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Matthias Fuchs