Cited By
View all- Shishin DHidayat TSultana UShevchenko MJak E(2020) Experimental measurement and thermodynamic model predictions of the distributions of Cu, As, Sb and Sn between liquid lead and PbO–FeO–Fe 2 O 3 –SiO 2 slag International Journal of Materials Research10.3139/146.111942Online publication date: 13-Aug-2020
- Joosten SThiemann RYamada A(2018)A Verified Implementation of Algebraic Numbers in Isabelle/HOLJournal of Automated Reasoning10.1007/s10817-018-09504-wOnline publication date: 9-Dec-2018
- Thiemann RYamada A(2016)Algebraic Numbers in Isabelle/HOLInteractive Theorem Proving10.1007/978-3-319-43144-4_24(391-408)Online publication date: 7-Aug-2016