Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling of Resources Management Based on Hierarchical Concept and Nested Theory.. AIAM (IEEE), Seite 355-359. IEEE, (2019)Content Extraction Method of Educational Resources Based on DOM., und . CIPAE, Seite 435-441. ACM, (2020)Research on Domain-Specific Text Classifier., , , und . CSIE (5), Seite 559-563. IEEE Computer Society, (2009)Formalising the Proj Construction in Lean.. ITP, Volume 268 von LIPIcs, Seite 35:1-35:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Formalisation of the Category of Hopf Algebras in Lean4., , , und . ICMS, Volume 14749 von Lecture Notes in Computer Science, Seite 78-86. Springer, (2024)Multi-Metric Induced Robust Graph., , , , und . IEEE Access, (2021)Graded Rings in Lean's Dependent Type Theory., und . CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2022)CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics., , , , , , , , , und 5 andere Autor(en). CoRR, (Mai 2025)