- Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
2026/05/26 by Faruk Alpay, Baris Basaran · 1 voice
Computer Science · #Cone (formal languages) #Congruence relation #Conic section #Disjoint sets #Formal Methods in Verification #Logic, programming, and type systems #Quotient #Residual #Sign (mathematics) #cs.FL #cs.LO #semigroups and automata theory
- On the weak second-order optimality condition for nonlinear semidefinite and second-order cone programming
2022/08/05 by Ellen H. Fukuda, Gabriel Haeser, Fukuda, Ellen H. +3 · 2 citations
Computer Science · Mathematics · #90C46 90C30 90C26 90C22 #Advanced Optimization Algorithms Research #Algorithm #Applied mathematics #Cone (formal languages) #Conic optimization #Conic section #Convex optimization #FOS: Mathematics #Geometry #Mathematical optimization #Mathematics #Mixed complementarity problem #Nonlinear complementarity problem #Nonlinear programming #Nonlinear system #Optimization and Control (math.OC) #Optimization and Variational Analysis #Order (exchange) #Regular polygon #Second-order cone programming #Semidefinite programming
- Second-Order Conic and Polyhedral Approximations of the Exponential Cone: Application to Mixed-Integer Exponential Conic Programs
2021/06/16 by Qing Ye, Weijun Xie, Ye, Qing +1 · 1 citation
Decision Sciences · Engineering · Mathematics · #Advanced Optimization Algorithms Research #Algorithm #Applied mathematics #Computer science #Cone (formal languages) #Conic section #Exponential function #FOS: Mathematics #Geometry #Integer (computer science) #Logarithm #Mathematical analysis #Mathematics #Optimization and Control (math.OC) #Optimization and Mathematical Programming #Risk and Portfolio Optimization #Scaling #math.OC
- Enumerative Algebraic Geometry of Conics
2008/10/01 by Andrew Clark Bashelor, Amy Ksir, Will Traves · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algebraic geometry #Algebraic number #Commutative Algebra and Its Applications #Conic section #Derived algebraic geometry #Geometry #Mathematical analysis #Mathematics #Mathematics and Applications #Polynomial and algebraic computation #Pure mathematics