Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Ma, Dun"'
Autor:
Shao, Wu, Cen, Ronghao, Sheng, Jie, Ma, Dun, He, Jingshan, He, Jingwen, Ding, Tian, Wu, Wenjun
Publikováno v:
In Device 17 May 2024 2(5)
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (August 5, 2024) lmcs:9980
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of
Externí odkaz:
http://arxiv.org/abs/2102.08207
Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian words.
C
C
Externí odkaz:
http://arxiv.org/abs/2102.01727
Autor:
Sheng, Jie, He, Jingshan, Ma, Dun, Wang, Yuanbo, Shao, Wu, Ding, Tian, Cen, Ronghao, He, Jingwen, Deng, Zhihao, Wu, Wenjun
Publikováno v:
In Carbon 5 January 2024 216
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Chinese Chemical Letters December 2023 34(12)
Autor:
Chen, Tianshu, Huang, Liubin, Zhang, Xin, Gao, Rui, Li, Hong, Fan, Kai, Ma, Dun, Ma, Zhaokun, Xue, Likun, Wang, Wenxing
Publikováno v:
In Science of the Total Environment 15 September 2022 839
Autor:
He, Jingshan, He, Jingwen, Ma, Dun, Shao, Wu, Sheng, Jie, Zhang, Huidong, Zhang, Liming, Zou, Can, Ding, Tian, Cen, Ronghao, Yang, Shuang, Chen, Qi, Wu, Yongzhen, Wu, Wenjun, Zhu, Wei‐Hong
Publikováno v:
Advanced Functional Materials; 11/12/2024, Vol. 34 Issue 46, p1-10, 10p
Publikováno v:
In Solar Energy 1 November 2021 228:439-446
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.