Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
Latest Publications

TOTAL DOCUMENTS

63

(FIVE YEARS 63)

H-INDEX

2

(FIVE YEARS 2)

Published By ACM

9781450371001

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Geometric modeling and regularization of algebraic problems

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404066 ◽

2020 ◽

Author(s):

Zhonggang Zeng

Keyword(s):

Geometric Modeling

Download Full-text

Signature-based algorithms for Gröbner bases over tate algebras

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404035 ◽

2020 ◽

Author(s):

Xavier Caruso ◽

Tristan Vaccon ◽

Thibaut Verron

Keyword(s):

Gröbner Bases ◽

Download Full-text

On a non-archimedean broyden method

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404045 ◽

2020 ◽

Author(s):

Xavier Dahan ◽

Tristan Vaccon

Keyword(s):

Download Full-text

Global optimization via the dual SONC cone and linear programming

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404043 ◽

2020 ◽

Author(s):

Mareike Dressler ◽

Janin Heuer ◽

Helen Naumann ◽

Timo de Wolff

Keyword(s):

Linear Programming ◽

Global Optimization

Download Full-text

A second order cone characterization for sums of nonnegative circuits

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404033 ◽

2020 ◽

Author(s):

Jie Wang ◽

Victor Magron

Keyword(s):

Second Order ◽

Second Order Cone

Download Full-text

On the chordality of ordinary differential triangular decomposition in top-down style

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3403999 ◽

2020 ◽

Author(s):

Chenqi Mou

Keyword(s):

Triangular Decomposition ◽

Download Full-text

Reflections on elimination theory

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3403977 ◽

2020 ◽

Author(s):

David A. Cox

Keyword(s):

Elimination Theory

Download Full-text

Computation of free non-commutative gröbner bases over Z with Singular:Letterplace

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404052 ◽

2020 ◽

Author(s):

Viktor Levandovskyy ◽

Tobias Metzlaff ◽

Karim Abou Zeid

Keyword(s):

Gröbner Bases ◽

Download Full-text

A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404022 ◽

2020 ◽

Author(s):

Stavros Birmpilis ◽

George Labahn ◽

Arne Storjohann

Keyword(s):

Las Vegas ◽

Integer Matrix ◽

Las Vegas Algorithm

Download Full-text

Sparse multiplication for skew polynomials

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404023 ◽

2020 ◽

Author(s):

Mark Giesbrecht ◽

Qiao-Long Huang ◽

Éric Schost

Keyword(s):

Skew Polynomials

Download Full-text