Eric Whitman Smith

Available identifiers

zbMath Open smith.eric-whitmanMaRDI QIDQ5477653

List of research outcomes

Publication	Date of Publication	Type
A versatile, sound tool for simplifying definitions	2024-08-21	Paper
Polymorphic types in ACL2	2024-08-19	Paper
Action Functional Gradient Descent algorithm for estimating escape paths in Stochastic Chemical Reaction Networks	2022-10-24	Paper
Path-reversal, Doi-Peliti generating functionals, and dualities between dynamics and inference for stochastic processes	2018-06-06	Paper
Large-deviation principles, stochastic effective actions, path entropies, and the structure and meaning of thermodynamic descriptions	2011-02-18	Paper
A simple derivation and classification of common probability distributions based on information symmetry and measurement scale	2010-10-11	Paper
Meta Reasoning in ACL2	2006-07-06	Paper

Research outcomes over time

This page was built for person: Eric Whitman Smith