Gröbner bases over polytopal affinoid algebras

Authors: Barkatou, Moulay A., Legrand, Lucas, Vaccon, Tristan

Contributors: Mathématiques & Sécurité de l'information (XLIM-MATHIS), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)

Source: https://hal.science/hal-04510822 ; 2025.

Subject Terms: Algebraic algorithms, Gröbner bases, Tate algebra, Laurent polynomials, Tropical analytic geometry, Algorithms, CCS CONCEPTS Computing methodologies → Algebraic algorithms Algorithms Gröbner bases Tate algebra Laurent polynomials Tropical analytic geometry, CCS CONCEPTS, Computing methodologies → Algebraic algorithms Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2403.13382; ARXIV: 2403.13382

Availability: https://hal.science/hal-04510822
https://hal.science/hal-04510822v2/document
https://hal.science/hal-04510822v2/file/long.pdf

On the Skolem Problem for Reversible Sequences

Authors: Kenison, George

Contributors: George Kenison, Szeider, Stefan, Ganian, Robert, Silva, Alexandra

Source: Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS)

Subject Terms: FOS: Computer and information sciences, Mathematics - Number Theory, Discrete Mathematics (cs.DM), Mathematics of computing → Discrete mathematics, Verification, Linear Recurrences, 0102 computer and information sciences, 01 natural sciences, FOS: Mathematics, Computing methodologies → Algebraic algorithms, Number Theory (math.NT), ddc:004, 0101 mathematics, The Skolem Problem, Computer Science - Discrete Mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/2203.07061
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2022.61

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Authors: Koiran, Pascal, Saha, Subhayan

Contributors: Pascal Koiran and Subhayan Saha, Koiran, Pascal

Subject Terms: FOS: Computer and information sciences, reconstruction algorithms, black box, simultaneous diagonalisation, sums of powers of linear forms, 0102 computer and information sciences, [INFO] Computer Science [cs], Computational Complexity (cs.CC), Computing methodologies → Linear algebra algorithms, 01 natural sciences, Computer Science - Computational Complexity, tensor decomposition, Computer Science - Data Structures and Algorithms, Computing methodologies → Algebraic algorithms, Data Structures and Algorithms (cs.DS), ddc:004, algebraic algorithm, 0101 mathematics, Theory of computation → Algebraic complexity theory

File Description: application/pdf

Access URL: http://arxiv.org/abs/2110.05305
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2022.24
https://hal.science/hal-04636862v1
https://doi.org/10.4230/lipics.fsttcs.2022.24

Polynomial time algorithms in invariant theory for torus actions

Authors: Bürgisser, P., Doğan, M.L., Makam, V., Walter, M., Wigderson , A.

Contributors: Peter Bürgisser and M. Levent Doğan and Visu Makam and Michael Walter and Avi Wigderson, Kabanets, Valentine, Kabanets, V.

Source: Proc. 36th Computational Complexity Conference, 2021

Subject Terms: FOS: Computer and information sciences, FOS: Physical sciences, 0102 computer and information sciences, Mathematical Physics (math-ph), 01 natural sciences, orbit closure intersection problem, Mathematics - Algebraic Geometry, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Computing methodologies → Algebraic algorithms, geometric complexity theory, Data Structures and Algorithms (cs.DS), ddc:004, 0101 mathematics, Representation Theory (math.RT), Theory of computation → Algebraic complexity theory, Algebraic Geometry (math.AG), computational invariant theory, Mathematical Physics, Mathematics - Representation Theory

File Description: application/pdf

Access URL: http://arxiv.org/abs/2102.07727
https://drops.dagstuhl.de/opus/volltexte/2021/14306/pdf/LIPIcs-CCC-2021-32.pdf/
https://doi.org/10.4230/LIPIcs.CCC.2021.32
https://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-07727
https://drops.dagstuhl.de/opus/volltexte/2021/14306/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2021.32

On FGLM Algorithms with Tropical Gröbner bases

Authors: Ishihara, Yuki, Vaccon, Tristan, Yokoyama, Kazuhiro

Contributors: Department of Mathematics Rikkyo, Rikkyo University Tokyo, XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)

Source: ISSAC '20: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02928709 ; ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.257-264, ⟨10.1145/3373207.3404037⟩

Subject Terms: p-adic precision, FGLM algorithm, Tropical Geometry, Gröbner bases, CCS CONCEPTS • Computing methodologies → Algebraic algorithms KEYWORDS Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]

Subject Geographic: Kalamata, Greece

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2009.02067; ARXIV: 2009.02067

Availability: https://hal.science/hal-02928709
https://hal.science/hal-02928709v1/document
https://hal.science/hal-02928709v1/file/tropical_FGLM.pdf
https://doi.org/10.1145/3373207.3404037

On affine tropical F5 algorithms

Authors: Vaccon, Tristan, Verron, Thibaut, Yokoyama, Kazuhiro

Contributors: XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), University of Linz - Johannes Kepler Universität Linz (JKU), Department of Mathematics Rikkyo, Rikkyo University Tokyo, Mathématiques & Sécurité de l'information (XLIM-MATHIS), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)

Source: Journal of Symbolic Computation. 102:132-152

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], p-adic precision, Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, CCS CONCEPTS, Tropical geometry, KEYWORDS, • Computing methodologies → Algebraic algorithms, FOS: Mathematics, precision, Gröbner bases, F5 algorithm, 0101 mathematics, p-adic, Algorithms

Access URL: https://hal.archives-ouvertes.fr/hal-01792165/file/F5Trop_Affinev2.pdf
http://arxiv.org/abs/1805.06183
http://ui.adsabs.harvard.edu/abs/2018arXiv180506183V/abstract
https://hal.archives-ouvertes.fr/hal-01792165/document
https://dblp.uni-trier.de/db/journals/corr/corr1805.html#abs-1805-06183
https://dl.acm.org/doi/10.1145/3208976.3209012
https://hal.archives-ouvertes.fr/hal-01792165
https://arxiv.org/pdf/1805.06183.pdf
https://arxiv.org/abs/1805.06183
https://www.sciencedirect.com/science/article/pii/S0747717119301208
https://hal.archives-ouvertes.fr/hal-02929634v2
https://hal.archives-ouvertes.fr/hal-02929634/document
https://dblp.uni-trier.de/db/journals/jsc/jsc102.html#VacconVY21
https://www.archives-ouvertes.fr/hal-02929634v1

Invariants for Continuous Linear Dynamical Systems

Authors: Almagor, Shaull, Kelmendi, Edon, Ouaknine, Joël, Worrell, James

Contributors: Shaull Almagor and Edon Kelmendi and Joël Ouaknine and James Worrell, Artur Czumaj, Anuj Dawar, Emanuela Merelli

Source: 47th International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in Informatics
47th International Colloquium on Automata, Languages, and Programming (ICALP)

Subject Terms: safety, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Invariants, o-minimality, Mathematics of computing → Continuous mathematics, 0102 computer and information sciences, 02 engineering and technology, Dynamical Systems (math.DS), Theory of computation → Finite Model Theory, 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Logic in Computer Science (cs.LO), Software and its engineering → Formal software verification, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Computing methodologies → Algebraic algorithms, ddc:004, continuous Skolem problem, Mathematics - Dynamical Systems, Mathematics of computing → Continuous functions, continuous linear dynamical systems

File Description: application/pdf

Access URL: http://arxiv.org/abs/2004.11661
https://drops.dagstuhl.de/opus/volltexte/2020/12514/
https://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-11661
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3316446
https://doi.org/10.4230/LIPIcs.ICALP.2020.107
https://pure.mpg.de/pubman/item/item_3316446_2/component/file_3342000/LIPIcs-ICALP-2020-107.pdf
https://ui.adsabs.harvard.edu/abs/2020arXiv200411661A/abstract
https://ora.ox.ac.uk/objects/uuid:19c48c1e-bb07-4819-a266-9b111f7e6815
https://doi.org/10.4230/lipics.icalp.2020.107
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.107
http://hdl.handle.net/21.11116/0000-0008-6A95-9
http://hdl.handle.net/21.11116/0000-0009-2F2A-5

LIPIcs, Volume 144, ESA'19, Complete Volume

Authors: Bender, Michael A., Svensson, Ola, Herman, Grzegorz

Contributors: Michael A. Bender and Ola Svensson and Grzegorz Herman

Subject Terms: Hardware, External storage, Human-centered computing, Algebraic algorithms, Applied computing, Transportation, ddc:004, Applied computing, Transportation, Computing methodologies, Algebraic algorithms, Hardware, External storage, Human-centered computing, Graph drawings, Computing methodologies, Graph drawings

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Authors: Koiran, Pascal, Saha, Subhayan

Contributors: Modèles de calcul, Complexité, Combinatoire (MC2), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

Source: FSTTCS 2022 ; https://hal.science/hal-04636862 ; FSTTCS 2022, Dec 2022, Madras, India. ⟨10.4230/LIPIcs.FSTTCS.2022.24⟩

Subject Terms: reconstruction algorithms, tensor decomposition, sums of powers of linear forms, simultaneous diagonalisation, algebraic algorithm, black box, Theory of computation → Algebraic complexity theory, Computing methodologies → Algebraic algorithms, Computing methodologies → Linear algebra algorithms, [INFO]Computer Science [cs]

Subject Geographic: India

Time: Madras, India

Availability: https://hal.science/hal-04636862
https://doi.org/10.4230/LIPIcs.FSTTCS.2022.24