1 citations · 1 across the 8 of their papers we have counts for
8 papers
M2F: Automated Formalization of Mathematical Literature at Scale
Zichen Wang, Wanli Ma, Zhenyu Ming +3
Automated formalization of mathematics enables mechanical verification but remains limited to isolated theorems and short snippets. Scaling to textbooks and research papers is larg…
Low-rank quaternion tensor completion for color video inpainting via a novel factorization strategy
Zhenzhi Qin, Zhenyu Ming, Defeng Sun +1
Recently, a quaternion tensor product named Qt-product was proposed, and then the singular value decomposition and the rank of a third-order quaternion tensor were given. From a mo…
Flow-Level Packet Loss Detection via Sketch Decomposition and Matrix Optimization
Zhenyu Ming, Wei Zhang, Yanwei Xu
For cloud service providers, fine-grained packet loss detection across data centers is crucial in improving their service level and increasing business income. However, the inabili…
Harmonic Retrieval with -Tucker Tensor Decomposition
Zhenting Luan, Zhenyu Ming, Yuchi Wu +4
Harmonic retrieval (HR) has a wide range of applications in the scenes where signals are modelled as a summation of sinusoids. Past works have developed a number of approaches to r…
A Convergent Semi-Proximal Alternating Direction Method of Multipliers for Recovering Internet Traffics from Link Measurements
Zhenyu Ming, Liping Zhang, Hao Wu +4
It is challenging to recover the large-scale internet traffic data purely from the link measurements. With the rapid growth of the problem scale, it will be extremely difficult to…
A Polynomially Irreducible Functional Basis of Elasticity Tensors
Zhenyu Ming, Yannan Chen, Liqun Qi +1
Tensor function representation theory is an essential topic in both theoretical and applied mechanics. For the elasticity tensor, Olive, Kolev and Auffray (2017) proposed a minimal…
A Polynomially Irreducible Functional Basis of Hemitropic Invariants of Piezoelectric Tensors
Y. Chen, Z. Ming, L. Qi +1
For piezoelectric tensors, Olive (2014) proposed a minimal integrity basis of 495 hemitropic invariants, which is also a functional basis. In this article, we construct a new funct…
An Irreducible Polynomial Functional Basis of Two-dimensional Eshelby Tensors
Zhenyu Ming, Liping Zhang, Yannan Chen
Representation theorems for both isotropic and anisotropic functions are of prime importance in both theoretical and applied mechanics. The Eshelby inclusion problem is very fundam…