D. Mackenzie

Available identifiers

Publication	Date of Publication	Type
Higher-order and higher floating-point precision numerical approximations of finite strain elasticity moduli	2024-04-30	Paper
Isotropic hyperelasticity in principal stretches: explicit elasticity tensors and numerical implementation	2020-01-03	Paper
Multi-physics simulation of friction stir welding process	2014-04-04	Paper
Models of markets : Finance theory and the historical sociology of arbitrage / Les modèles de marché : La théorie financière et l'histoire sociologique de l'arbitrage	2010-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q3629618	2009-06-02	Paper
Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’	2009-01-20	Paper
Computing and the cultures of proving	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q4664201	2005-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q3154457	2005-01-14	Paper
A computer algebra based finite element development environment	2002-01-22	Paper
The automation of proof: a historical and sociological exploration	2000-09-10	Paper
Closed form integration of element stiffness matrices using a computer algebra system	1998-11-01	Paper
The Influence of the Los Alamos and Livermore National Laboratories on the Development of Supercomputing	1991-01-01	Paper

This page was built for person: D. Mackenzie