Zhengfeng Yang

1. Approximate factorization of multivariate polynomials using singular value decomposition
   2007/12/05 by Erich Kaltofen, John P. May, Zhengfeng Yang +1 · 3 citations
   Computer Science · Mathematics · #Algorithm #Applied mathematics #Computer science #Decomposition #Digital Filter Design and Implementation #Factorization #Generalization #Mathematical analysis #Mathematics #Multivariate statistics #Numerical Methods and Algorithms #Polynomial and algebraic computation #Set (abstract data type) #Singular value decomposition #Statistics
2. Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
   2022/11/07 by Andrey Ignatov, Ignatov, Andrey, Radu Timofte +188 · 1 citation
   Computer Science · Engineering · #Advanced Image Processing Techniques #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image Processing Techniques and Applications #Image and Video Processing (eess.IV) #electronic engineering #information engineering
3. A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
   2025/02/25 by Beibei Xiong, Xiong, Beibei, Hao Lv +8 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems
4. A Proof of the Dittert Conjecture in Dimension 4 via an Agent-Guided Exact Sum-of-Squares Certificate
   2026/07/31 by Jinhui Li, Beibei Xiong, Zhengfeng Yang
   Computer Science · #cs.SC