Cited By
View all- Hivert FStark KTimany ABlazy STabareau N(2025)Machine Checked Proofs and Programs in Algebraic CombinatoricsProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705885(214-230)Online publication date: 10-Jan-2025
- 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–Fe2O3–SiO2 slagInternational Journal of Materials Research10.3139/146.111942111:9(733-743)Online publication date: 16-Sep-2020
- Joosten SThiemann RYamada A(2018)A Verified Implementation of Algebraic Numbers in Isabelle/HOLJournal of Automated Reasoning10.1007/s10817-018-09504-w64:3(363-389)Online publication date: 9-Dec-2018
- Show More Cited By