19 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 4 cited
Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the…
astro-ph.IM2014★ 19 cited
The THU-NAOC Transient Survey: the Performance and the First-year Result
Tianmeng Zhang, Xiaofeng Wang, Junchen Chen +18
The Tsinghua University-National Astronomical Observatories of China (NAOC) Transient Survey (TNTS) is an automatic survey for a systematic exploration of optical transients (OTs),…