Archive for March, 2024

Research infographic – Robotically automated 3D printing and testing of thermoplastic material specimens

25 Mar 2024

We’re pleased to share this new infographic on research from Haranczyk et al.

An infographic summarising the linked article.

Read the article here:

Robotically automated 3D printing and testing of thermoplastic material specimens

Miguel Hernández-del-Valle, Christina Schenk, Lucía Echevarría-Pastrana, Burcu Ozdemir, Enrique Dios-Lázaro, Jorge Ilarraza-Zuazo, De-Yi Wang and Maciej Haranczyk, Digital Discovery, 2023, 2, 1969–1979

Comments Off on Research infographic – Robotically automated 3D printing and testing of thermoplastic material specimens

“Formalizing chemical physics using the Lean theorem prover” featured on Breaking Math

19 Mar 2024

Josephson et al.‘s paper “Formalizing chemical physics using the Lean theorem prover” is featured on a new episode of the Breaking Math podcast! Find it at the links below or in your favourite podcatcher.

Apple Podcasts

Spotify podcasts

Read the open access article here.

Comments Off on “Formalizing chemical physics using the Lean theorem prover” featured on Breaking Math