:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhang, Jincheng
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19568381
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Information-Polarized Conic Programming: Conic Embedding of Phi-Divergence Distributionally Robust Optimization and Unified Geometric–Information Duality Theory
by: Zhang, Jincheng
Published: (2026)

Robust Box-Linear Matrix Inequalities: A Unified Spectral Worst-Case Framework for Convex Uncertainty Modeling
by: Zhang, Jincheng
Published: (2026)

A Unified Dynamical Framework for Optimization on Grassmann Manifolds via Dual Semidefinite Programming
by: Zhang, Jincheng
Published: (2026)

Unified Dual Semidefinite Programming Framework for Incentive-Compatible Mechanism Design
by: Zhang, Jincheng
Published: (2026)

Risk-Embedded Conic Programming: Geometric Internalization of Risk Envelopes and a Unified Dual-Cone Optimization Framework
by: Zhang, Jincheng
Published: (2026)

Data-Efficient Quadratic Q-Learning Using LMIs
by: van Hulst, J. S., et al.
Published: (2024)

Unified Spectral-LMI Constraint via Minimum Eigenvalue Embedding Operator
by: Zhang, Jincheng
Published: (2026)

Practical Exponential Stabilization for a Class of Processes With Input Time‐Delay via LMIs
by: Mushu Wang, et al.
Published: (2025)

Algebraic Farkas Lemma and Strong Duality for Perturbed Conic Linear Programming
by: Khanh, P. D., et al.
Published: (2026)

Linearization and Lemma of Newton for Operator functions
by: Stiefenhofer, Matthias
Published: (2023)

Proving Functional Program Equivalence via Directed Lemma Synthesis
by: Sun, Yican, et al.
Published: (2024)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Optimized exponential stabilization of a state‐feedback control system for a class of production processes via LMIs
by: Mushu Wang, et al.
Published: (2025)

Toward enhancing nonlinear observers for Lipschitz system: Exploiting the matrix multipliers‐based LMIs
by: Shivaraj Mohite, et al.
Published: (2024)

Generalized Saddle-Conic Optimization: Integrating Conic Programming with Saddle-Point Gap Analysis
by: Zhang, Jincheng
Published: (2026)

A Unified Non-Strict Finsler Lemma
by: Meijer, T. J., et al.
Published: (2024)

A Breakthrough Activation Function Inspired by Conflict Theory for Superior Neural Modeling
by: Zhang, Jincheng
Published: (2025)

Notes on the Linear Algebraic View of Regularity Lemmas
by: Bodwin, Greg, et al.
Published: (2025)

Interactive Proof Dynamics Theory: A Continuous-State Framework for Proofs as Stable Dynamical Systems
by: Zhang, Jincheng
Published: (2026)

On computational issues for stability analysis of LPV systems using parameter dependent Lyapunov functions and LMIs
by: Mozelli, L. A., et al.
Published: (2018)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

High-Fidelity Mural Restoration via a Unified Hybrid Mask-Aware Transformer
by: Jiang, Jincheng, et al.
Published: (2026)

Robust $\mathcal{H}_\infty$ Observer Design via Finsler's Lemma and IQCs
by: Bhattacharya, Raktim, et al.
Published: (2026)

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
by: Shang, Xu, et al.
Published: (2024)

Olympic Games Inspired Optimization Algorithm Based on Ancient Greek Competition Mechanisms
by: Zhang, Jincheng
Published: (2025)

On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers
by: Gyotoku, Hibiki, et al.
Published: (2024)

Adaptive Market Insight Network: An Heuristic Optimization Approach for AI-Based Financial Forecasting
by: Zhang, Jincheng
Published: (2025)

Geometric Uncertainty in Conic Optimization: A Stable Duality Framework via Dual Cone Aggregation under Worst-Case Structures
by: Zhang, Jincheng
Published: (2026)

Unifying Distributionally Robust Optimization via Optimal Transport Theory
by: Blanchet, Jose, et al.
Published: (2023)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
by: Civini, Emanuele, et al.
Published: (2026)

On Opial's Lemma
by: Arakcheev, Aleksandr, et al.
Published: (2025)

Generalized Quantum Stein's Lemma and Second Law of Quantum Resource Theories
by: Hayashi, Masahito, et al.
Published: (2024)

Generalized Quantum Stein's Lemma: Redeeming Second Law of Resource Theories
by: Yamasaki, Hayata, et al.
Published: (2024)

On Effective Convergence in Fekete's Lemma and Related Combinatorial Problems in Information Theory
by: Boche, Holger, et al.
Published: (2020)

XOR Lemmas for Communication via Marginal Information
by: Iyer, Siddharth, et al.
Published: (2023)

Great expectations: Unifying Statistical Theory and Programming
by: Saul, Bradley
Published: (2025)

On the Curvature of the Central Path of Linear Programming Theory
by: Dedieu, Jean-Pierre, et al.
Published: (2003)

A Short and General Duality Proof for Wasserstein Distributionally Robust Optimization
by: Zhang, Luhao, et al.
Published: (2022)

The Schwarz-Pick Lemma as a Consequence of the Ahlfors-Schwarz-Pick Lemma
by: Cejas, Rafael Benjumea, et al.
Published: (2025)

A Local Polyak-Lojasiewicz and Descent Lemma of Gradient Descent For Overparametrized Linear Models
by: Xu, Ziqing, et al.
Published: (2025)