Login / Signup
Siran Lei
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Classical First Order Logic
Predicate Logic
Proof Theoretic
Sequent Calculi
Top Venues
ICEMT
ICCSE (2)
Symmetry
ICVISP
</>
Publications
</>
Jing Zhang
,
Siran Lei
,
Guoyao Xu
,
Jiajian Zhuo
,
Yongsheng Rao
Construction of N-ARCS Teaching Model for Deep Learning of Mathematics for Secondary School Students.
ICEMT
(2023)
Yongsheng Rao
,
Siran Lei
,
Ali Asghar Talebi
,
Masomeh Mojahedfar
A Novel Concept of Level Graph in Interval-Valued Fuzzy Graphs with Application.
Symmetry
15 (12) (2023)
Yongsheng Rao
,
Ningxin Chen
,
Qixing Zhou
,
Siran Lei
,
Ruiqi Cai
,
Ruxian Chen
Design and Practice of Innovation Education Based on DM-DCCSE Model.
ICEMT
(2023)
Jing Zhang
,
Jinghui Gao
,
Siran Lei
,
Ruxian Chen
,
Ya Li
,
Yongsheng Rao
Research on NetPad Teaching Mode Based on ARCS Motivational Model.
ICCSE (2)
(2022)
Siran Lei
,
Mengqi Cheng
,
Jianguo Jiang
Tactics for Proving Separation Logic Assertion in Coq Proof Assistant.
ICVISP
(2019)