Poincaré-Reeb Graphs of Real Algebraic Domains
Explore Poincaré-Reeb graphs of real algebraic domains, covering key concepts, constructions, and applications in algebraic geometry and topology. Gain insights into asymptotic trees and discriminant loci.
Snappability and Singularity-Distance of Frameworks
Explore the measurement of snapping capability in frameworks using elastic strain energy density, and its connection to singular configurations. Insights on spatial structures included.
Global Optimization via the Dual SONC Cone and Linear Programming
Explore global optimization techniques using the dual SONC cone and linear programming, with applications to minimizing exponential sums and multivariate real polynomials.
Hilbert's 16th Problem and O-Minimality - Lecture 1
Explore the topology of cycles, limit cycles, and related mathematical concepts in this advanced graduate-level lecture on Hilbert's 16th problem and o-minimality.
How to Prove a Calculation Correct? - IPAM at UCLA
Explore alternative methods for proving calculation correctness, focusing on real algebraic geometry and using intermediate information as hints for proof engines.
Certificates of Nonnegativity and Their Applications in Theoretical Computer Science
Explore nonnegativity certificates in real algebraic geometry, focusing on sums of squares and sums of nonnegative circuit polynomials, with applications to polynomial optimization and theoretical computer science.
Exploring the Real Parameter Space
Delve into enumerative geometry with Margaret Regan as she investigates real parameter spaces, offering insights into this fascinating mathematical realm.
Counting Holomorphic Disks with Boundary on the Chiang Lagrangian
Explore open Gromov-Witten invariants and holomorphic disks on the Chiang Lagrangian, examining periodic behaviors and arithmetic structures in open WDVV equations.
Empty Real Plane Sextic Curves
Explore K3-surfaces, complex sextic curves, and real plane sextics through arithmetic and homological types. Gain insights into equivariant equisingular deformation classification.
Avoiding the General Position Condition When Computing the Topology of a Real Algebraic Plane Curve
Explore advanced techniques for computing real algebraic plane curve topology without relying on general position assumptions. Gain insights into innovative mathematical approaches.
Real Loci of Non-Real Varieties - Mathematics Department Colloquium
Explore cooriented submanifolds in real algebraic geometry, focusing on their properties, intersections, and linking numbers. Gain insights into the geometry of pencils and real projective spaces.
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Explore automated synthesis of parametric gas upper-bounds for smart contracts using novel geometric approaches, enhancing blockchain security and efficiency.
Techniques of Resolution of Singularities in Quasianalytic Classes - Lecture 1
Explore advanced mathematical concepts in singularity resolution within quasianalytic classes, presented by Andre Belotto da Silva from Université de Paris.
Polynomial Time Guarantees for the Burer-Monteiro Method
Explore polynomial time guarantees for the Burer-Monteiro method in solving large-scale semidefinite programs, focusing on smoothed analysis and its implications for optimization algorithms.
New Directions in Cylindrical Algebraic Decomposition
Explores recent advancements in Cylindrical Algebraic Decomposition, focusing on search-based algorithms and machine learning heuristics to improve efficiency in solving polynomial constraints.
Maximal Mumford Curves and Graph Embeddings in Real Algebraic Geometry
Explore the geometric properties of MM-curves, focusing on real stable curves, hyperplane arrangements, and graph embeddings in relation to Mumford curves and their deformations.