Jujian Zhang

According to our database, Jujian Zhang authored at least 7 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Formalisation of the Category of Hopf Algebras in Lean4.

Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou

Proceedings of the Mathematical Software - ICMS 2024, 2024

2023

Formalising the Proj Construction in Lean.

Jujian Zhang

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Graded Rings in Lean's Dependent Type Theory.

Eric Wieser, Jujian Zhang

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Multi-Metric Induced Robust Graph.

Zengmin Geng, Xiaodong Sun, Jianxia Du, Jujian Zhang, Yiling Zhou

IEEE Access, 2021

2020

Content Extraction Method of Educational Resources Based on DOM.

Jujian Zhang, Ting Cheng

Proceedings of the CIPAE 2020: 2020 International Conference on Computers, 2020

2019

Modeling of Resources Management Based on Hierarchical Concept and Nested Theory.

Jujian Zhang

Proceedings of the International Conference on Artificial Intelligence and Advanced Manufacturing, 2019

2009

Research on Domain-Specific Text Classifier.

Zengmin Geng, Jujian Zhang, Xuefei Li, Jianxia Du

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009