Showing 1–20 of 39 results
/ Date/ Name
Jul 31, 2010Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth OneNov 30, 2010The Minimum-Rank Gram Matrix Completion via Modified Fixed Point Continuation MethodOct 30, 2022The integral closure of a primary ideal is not always primaryFeb 9, 2023A Characterization of Perfect Strategies for Mirror GamesJul 2, 2022Extensions of S-Lemma for Noncommutative PolynomialsJan 11, 2022Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear timeMay 26, 2024Unlabeled Sensing Using Rank-One Moment Matrix CompletionOct 12, 2024Perfect Quantum Approximate Strategies for Imitation GamesMar 10, 2023The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not trueDec 31, 2014Lifts of Non-compact Convex Sets and Cone FactorizationsJun 7, 2024Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic SetsJan 21, 2025A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal GamesFeb 25, 2025A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem GenerationJul 17, 2022Sparse sum of Hermitian squares in group algebras of finite groupsFeb 9, 2026An Algorithm for Diagonalizing Matrices of Formal Power SeriesFeb 18, 2026A Homogeneous Nullstellensatz for Joint Invariant SubspacesApr 15, 2026Automated Tactics for Polynomial Reasoning in Lean 4Apr 16, 2026Formalizing Wu-Ritt Method in Lean 4Feb 13, 2026Formalizing Gröbner Basis Theory in LeanMay 18, 2023Two-step Newton's method for deflation-one singular zeros of analytic systems