Shengyang Xu

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Formalization of Complexity Analysis of the First-order Optimization Algorithms
(available as arXiv preprint)
N/APaper
A Pressure-Free Virtual Element Method for the Surface Stokes Problem
(available as arXiv preprint)
2026-09-30Paper
Exact Representation of Piecewise Polynomial Finite Element Functions by Two-Hidden-Layer Multilayer Perceptrons
(available as arXiv preprint)
2026-09-30Paper
Formalization of convergence rates of four first-order algorithms for convex optimization
Journal of Automated Reasoning
2025-11-26Paper


Research outcomes over time


This page was built for person: Shengyang Xu