Matthias Fuchs

Available identifiers

zbMath Open fuchs.matthias.1MaRDI QIDQ3162899

List of research outcomes

Publication	Date of Publication	Type
CODE: A powerful prover for problems of condensed detachment	2019-10-01	Paper
Evolving combinators	2019-10-01	Paper
Experiments in the heuristic use of past proof experience	2019-01-15	Paper
Non-equilibrium relation between mobility and diffusivity of interacting Brownian particles under shear	2010-10-22	Paper
Hard discs under steady shear: comparison of Brownian dynamics simulations and mode coupling theory	2010-08-05	Paper
MCT Results for a simple liquid at the glass transition	1997-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q3685603	1985-01-01	Paper

Research outcomes over time

This page was built for person: Matthias Fuchs