Gergely Bérczi
- Advancing Mathematics Research with AI-Driven Formal Proof Search
2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 5 citations
#cs.AI
- Thom polynomials of Morin singularities
2006/08/11 by Gergely Bérczi, Berczi, Gergely, András Szenes +1 · 1 citation
Mathematics · #Advanced Combinatorial Mathematics #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models
- Projective completions of graded unipotent quotients
2016/07/14 by Gergely Bérczi, Brent Doran, Bérczi, Gergely +5 · 1 citation
Mathematics · #13A50 #14L24 #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- Complete collineations for maximum likelihood estimation
2023/11/06 by Gergely Bérczi, Bérczi, Gergely, Eloise Hamilton +5 · 2 citations
Biochemistry, Genetics and Molecular Biology · Chemistry · Engineering · #14E15 #14L30 #62F10 #62H22 #62R01 #Advanced Control Systems Optimization #Algebraic Geometry (math.AG) #Analytical Chemistry and Chromatography #FOS: Mathematics #Metabolomics and Mass Spectrometry Studies #Statistics Theory (math.ST)
- Moment maps and cohomology of non-reductive quotients
2019/09/25 by Gergely Bérczi, Frances Kirwan, Bérczi, Gergely +1 · 1 citation
Mathematics · #14F43 #14L24 #53D20 #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics
- Non-reductive geometric invariant theory and Thom polynomials
2020/12/11 by Gergely Bérczi, Bérczi, Gergely · 1 citation
Mathematics · #14L24 #32S20 #55N91 #Advanced Topics in Algebra #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology
- ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
2026/07/10 by Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck +4 · 1 voice
Computer Science · #cs.AI
- Stratified motivic invariants and bivariate deformations of Poincaré polynomials
2026/07/26 by Gergely Bérczi, Young-Hoon Kiem
#math.AG