Výsledky vyhľadávania - "Computing methodologies, Algebraic algorithms"

Gröbner bases over polytopal affinoid algebras

Autori: Barkatou, Moulay A. Legrand, Lucas Vaccon, Tristan a ďalší

Prispievatelia: Barkatou, Moulay A. Legrand, Lucas Vaccon, Tristan a ďalší

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

Predmety: 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

Dostupnosť: 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

Autori: Kenison, George George Kenison Szeider, Stefan a ďalší

Prispievatelia: Kenison, George George Kenison Szeider, Stefan a ďalší

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Koiran, Pascal Saha, Subhayan Pascal Koiran and Subhayan Saha

Prispievatelia: Koiran, Pascal Saha, Subhayan Pascal Koiran and Subhayan Saha

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Bürgisser, P. Doğan, M.L. Makam, V. a ďalší

Prispievatelia: Bürgisser, P. Doğan, M.L. Makam, V. a ďalší

Zdroj: Proc. 36th Computational Complexity Conference, 2021

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro a ďalší

Prispievatelia: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: Kalamata, Greece

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

Dostupnosť: 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

Autori: Vaccon, Tristan Verron, Thibaut Yokoyama, Kazuhiro a ďalší

Prispievatelia: Vaccon, Tristan Verron, Thibaut Yokoyama, Kazuhiro a ďalší

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

Predmety: [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

Prístupová URL adresa: 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

Autori: Almagor, Shaull Kelmendi, Edon Ouaknine, Joël a ďalší

Prispievatelia: Almagor, Shaull Kelmendi, Edon Ouaknine, Joël a ďalší

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Bender, Michael A. Svensson, Ola Herman, Grzegorz a ďalší

Prispievatelia: Bender, Michael A. Svensson, Ola Herman, Grzegorz a ďalší

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Autori: Koiran, Pascal Saha, Subhayan Modèles de calcul, Complexité, Combinatoire (MC2) a ďalší

Prispievatelia: Koiran, Pascal Saha, Subhayan Modèles de calcul, Complexité, Combinatoire (MC2) a ďalší

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

Predmety: 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]

Geografické téma: India

Time: Madras, India

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