Jie Wang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Hard Constraints

Optimization Problems

Sparsity Inducing

Constrained Optimization

Top Venues

ACM Trans. Math. Softw.

Publications

Jie Wang
Weighted Geometric Mean, Minimum Mediated Set, and Optimal Simple Second-Order Cone Representation. SIAM J. Optim. 34 (2) (2024)
Igor Klep, Victor Magron, Jurij Volcic, Jie Wang
State polynomials: positivity, optimization and nonlinear Bell inequalities. Math. Program. 207 (1) (2024)
Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. CoRR (2024)
Jie Wang, Corbinian Schlosser, Milan Korda, Victor Magron
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Victor Magron, Jie Wang
SONC optimization and exact nonnegativity certificates via second-order cone programming. J. Symb. Comput. 115 (2023)
Ngoc Hoang Anh Mai, Jean B. Lasserre, Victor Magron, Jie Wang
Exploiting Constant Trace Property in Large-scale Polynomial Optimization. ACM Trans. Math. Softw. 48 (4) (2022)
Jie Wang, Victor Magron, Jean B. Lasserre, Ngoc Hoang Anh Mai
CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization. ACM Trans. Math. Softw. 48 (4) (2022)
Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, Martina Maggio
Stability of Linear Systems Under Extended Weakly-Hard Constraints. IEEE Control. Syst. Lett. 6 (2022)
Jie Wang, Victor Magron
Exploiting Sparsity in Complex Polynomial Optimization. J. Optim. Theory Appl. 192 (1) (2022)
Jeffrey Uhlmann, Jie Wang
On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods. SN Comput. Sci. 2 (4) (2021)
Jie Wang, Victor Magron
Exploiting term sparsity in noncommutative polynomial optimization. Comput. Optim. Appl. 80 (2) (2021)
Jie Wang, Victor Magron, Jean-Bernard Lasserre
Chordal-TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity with Chordal Extension. SIAM J. Optim. 31 (1) (2021)
Victor Magron, Jie Wang
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization. CoRR (2021)
Jie Wang, Victor Magron, Jean-Bernard Lasserre
TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity. SIAM J. Optim. 31 (1) (2021)
Jie Wang, Victor Magron
A second order cone characterization for sums of nonnegative circuits. ISSAC (2020)
Jie Wang, Victor Magron, Jean B. Lasserre, Ngoc Hoang Anh Mai
CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization. CoRR (2020)
Victor Magron, Jie Wang
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming. CoRR (2020)
Jie Wang, Haokun Li, Bican Xia
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. ISSAC (2019)
Jeffrey Uhlmann, Jie Wang
On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods. CoRR (2019)
Jie Wang
Difference indices of quasi-prime difference algebraic systems. J. Symb. Comput. 87 (2018)
Xiao-Shan Gao, Zhang Huang, Jie Wang, Chun-Ming Yuan
Toric difference variety. J. Syst. Sci. Complex. 30 (1) (2017)
Xiao-Shan Gao, Zhang Huang, Jie Wang, Chun-Ming Yuan
Toric Difference Variety. CoRR (2016)