Zhenbing Zeng - RankMe

96 papers A* 9A 1B 7C 3Misc 5Journal 42Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Learning to select cutting planes in mixed integer linear programming solving. Expert Syst. Appl. Xuefeng Zhang, Liangyu Chen, Zhengfeng Yang, Zhenbing Zeng
2026	J	`jnl`	Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hanrui Zhao, Mengxin Ren, Banglong Liu, Niuniu Qi, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang
2026	A*	`conf`	Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. AAAI Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2025	J	`jnl`	A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients. CoRR Zhenbing Zeng, Yong Huang, Lu Yang, Yongsheng Rao
2025	—	`conf`	A Thought Experiment for Making Computers to Discover Euclidean Geometry Theorems Automatically. ICIT Zhenbing Zeng, Jian Lu, Yaochen Xu, Niuniu Qi
2025	J	`jnl`	An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints. Inf. Comput. Niuniu Qi, Xia Zeng, Banglong Liu, Zhengfeng Yang, Xiaochao Tang, Li Zhang, Chao Peng, Zhenbing Zeng
2025	—	`conf`	Automated Discovery of Geometry Theorems via Invariant Learning on Configuration Dataset. CSAI Zhenbing Zeng, Jian Lu, Yaochen Xu, Bin Wu
2025	A*	`conf`	FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network. IJCAI Xiaokai Zhang, Yang Li, Na Zhu, Cheng Qin, Zhenbing Zeng, Tuo Leng
2025	J	`jnl`	Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving. J. Syst. Sci. Complex. Niuniu Qi, Lydia Dehbi, Banglong Liu, Zhengfeng Yang, Zhenbing Zeng
2025	J	`jnl`	Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. CoRR Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2024	C	`conf`	A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2). ICTAC Zhenbing Zeng, Jian Lu, Liangyu Chen
2024	J	`jnl`	FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. CoRR Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng
2024	J	`jnl`	FGeo-Parser: Autoformalization and Solution of Plane Geometric Problems. Symmetry Na Zhu, Xiaokai Zhang, Qike Huang, Fangzhen Zhu, Zhenbing Zeng, Tuo Leng
2024	A*	`conf`	Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. DAC Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang
2024	A*	`conf`	Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. DAC Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang
2023	A*	`conf`	A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. IJCAI Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhenbing Zeng, Zhengfeng Yang
2023	—	`conf`	Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report. CVPR Workshops Marcos V. Conde, Eduard Zamfir, Radu Timofte, Daniel Motilla, Cen Liu, Zexin Zhang, Yunbo Peng, Yue Lin, Jiaming Guo, Xueyi Zou, Yuyi Chen, Yi Liu, Jia Hao, Youliang Yan, Yuanfan Zhang, Gen Li, Lei Sun, Lingshun Kong, Haoran Bai, Jinshan Pan, Jiangxin Dong, Jinhui Tang, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Mingxi Li, Yuhang Zhang, Xianjun Fan, Yankai Sheng, Long Sun, Zibin Liu, Weiran Gou, Shaoqing Li, Ziyao Yi, Yan Xiang, Dehui Kong, Ke Xu, Ganzorig Gankhuyag, Kihwan Yoon, Jin Zhang, Gaocheng Yu, Feng Zhang, Hongbin Wang, Zhou Zhou, Jiahao Chao, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Chengpeng Chen, Zichao Guo, Anjin Park, Yuqing Liu, Qi Jia, Hongyuan Yu, Xuanwu Yin, Dongyang Zhang, Ting Fu, Zhengxue Cheng, Shiai Zhu, Dajiang Zhou, Weichen Yu, Lin Ge, Jiahua Dong, Yajun Zou, Zhuoyuan Wu, Binnan Han, Xiaolin Zhang, Heng Zhang, Ben Shao, Shaolong Zheng, Daheng Yin, Baijun Chen, Mengyang Liu, Marian-Sergiu Nistor, Yi-Chung Chen, Zhi-Kai Huang, Yuan-Chun Chiang, Wei-Ting Chen, Hao-Hsiang Yang, Hua-En Chang, I-Hsiang Chen, Chia-Hsuan Hsieh, Sy-Yen Kuo, Tu Vo, Qingsen Yan, Yun Zhu, Jinqiu Su, Yanning Zhang, Cheng Zhang, Jiaying Luo, Youngsun Cho, Nakyung Lee, Kunlong Zuo
2023	A*	`conf`	Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. ACM Multimedia Zhou Zhou, Jiahao Chao, Jiali Gong, Hongfan Gao, Zhenbing Zeng, Zhengfeng Yang
2023	A*	`conf`	Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. CVPR Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi
2023	J	`jnl`	FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. CoRR Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Qike Huang, Xiaoxiao Jin, Yanjun Guo, Chenyang Mao, Zhe Zhu, Dengfeng Yue, Fangzhen Zhu, Yang Li, Yifan Wang, Yiwen Huang, Runan Wang, Cheng Qin, Zhenbing Zeng, Shaorong Xie, Xiangfeng Luo, Tuo Leng
2023	—	`conf`	Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng
2023	Misc	`conf`	Kernel Estimation and Deconvolution for Blind Image Super-Resolution. ICASSP Jiali Gong, Hongfan Gao, Jiahao Chao, Zhou Zhou, Zhengfeng Yang, Zhenbing Zeng
2023	J	`jnl`	Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5. Ann. Math. Artif. Intell. Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen
2023	A*	`conf`	Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. DAC Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng
2023	A*	`conf`	Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
2022	B	`conf`	A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang
2022	—	`conf`	An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. ACCV (1) Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng
2022	—	`conf`	Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report. ECCV Workshops (3) 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, SungJei Kim, Maciej Smyl, Tomasz Latkowski, Pawel Kubik, Michal Sokolski, Yujie Ma, Jiahao Chao, Zhou Zhou, Hongfan Gao, Zhengfeng Yang, Zhenbing Zeng, Zhengyang Zhuge, Chenghua Li, Dan Zhu, Mengdi Sun, Ran Duan, Yan Gao, Lingshun Kong, Long Sun, Xiang Li, Xingdong Zhang, Jiawei Zhang, Yaqi Wu, Jinshan Pan, Gaocheng Yu, Jin Zhang, Feng Zhang, Zhe Ma, Hongbin Wang, Hojin Cho, Steve Kim, Huaen Li, Yanbo Ma, Ziwei Luo, Youwei Li, Lei Yu, Zhihong Wen, Qi Wu, Haoqiang Fan, Shuaicheng Liu, Lize Zhang, Zhikai Zong, Jeremy Kwon, Junxi Zhang, Mengyuan Li, Nianxiang Fu, Guanchen Ding, Han Zhu, Zhenzhong Chen, Gen Li, Yuanfan Zhang, Lei Sun, Dafeng Zhang, Neo Yang, Fitz Liu, Jerry Zhao, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Shota Hirose, Kasidis Arunruangsirilert, Luo Ao, Ho Chun Leung, Andrew Wei, Jie Liu, Qiang Liu, Dahai Yu, Ao Li, Lei Luo, Ce Zhu, Seongmin Hong, Dongwon Park, Joonhee Lee, Byeong Hyun Lee, Seunggyu Lee, Se Young Chun, Ruiyuan He, Xuhao Jiang, Haihang Ruan, Xinjian Zhang, Jing Liu, Garas Gendy, Nabil Sabor, Jingchao Hou, Guanghui He
2022	J	`jnl`	Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report. CoRR 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, SungJei Kim, Maciej Smyl, Tomasz Latkowski, Pawel Kubik, Michal Sokolski, Yujie Ma, Jiahao Chao, Zhou Zhou, Hongfan Gao, Zhengfeng Yang, Zhenbing Zeng, Zhengyang Zhuge, Chenghua Li, Dan Zhu, Mengdi Sun, Ran Duan, Yan Gao, Lingshun Kong, Long Sun, Xiang Li, Xingdong Zhang, Jiawei Zhang, Yaqi Wu, Jinshan Pan, Gaocheng Yu, Jin Zhang, Feng Zhang, Zhe Ma, Hongbin Wang, Hojin Cho, Steve Kim, Huaen Li, Yanbo Ma, Ziwei Luo, Youwei Li, Lei Yu, Zhihong Wen, Qi Wu, Haoqiang Fan, Shuaicheng Liu, Lize Zhang, Zhikai Zong, Jeremy Kwon, Junxi Zhang, Mengyuan Li, Nianxiang Fu, Guanchen Ding, Han Zhu, Zhenzhong Chen, Gen Li, Yuanfan Zhang, et al.
2022	J	`jnl`	Heilbronn's Problem of Eight Points in the Square. J. Syst. Sci. Complex. Lydia Dehbi, Zhenbing Zeng
2022	J	`jnl`	Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective. ISPRS Int. J. Geo Inf. Xuanming Fu, Zhengfeng Yang, Zhenbing Zeng, Yidan Zhang, Qianting Zhou
2022	Misc	`conf`	Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. TASE Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng
2022	—	`conf`	Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. HPCC/DSS/SmartCity/DependSys Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang
2022	B	`conf`	Robust Training with Feature-Based Adversarial Example. ICPR Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng
2022	J	`jnl`	The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. J. Symb. Comput. Lydia Dehbi, Zhenbing Zeng, Lu Yang
2021	—	`conf`	A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. HPCC/DSS/SmartCity/DependSys Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin
2021	—	`conf`	An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
2021	—	`conf`	Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. ADG Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang
2021	B	`conf`	On Geometric Property of Fermat-Torricelli Points on Sphere. CASC Zhenbing Zeng, Yu Chen, Xiang Sun, Yuzheng Wang
2020	Misc	`conf`	A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. TASE Jianlin Wang, Chao Peng, Zhenbing Zeng
2020	—	`conf`	A Maple Exploration of Problem 6 of the IMO 88. MC Zhenbing Zeng, Xiang Sun, Yong Huang, Yaochen Xu, Xiaoru Chen, Lu Yang
2020	—	`conf`	An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. MC Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li
2019	—	`conf`	A Heilbronn Type Inequality for Plane Nonagons. MC Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang
2019	C	`conf`	A Probabilistic Algorithm for Verification of Geometric Theorems. AAIM Mingyan Chen, Zhenbing Zeng
2019	B	`conf`	Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. CASC Zhenbing Zeng, Liangyu Chen
2019	Misc	`conf`	Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. TASE Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang
2019	B	`conf`	On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. ISSAC Zhenbing Zeng, Lu Yang, Lydia Dehbi
2019	C	`conf`	On the Structure of Discrete Metric Spaces Isometric to Circles. AAIM Andreas W. M. Dress, Hiroshi Maehara, Sabrina Xing Mei Pang, Zhenbing Zeng
2019	—	`conf`	The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple. MC Xiaofeng Guo, Tuo Leng, Zhenbing Zeng
2018	J	`jnl`	Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation. J. Syst. Sci. Complex. Min Tang, Bingyu Li, Zhenbing Zeng
2017	J	`jnl`	Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng
2017	J	`jnl`	Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. J. Glob. Optim. Liangyu Chen, Yaochen Xu, Zhenbing Zeng
2017	J	`jnl`	Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2016	J	`jnl`	Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
2016	J	`jnl`	Resultant elimination via implicit equation interpolation. J. Syst. Sci. Complex. Min Tang, Zhengfeng Yang, Zhenbing Zeng
2015	J	`jnl`	Graphs with unique minimum paired-dominating set. Ars Comb. Lei Chen, Changhong Lu, Zhenbing Zeng
2015	J	`jnl`	初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). 计算机科学 Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng
2014	J	`jnl`	An upper bound of Heilbronn number for eight points in triangles. J. Comb. Optim. Liangyu Chen, Zhenbing Zeng, Wei Zhou
2014	J	`jnl`	Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	J	`jnl`	Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	—	`conf`	Safety verification of nonlinear systems based on rational invariants. SNC Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2013	J	`jnl`	Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2013	J	`jnl`	Parallel computation of determinants of matrices with multivariate polynomial entries. Sci. China Inf. Sci. Liangyu Chen, Zhenbing Zeng
2012	J	`jnl`	Differential elimination with Dixon resultants. Appl. Math. Comput. Lu Yang, Zhenbing Zeng, Weinian Zhang
2012	—	`conf`	Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2012	J	`jnl`	Vertices in all minimum paired-dominating sets of block graphs. J. Comb. Optim. Lei Chen, Changhong Lu, Zhenbing Zeng
2011	J	`jnl`	Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2011	J	`jnl`	Generating Loop Invariants by Computing Vanishing Ideals of Sample Points CoRR Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2010	J	`jnl`	A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-Bin Li
2010	J	`jnl`	Labelling algorithms for paired-domination problems in block and interval graphs. J. Comb. Optim. Lei Chen, Changhong Lu, Zhenbing Zeng
2010	J	`jnl`	Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010	B	`conf`	Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010	J	`jnl`	Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010	—	`conf`	Termination of Loop Programs with Polynomial Guards. ICCSA (4) Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng
2009	J	`jnl`	A linear-time algorithm for paired-domination problem in strongly chordal graphs. Inf. Process. Lett. Lei Chen, Changhong Lu, Zhenbing Zeng
2009	J	`jnl`	Distance paired-domination problems on subclasses of chordal graphs. Theor. Comput. Sci. Lei Chen, Changhong Lu, Zhenbing Zeng
2009	—	`conf`	Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2009	J	`jnl`	Hardness results and approximation algorithms for (weighted) paired-domination in graphs. Theor. Comput. Sci. Lei Chen, Changhong Lu, Zhenbing Zeng
2009	J	`jnl`	Multiple classifier integration for the prediction of protein structural classes. J. Comput. Chem. Lei Chen, Lin Lu, Kairui Feng, Wenjin Li, Jie Song, Lulu Zheng, Youlang Yuan, Zhenbing Zeng, Kai-Yan Feng, Wen-Cong Lu, Yudong Cai
2009	—	`conf`	On the Best Bezier Approximation of Ellipses. CSO (2) Zhenbing Zeng, Liangyu Chen
2008	—	`conf`	A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method. ICIC (1) Weiming Wang, Yezhi Lin, Zhenbing Zeng
2008	—	`conf`	On the Heilbronn Optimal Configuration of Seven Points in the Square. Automated Deduction in Geometry Zhenbing Zeng, Liangyu Chen
2007	—	`conf`	A new mechanical algorithm for solving system of Volterra integral equation. SNPD (3) Weiming Wang, Zhenbing Zeng, Lu Yang
2007	—	`conf`	Machine Cognition and Learning Based on Interactive Symbolic Computation. IPC Guangxi Chen, Zhenbing Zeng, Zhongqin Bi
2007	Misc	`conf`	Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. SAC Zhenbing Zeng, Meijing Shan
2007	J	`jnl`	Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng
2007	—	`conf`	Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. ASCM Liangyu Chen, Zhenbing Zeng
2006	J	`jnl`	Automated and readable simplification of trigonometric expressions. Math. Comput. Model. Hongguang Fu, Xiuqin Zhong, Zhenbing Zeng
2006	—	`conf`	Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry Lu Yang, Zhenbing Zeng
2005	B	`conf`	An open problem on metric invariants of tetrahedra. ISSAC Lu Yang, Zhenbing Zeng
2005	—	`conf`	Automatic Generation of Mathematical Expressions of Printed Chinese Characters. Computational Intelligence Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng
2005	—	`conf`	Image Retrieval Based on Salient Points from DCT Domain. MICAI Wenyin Zhang, Zhenli Nie, Zhenbing Zeng
2004	—	`conf`	Symbolic Solution of a Piano Movers' Problem with Four Parameters. Automated Deduction in Geometry Lu Yang, Zhenbing Zeng
2003	J	`jnl`	Mathematics Education over the Internet Based on Vega Grid Technology. Int. J. Distance Educ. Technol. Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng
2002	—	`conf`	The Vega Grid and Grid-Based Education. ICWL Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng
1997	A	`conf`	A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. CADE Lu Yang, Hongguang Fu, Zhenbing Zeng