Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.

E. Kaltofen, B. Li, Z. Yang, and L. Zhi. ISSAC, page 155-164. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhengfeng Zhang

Zhengfeng Qian

Yang Yang

Other publications of authors with the same name

Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.Z. Zeng, J. Wang, and Z. Yang. TASE, page 73-80. IEEE, (2019)Resultant elimination via implicit equation interpolation.M. Tang, Z. Yang, and Z. Zeng. J. Systems Science & Complexity, 29 (5): 1411-1435 (2016)Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective.X. Fu, Z. Yang, Z. Zeng, Y. Zhang, and Q. Zhou. ISPRS Int. J. Geo Inf., 11 (1): 45 (2022)Exact Verification of Hybrid Systems Based on Bilinear SOS RepresentationZ. Yang, M. Wu, and W. Lin. CoRR, (2012)Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.H. Zhao, X. Zeng, N. Qi, Z. Yang, and Z. Zeng. DAC, page 1-6. IEEE, (2023)Sparse multivariate function recovery from values with noise and outlier errors.E. Kaltofen, and Z. Yang. ISSAC, page 219-226. ACM, (2013)Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report.M. Conde, E. Zamfir, R. Timofte, D. Motilla, C. Liu, Z. Zhang, Y. Peng, Y. Lin, J. Guo, X. Zou and 83 other author(s). CVPR Workshops, page 1495-1521. IEEE, (2023)Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.J. Chao, Z. Zhou, H. Gao, J. Gong, Z. Yang, Z. Zeng, and L. Dehbi. CVPR, page 14102-14111. IEEE, (2023)Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.M. Wu, and Z. Yang. SNC, page 104-111. ACM, (2011)A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.X. Chen, C. Peng, W. Lin, Z. Yang, Y. Zhang, and X. Li. CAV (1), volume 12224 of Lecture Notes in Computer Science, page 582-603. Springer, (2020)

BibSonomy

Disambiguation of "Yang, Zhengfeng"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.

Please choose a person to relate this publication to

Zhengfeng Zhang

Zhengfeng Qian

Yang Yang

Yang Yang

Yang Yang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Yang, Zhengfeng"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.

Please choose a person to relate this publication to

Zhengfeng Zhang

Zhengfeng Qian

Yang Yang

Yang Yang

Yang Yang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.