3
Publications
51
Citations
3
H-Index
2020
Active since
Affiliations
Yijun He is an author at Collaborative Innovation Center of Quantum Matter specializing in quantum field theory.
Top concepts
Publications per year
2020–2022
3
3
Certified Quantum Computation in Isabelle/HOL
Anthony Bordg, Hanna Lachnitt, Yijun He · Journal of Automated Reasoning · 2020 · 23 citations · Full text
λ-Deformed AdS5 × S5 superstring from 4D Chern-Simons theory
Jia Tian, Yijun He, Bin Chen · Nuclear Physics B · 2021 · 14 citations · Full text
Rows per page
1–3 of 3