A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. - Lu Yang; Hongguang Fu; Zhenbing Zeng (CADE, 1997)

The Vega Grid and Grid-Based Education. - Zhiwei Xu 002; Wei Li 008; Hongguang Fu; Zhenbing Zeng (ICWL, 2002)

Mathematics Education over the Internet Based on Vega Grid Technology. - Zhiwei Xu 002; Wei Li 008; Hongguang Fu; Zhenbing Zeng (Int. J. Distance Educ. Technol., 2003)

Symbolic Solution of a Piano Movers' Problem with Four Parameters. - Lu Yang; Zhenbing Zeng (Automated Deduction in Geometry, 2004)

Automatic Generation of Mathematical Expressions of Printed Chinese Characters. - Jinzhao Wu; Wenyin Zhang; Zhenbing Zeng (Computational Intelligence, 2005)

An open problem on metric invariants of tetrahedra. - Lu Yang; Zhenbing Zeng (ISSAC, 2005)

Image Retrieval Based on Salient Points from DCT Domain. - Wenyin Zhang; Zhenli Nie; Zhenbing Zeng (MICAI, 2005)

Constructing a Tetrahedron with Prescribed Heights and Widths. - Lu Yang; Zhenbing Zeng (Automated Deduction in Geometry, 2006)

Automated and readable simplification of trigonometric expressions. - Hongguang Fu; Xiuqin Zhong; Zhenbing Zeng (Math. Comput. Model., 2006)

Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. - Liangyu Chen 001; Zhenbing Zeng (ASCM, 2007)

Machine Cognition and Learning Based on Interactive Symbolic Computation. - Guangxi Chen; Zhenbing Zeng; Zhongqin Bi (IPC, 2007)

Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. - Zhenbing Zeng; Meijing Shan (SAC, 2007)

A new mechanical algorithm for solving system of Volterra integral equation. - Weiming Wang 001; Zhenbing Zeng; Lu Yang (SNPD (3), 2007)

Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. - Qiang Guan; Long Wang 001; Bican Xia; Lu Yang; Wensheng Yu; Zhenbing Zeng (Sci. China Ser. F Inf. Sci., 2007)

On the Heilbronn Optimal Configuration of Seven Points in the Square. - Zhenbing Zeng; Liangyu Chen 001 (Automated Deduction in Geometry, 2008)

A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method. - Weiming Wang 001; Yezhi Lin; Zhenbing Zeng (ICIC (1), 2008)

On the Best Bezier Approximation of Ellipses. - Zhenbing Zeng; Liangyu Chen 001 (CSO (2), 2009)

Finding positively invariant sets of a class of nonlinear loops via curve fitting. - Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (SNC, 2009)

A linear-time algorithm for paired-domination problem in strongly chordal graphs. - Lei Chen 007; Changhong Lu; Zhenbing Zeng (Inf. Process. Lett., 2009)

Multiple classifier integration for the prediction of protein structural classes. - Lei Chen 007; Lin Lu; Kairui Feng; Wenjin Li; Jie Song; Lulu Zheng; Youlang Yuan; Zhenbing Zeng; Kai-Yan Feng; Wen-Cong Lu; Yudong Cai 001 (J. Comput. Chem., 2009)

Hardness results and approximation algorithms for (weighted) paired-domination in graphs. - Lei Chen 007; Changhong Lu; Zhenbing Zeng (Theor. Comput. Sci., 2009)

Distance paired-domination problems on subclasses of chordal graphs. - Lei Chen 007; Changhong Lu; Zhenbing Zeng (Theor. Comput. Sci., 2009)

Termination of Loop Programs with Polynomial Guards. - Bin Wu; Liyong Shen; Zhongqin Bi; Zhenbing Zeng (ICCSA (4), 2010)

Real Root Isolation of Multi-Exponential Polynomials with Application. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (WALCOM, 2010)

Termination Analysis of Linear Loops. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-Bin Li 005 (Int. J. Found. Comput. Sci., 2010)

Reachability analysis of rational eigenvalue linear systems. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (Int. J. Syst. Sci., 2010)

Labelling algorithms for paired-domination problems in block and interval graphs. - Lei Chen 007; Changhong Lu; Zhenbing Zeng (J. Comb. Optim., 2010)

A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. - Ming Xu 010; Chuandong Mu; Zhenbing Zeng; Zhi-bin Li 005 (J. Univers. Comput. Sci., 2010)

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points - Bin Wu; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (CoRR, 2011)

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. - Liangyu Chen 001; Tuo Leng; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (ASCM, 2012)

Differential elimination with Dixon resultants. - Lu Yang; Zhenbing Zeng; Weinian Zhang (Appl. Math. Comput., 2012)

Vertices in all minimum paired-dominating sets of block graphs. - Lei Chen 007; Changhong Lu; Zhenbing Zeng (J. Comb. Optim., 2012)

Parallel computation of determinants of matrices with multivariate polynomial entries. - Liangyu Chen 001; Zhenbing Zeng (Sci. China Inf. Sci., 2013)

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. - Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (J. Syst. Sci. Complex., 2013)

Safety verification of nonlinear systems based on rational invariants. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (SNC, 2014)

Exact safety verification of hybrid systems using sums-of-squares representation. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Sci. China Inf. Sci., 2014)

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Frontiers Comput. Sci., 2014)

An upper bound of Heilbronn number for eight points in triangles. - Liangyu Chen 001; Zhenbing Zeng; Wei Zhou (J. Comb. Optim., 2014)

Graphs with unique minimum paired-dominating set. - Lei Chen 007; Changhong Lu; Zhenbing Zeng (Ars Comb., 2015)

初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). - Jian Liu; Min Tang; Xia Zeng; Zhenbing Zeng (计算机科学, 2015)

Resultant elimination via implicit equation interpolation. - Min Tang; Zhengfeng Yang; Zhenbing Zeng (J. Syst. Sci. Complex., 2016)

Analyzing ultimate positivity for solvable systems. - Ming Xu 010; Cheng-Chao Huang; Zhi-Bin Li 005; Zhenbing Zeng (Theor. Comput. Sci., 2016)

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. - Xia Zeng; Wang Lin; Zhengfeng Yang; Zhenbing Zeng (Sci. China Inf. Sci., 2017)

Verification for Non-polynomial Hybrid Systems Using Rational Invariants. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Comput. J., 2017)

Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. - Liangyu Chen 001; Yaochen Xu; Zhenbing Zeng (J. Glob. Optim., 2017)

Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation. - Min Tang; Bingyu Li; Zhenbing Zeng (J. Syst. Sci. Complex., 2018)

A Probabilistic Algorithm for Verification of Geometric Theorems. - Mingyan Chen; Zhenbing Zeng (AAIM, 2019)

On the Structure of Discrete Metric Spaces Isometric to Circles. - Andreas W. M. Dress; Hiroshi Maehara; Sabrina Xing Mei Pang; Zhenbing Zeng (AAIM, 2019)

Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. - Zhenbing Zeng; Liangyu Chen 001 (CASC, 2019)

On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. - Zhenbing Zeng; Lu Yang; Lydia Dehbi (ISSAC, 2019)

The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple. - Xiaofeng Guo; Tuo Leng; Zhenbing Zeng (MC, 2019)

A Heilbronn Type Inequality for Plane Nonagons. - Zhenbing Zeng; Jian Lu; Lydia Dehbi; Liangyu Chen 001; Jianlin Wang (MC, 2019)

Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. - Zhenbing Zeng; Jianlin Wang; Zhengfeng Yang (TASE, 2019)

A Maple Exploration of Problem 6 of the IMO 88. - Zhenbing Zeng; Xiang Sun; Yong Huang 001; Yaochen Xu; Xiaoru Chen; Lu Yang (MC, 2020)

An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. - Zhenbing Zeng; Yaochen Xu; Zhengfeng Yang; Zhi-Bin Li 005 (MC, 2020)

A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. - Jianlin Wang; Chao Peng 004; Zhenbing Zeng (TASE, 2020)

On Geometric Property of Fermat-Torricelli Points on Sphere. - Zhenbing Zeng; Yu Chen; Xiang Sun; Yuzheng Wang (CASC, 2021)

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. - Zhengfeng Yang; Yidan Zhang; Wang Lin; Xia Zeng; Xiaochao Tang; Zhenbing Zeng; Zhiming Liu 001 (CAV (1), 2021)

A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. - Cheng Chen 015; Liangyu Chen 001; Zhenbing Zeng; Dang Lin (HPCC/DSS/SmartCity/DependSys, 2021)

Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. - Zhenbing Zeng; Jian Lu; Yaochen Xu; Yuzheng Wang (ADG, 2021)

An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. - Hao Xue; Xia Zeng; Wang Lin; Zhengfeng Yang; Chao Peng 004; Zhenbing Zeng (ACCV (1), 2022)

A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. - Zhenbing Zeng; Yaochen Xu; Yu Chen; Zhengfeng Yang (CASC, 2022)

Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report. - Andrey Ignatov; Radu Timofte; Maurizio Denna; Abdel Younes; Ganzorig Gankhuyag; Jingang Huh; Myeong Kyun Kim; Kihwan Yoon; Hyeon-Cheol Moon; Seungho Lee; Yoonsik Choe; Jinwoo Jeong; et al. (ECCV Workshops (3), 2022)

Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. - Liangyu Chen 001; Jianjun Wei; Zhenbing Zeng; Min Zhang 002 (HPCC/DSS/SmartCity/DependSys, 2022)

Robust Training with Feature-Based Adversarial Example. - Xuanming Fu; Zhengfeng Yang; Hao Xue; Jianlin Wang; Zhenbing Zeng (ICPR, 2022)

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. - Xiaochao Tang; Zhengfeng Yang; Xuanming Fu; Jianlin Wang; Zhenbing Zeng (TASE, 2022)

Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report. - Andrey Ignatov; Radu Timofte; Maurizio Denna; Abdel Younes; Ganzorig Gankhuyag; Jingang Huh; Myeong Kyun Kim; Kihwan Yoon; Hyeon-Cheol Moon; Seungho Lee; Yoonsik Choe; Jinwoo Jeong; et al. (CoRR, 2022)

Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective. - Xuanming Fu; Zhengfeng Yang; Zhenbing Zeng; Yidan Zhang; Qianting Zhou (ISPRS Int. J. Geo Inf., 2022)

Heilbronn's Problem of Eight Points in the Square. - Lydia Dehbi; Zhenbing Zeng (J. Syst. Sci. Complex., 2022)

The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. - Lydia Dehbi; Zhenbing Zeng; Lu Yang (J. Symb. Comput., 2022)

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. - Xia Zeng; Zhengfeng Yang; Li Zhang; Xiaochao Tang; Zhenbing Zeng; Zhiming Liu 001 (AAAI, 2023)

Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. - Zhengfeng Yang; Li Zhang; Xia Zeng; Xiaochao Tang; Chao Peng 004; Zhenbing Zeng (CAV (1), 2023)

Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. - Jiahao Chao; Zhou Zhou 015; Hongfan Gao; Jiali Gong; Zhengfeng Yang; Zhenbing Zeng; Lydia Dehbi (CVPR, 2023)

Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report. - Marcos V. Conde; Eduard Zamfir; Radu Timofte; Daniel Motilla; Cen Liu; Zexin Zhang; Yunbo Peng; Yue Lin 002; Jiaming Guo; Xueyi Zou; Yuyi Chen; Yi Liu; et al. (CVPR Workshops, 2023)

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. - Hanrui Zhao; Xia Zeng; Niuniu Qi; Zhengfeng Yang; Zhenbing Zeng (DAC, 2023)

Kernel Estimation and Deconvolution for Blind Image Super-Resolution. - Jiali Gong; Hongfan Gao; Jiahao Chao; Zhou Zhou 015; Zhengfeng Yang; Zhenbing Zeng (ICASSP, 2023)

A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. - Jiahao Chao; Zhou Zhou 015; Hongfan Gao; Jiali Gong; Zhenbing Zeng; Zhengfeng Yang (IJCAI, 2023)

Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. - Zhou Zhou 015; Jiahao Chao; Jiali Gong; Hongfan Gao; Zhenbing Zeng; Zhengfeng Yang (ACM Multimedia, 2023)

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Qike Huang; Xiaoxiao Jin; Yanjun Guo; Chenyang Mao; Zhe Zhu; Dengfeng Yue; Fangzhen Zhu; Yang Li 151; et al. (CoRR, 2023)

Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5. - Yaochen Xu; Zhenbing Zeng; Jian Lu; Yuzheng Wang; Liangyu Chen 001 (Ann. Math. Artif. Intell., 2023)

Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. - Xia Zeng; Banglong Liu; Zhenbing Zeng; Zhiming Liu 001; Zhengfeng Yang (DAC, 2024)

Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. - Hanrui Zhao; Niuniu Qi; Mengxin Ren; Xia Zeng; Zhenbing Zeng; Zhengfeng Yang (DAC, 2024)

A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2). - Zhenbing Zeng; Jian Lu; Liangyu Chen (ICTAC, 2024)

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Cheng Qin; Yang Li 151; Zhenbing Zeng; Tuo Leng (CoRR, 2024)