pith. sign in

Lihong Zhi

Identifiers

  • name variant Lihong Zhi 0.60 · backfill

Papers (13)

  1. Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs cs.LG · 2026 · author #8
  2. Formalizing Wu-Ritt Method in Lean 4 math.AC · 2026 · author #5
  3. Automated Tactics for Polynomial Reasoning in Lean 4 cs.LO · 2026 · author #4
  4. Formalizing Gr\"obner Basis Theory in Lean math.AC · 2026 · author #4
  5. Computing Simple Multiple Zeros of Polynomial Systems math.NA · 2017 · author #4
  6. Lifts of Non-compact Convex Sets and Cone Factorizations math.OC · 2014 · author #2
  7. Semidefinite representations of non-compact convex sets math.OC · 2014 · author #3
  8. A certificate for semidefinite relaxations in computing positive dimensional real varieties math.OC · 2012 · author #3
  9. Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems math.NA · 2012 · author #2
  10. Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions math.OC · 2012 · author #3
  11. Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems: Case of Breadth One math.NA · 2012 · author #2
  12. The Minimum-Rank Gram Matrix Completion via Modified Fixed Point Continuation Method math.OC · 2010 · author #2
  13. Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One math.NA · 2010 · author #2

Mentions

  • 1401.1917 #3 · backfill · confidence 0.70 Lihong Zhi
  • 1212.4924 #3 · backfill · confidence 0.70 Lihong Zhi
  • 1212.4699 #2 · backfill · confidence 0.70 Lihong Zhi
  • 1203.0253 #3 · backfill · confidence 0.70 Lihong Zhi
  • 1201.3443 #2 · backfill · confidence 0.70 Lihong Zhi
  • 1011.6495 #2 · backfill · confidence 0.70 Lihong Zhi
  • 1008.0061 #2 · backfill · confidence 0.70 Lihong Zhi

Frequent Coauthors