121 citations · 124 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 3 cited
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
Klaus Miesenberger, Walther Neuper, Bernhard Stöger +1
The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals…
cond-mat.mtrl-sci2013★ 121 cited
Anisotropic two-dimensional electron gas at SrTiO3(110) protected by its native overlayer
Zhiming Wang, Zhicheng Zhong, Xianfeng Hao +8
Two dimensional electron gases (2DEGs) at a oxide heterostructures are attracting considerable attention, as these might substitute conventional semiconductors for novel electronic…