DBLP: Zhengfeng Yang

	2013
i5		Zhengfeng Yang, Min Wu, Wang Lin: Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation. CoRR abs/1302.5974 (2013)
i4		Min Wu, Zhengfeng Yang, Wang Lin: Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems. CoRR abs/1303.0452 (2013)
	2012
j2		Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi: Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47(1): 1-15 (2012)
i3		Zhengfeng Yang, Min Wu, Wang Lin: Exact Verification of Hybrid Systems Based on Bilinear SOS Representation. CoRR abs/1201.4219 (2012)
	2011
i2		Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng: Generating Loop Invariants by Computing Vanishing Ideals of Sample Points. CoRR abs/1111.0732 (2011)
i1		Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng: Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation. CoRR abs/1112.2328 (2011)
	2010
c8		Zijia Li, Zhengfeng Yang, Lihong Zhi: Blind image deconvolution via fast approximate GCD. ISSAC 2010: 155-162
	2009
c7		Liyong Shen, Min Wu, Zhengfeng Yang: Simplification of Numerical Rational Surfaces. CSO (1) 2009: 617-621
	2008
j1		Erich Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi: Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. 43(5): 359-376 (2008)
c6		Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi: Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC 2008: 155-164
	2007
c5		Erich Kaltofen, Zhengfeng Yang, Lihong Zhi: On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC 2007: 11-17
c4		Erich Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi: Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC 2007: 203-204
c3		Erich Kaltofen, Zhengfeng Yang: On exact and approximate interpolation of sparse rational functions. ISSAC 2007: 203-210
	2006
c2		Erich Kaltofen, Zhengfeng Yang, Lihong Zhi: Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC 2006: 169-176
	2004
c1		Shuhong Gao, Erich Kaltofen, John May, Zhengfeng Yang, Lihong Zhi: Approximate factorization of multivariate polynomials via differential equations. ISSAC 2004: 167-174

2013

Zhengfeng Yang, Min Wu, Wang Lin: Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation. CoRR abs/1302.5974 (2013)

Min Wu, Zhengfeng Yang, Wang Lin: Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems. CoRR abs/1303.0452 (2013)

2012

Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi: Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47(1): 1-15 (2012)

Zhengfeng Yang, Min Wu, Wang Lin: Exact Verification of Hybrid Systems Based on Bilinear SOS Representation. CoRR abs/1201.4219 (2012)

2011

Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng: Generating Loop Invariants by Computing Vanishing Ideals of Sample Points. CoRR abs/1111.0732 (2011)

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng: Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation. CoRR abs/1112.2328 (2011)

2010

Zijia Li, Zhengfeng Yang, Lihong Zhi: Blind image deconvolution via fast approximate GCD. ISSAC 2010: 155-162

2009

Liyong Shen, Min Wu, Zhengfeng Yang: Simplification of Numerical Rational Surfaces. CSO (1) 2009: 617-621

2008

Erich Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi: Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. 43(5): 359-376 (2008)

Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi: Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC 2008: 155-164

2007

Erich Kaltofen, Zhengfeng Yang, Lihong Zhi: On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC 2007: 11-17

Erich Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi: Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC 2007: 203-204

Erich Kaltofen, Zhengfeng Yang: On exact and approximate interpolation of sparse rational functions. ISSAC 2007: 203-210

2006

Erich Kaltofen, Zhengfeng Yang, Lihong Zhi: Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC 2006: 169-176

2004

Shuhong Gao, Erich Kaltofen, John May, Zhengfeng Yang, Lihong Zhi: Approximate factorization of multivariate polynomials via differential equations. ISSAC 2004: 167-174

1	Shuhong Gao	[c1]
2	Erich Kaltofen	[j2] [j1] [c6] [c5] [c4] [c3] [c2] [c1]
3	Bin Li	[j2] [c6] [c4]
4	Zijia Li	[c8]
5	Wang Lin	[i5] [i4] [i3] [i1]
6	John May	[c1]
7	John P. May	[j1]
8	Liyong Shen	[i2] [c7]
9	Kartik Krishnan Sivaramakrishnan (Kartik Sivaramakrishnan, Kartik Krishnan)	[c4]
10	Bin Wu	[i2]
11	Min Wu	[i5] [i4] [i3] [i2] [i1] [c7]
12	Zhenbing Zeng	[i2] [i1]
13	Lihong Zhi	[j2] [c8] [j1] [c6] [c5] [c4] [c2] [c1]

Zhengfeng Yang

Coauthor Index