2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.GT2021★ 2 cited
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Sylvain Carré, Franck Gabriel, Clément Hongler +2
Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, p…
cond-mat.mtrl-sci2016
Localized holes and delocalized electrons in photoexcited inorganic perovskites: Watching each atomic actor by picosecond X-ray absorption spectroscopy
Fabio G. Santomauro, Jakob Grilj, Lars Mewes +16
We report on an element-selective study of the fate of charge carriers in photoexcited inorganic CsPbBr3 and CsPb(ClBr)3 perovskite nanocrystals (NCs) in toluene solutions using ti…