Follow
Zhengfeng Yang
Zhengfeng Yang
Verified email at sei.ecnu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials
E Kaltofen, Z Yang, L Zhi
Proceedings of the 2006 international symposium on Symbolic and algebraic …, 2006
1242006
Approximate factorization of multivariate polynomials via differential equations
S Gao, E Kaltofen, J May, Z Yang, L Zhi
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
1042004
Structured low rank approximation of a Sylvester matrix
E Kaltofen, Z Yang, L Zhi
Symbolic-numeric computation, 69-83, 2007
1012007
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
EL Kaltofen, B Li, Z Yang, L Zhi
Journal of Symbolic Computation 47 (1), 1-15, 2012
1002012
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
E Kaltofen, B Li, Z Yang, L Zhi
Proceedings of the twenty-first international symposium on Symbolic and …, 2008
822008
Approximate factorization of multivariate polynomials using singular value decomposition
E Kaltofen, JP May, Z Yang, L Zhi
Journal of Symbolic Computation 43 (5), 359-376, 2008
762008
Fast low rank approximation of a Sylvester matrix by structured total least norm
B Li, Z Yang, L Zhi
J. JSSAC (Japan Society for Symbolic and Algebraic Computation) 11 (3), 4, 2005
542005
Probabilistic safety verification of stochastic hybrid systems using barrier certificates
C Huang, X Chen, W Lin, Z Yang, X Li
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
402017
On exact and approximate interpolation of sparse rational functions
E Kaltofen, Z Yang
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
362007
Computing approximate GCD of multivariate polynomials by structure total least norm
L Zhi, Z Yang
MM Research Preprint 23, 388-401, 2004
342004
Exact safety verification of hybrid systems based on bilinear SOS representation
Z Yang, W Lin, M Wu
ACM Transactions on Embedded Computing Systems (TECS) 14 (1), 1-19, 2015
322015
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
E Kaltofen, Z Yang, L Zhi
Proceedings of the 2007 international workshop on Symbolic-numeric …, 2007
302007
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation
EL Kaltofen, W Lee, Z Yang
Proceedings of the 2011 International Workshop on Symbolic-Numeric …, 2012
252012
Robustness verification of classification deep neural networks via linear programming
W Lin, Z Yang, X Chen, Q Zhao, X Li, Z Liu, J He
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
242019
A linear programming relaxation based approach for generating barrier certificates of hybrid systems
Z Yang, C Huang, X Chen, W Lin, Z Liu
International Symposium on Formal Methods, 721-738, 2016
242016
Blind image deconvolution via fast approximate GCD
Z Li, Z Yang, L Zhi
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
232010
Exact safety verification of hybrid systems using sums-of-squares representation
W Lin, M Wu, ZF Yang, ZB Zeng
Science China Information Sciences 57 (5), 1-13, 2014
192014
Sparse multivariate function recovery from values with noise and outlier errors
EL Kaltofen, Z Yang
Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013
192013
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
X Zeng, W Lin, Z Yang, X Chen, L Wang
Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016
182016
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
L Shen, M Wu, Z Yang, Z Zeng
Journal of Systems Science and Complexity 26 (2), 291-301, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20