Výsledky vyhledávání - [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC]

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Autoři: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Přispěvatelé: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Zdroj: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Fast and Reliable Computation of Instantaneous Orbital Collision Probability

Autoři: Masson, Matthieu Arzelier, Denis Bréhard, Florent a další

Přispěvatelé: Masson, Matthieu Arzelier, Denis Bréhard, Florent a další

Zdroj: Journal of Guidance, Control, and Dynamics. :1-14

Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Laplace transform, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, debris risk management, 7. Clean energy, Holonomic Functions, Error bounds, Saddle-point approximation, Integration algorithm, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], probability of collision, Numerical accuracy, Cancellation Problem, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Power series approximation, [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

Popis souboru: application/pdf

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules

Autoři: Caruso, Xavier Leudière, Antoine

Přispěvatelé: Caruso, Xavier Leudière, Antoine

Zdroj: Mathematics of Computation. 95:415-455

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, Anderson motives, Number Theory (math.NT), Symbolic Computation (cs.SC), algorithms, Drinfeld modules, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2307.02879
https://hal.science/hal-04151171v4
https://doi.org/10.48550/arxiv.2307.02879
https://hal.science/hal-04151171v4/document

Computation of classical and v-adic L-series of t-motives

Autoři: Caruso, Xavier Gazda, Quentin Institut de Mathématiques de Bordeaux (IMB) a další

Přispěvatelé: Caruso, Xavier Gazda, Quentin Institut de Mathématiques de Bordeaux (IMB) a další

Zdroj: Research in Number Theory. 11

Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, L-series, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 11Y99, Symbolic Computation (cs.SC), algorithms, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT], 11R58, FOS: Mathematics, Anderson motives, Number Theory (math.NT), 11G09, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2401.12618
https://hal.science/hal-04410981v2/document
https://doi.org/10.1007/s40993-024-00588-5
https://hal.science/hal-04410981v2

Exact computations with quasiseparable matrices

Autoři: Clément Pernet Hippolyte Signargout Gilles Villard a další

Přispěvatelé: Clément Pernet Hippolyte Signargout Gilles Villard a další

Zdroj: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. :480-489

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Quasiseparable matrix, Bruhat generator, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], HSS, 0101 mathematics, Symbolic Computation (cs.SC), 01 natural sciences, SSS

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2302.04515
https://cnrs.hal.science/hal-03978799v1/document
https://cnrs.hal.science/hal-03978799v1
https://doi.org/10.1145/3597066.3597102

Computing Krylov iterates in the time of matrix multiplication

Autoři: Vincent Neiger Clément Pernet Gilles Villard a další

Přispěvatelé: Vincent Neiger Clément Pernet Gilles Villard a další

Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :419-428

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Krylov iteration, Frobenius normal form, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Polynomial linear algebra, Symbolic Computation (cs.SC)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2402.07345
https://cnrs.hal.science/hal-04445355v2/document
https://doi.org/10.1145/3666000.3669715
https://cnrs.hal.science/hal-04445355v2

Strassen's algorithm is not optimally accurate

Autoři: Jean-Guillaume Dumas Clément Pernet Alexandre Sedoglavic a další

Přispěvatelé: Jean-Guillaume Dumas Clément Pernet Alexandre Sedoglavic a další

Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :254-263

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), 0102 computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2402.05630

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting

Autoři: Berthomieu, Jérémy Mohr, Rafael

Přispěvatelé: Berthomieu, Jérémy Mohr, Rafael

Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :307-315

Témata: [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, polynomial system solving, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, change of monomial order, Symbolic Computation (cs.SC), Hensel lifting, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Gröbner basis

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2402.03144

Solving parameter-dependent semi-algebraic systems

Autoři: Gaillard, Louis Safey El Din, Mohab

Přispěvatelé: Gaillard, Louis Safey El Din, Mohab

Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :447-456

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Algebraic Geometry, Real algebraic geometry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], FOS: Mathematics, Gröbner bases, Symbolic Computation (cs.SC), Polynomial system solving, Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2402.07782
https://hal.science/hal-04454309v2/document
https://hal.science/hal-04454309v2
https://doi.org/10.1145/3666000.3669718

The busy beaver game for reaction systems

Autoři: Alhazov, Artiom Freund, Rudolf Ivanov, Sergiu a další

Přispěvatelé: Alhazov, Artiom Freund, Rudolf Ivanov, Sergiu a další

Zdroj: Natural Computing.

Témata: Busy beaver game, Theoretical biology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Reaction systems

Popis souboru: application/pdf

Přístupová URL adresa: https://univ-evry.hal.science/hal-05205514v1
https://univ-evry.hal.science/hal-05205514v1/document
https://doi.org/10.1007/s11047-025-10037-6

Effective characterization of evaluation ideals of the ring of integro-differential operators

Autoři: Thomas Cluzeau Camille Pinto Alban Quadrat a další

Přispěvatelé: Thomas Cluzeau Camille Pinto Alban Quadrat a další

Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :117-125

Témata: Coherent rings, Semisimple modules, Noncommutative polynomial rings, Elimination theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Linear systems of integro-differential equations, Rings of integro-differential operators

Popis souboru: application/pdf

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

Autoři: Kaufmann, Daniela Berthomieu, Jérémy

Přispěvatelé: Kaufmann, Daniela Berthomieu, Jérémy

Zdroj: Lecture Notes in Computer Science ISBN: 9783031906428

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Algebraic Reasoning, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Hardware Verification, Gröbner Basis, Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2411.16348
https://hal.sorbonne-universite.fr/hal-04804486v2
https://hal.sorbonne-universite.fr/hal-04804486v2/document
https://doi.org/10.1007/978-3-031-90643-5_19

Dimension results for extremal-generic polynomial systems over complete toric varieties

Autoři: Bender, Matías Spaenlehauer, Pierre-Jean TROPICAL (TROPICAL) a další

Přispěvatelé: Bender, Matías Spaenlehauer, Pierre-Jean TROPICAL (TROPICAL) a další

Zdroj: Journal of Algebra

Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Algebraic Geometry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], FOS: Mathematics, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], Symbolic Computation (cs.SC), Algebraic Geometry (math.AG)

Přístupová URL adresa: http://arxiv.org/abs/2305.07439

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings

Autoři: Vu, Thi Vu, Thi Xuan

Přispěvatelé: Vu, Thi Vu, Thi Xuan

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], subrings, Polynomial rings, Symbolic Computation (cs.SC), Computational Complexity (cs.CC), complexity analysis, invriant polynomials, Computer Science - Computational Complexity, Mathematics - Algebraic Geometry, lifting techniques, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], Polynomial rings subrings invriant polynomials complexity analysis lifting techniques, FOS: Mathematics, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2504.21708
https://hal.science/hal-05052659v1

Efficient and Validated Numerical Evaluation of Abelian Integrals

Autoři: Florent Bréhard Nicolas Brisebarre Mioara Joldes a další

Přispěvatelé: Florent Bréhard Nicolas Brisebarre Mioara Joldes a další

Zdroj: ACM Transactions on Mathematical Software. 50:1-38

Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], limit cycles, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Abelian integral, Newton-like operator, [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], 37M20, rigorous numerics, Hilbert's 16th problem, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Secondary: 37G15, 01 natural sciences, 2020 AMS classification: Primary: 34C07, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, 42A10, trigonometric polynomial interpolation, 0101 mathematics, 42A15, 65G20

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-03561096v2/document
https://hal.science/hal-03561096v2
https://doi.org/10.1145/3637550

Improved Resultant Attack Against Arithmetization-Oriented Primitives

Autoři: Bariant, Augustin Boeuf, Aurélien Briaud, Pierre a další

Přispěvatelé: Bariant, Augustin Boeuf, Aurélien Briaud, Pierre a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783032019004

Témata: Symmetric cryptanalysis, Rescue Prime, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Griffin, Anemoi, Arion, Gröbner Bases, Algebraic attacks, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-05233805v1
https://doi.org/10.1007/978-3-032-01901-1_11
https://inria.hal.science/hal-05233805v1/document

ERTMS/ETCS L3: Usable Formal Models for the 'Loss of Train Integrity' Operation Scenario

Autoři: Rim Saddem-Yagoubi Julie Beugin Mohamed Ghazel a další

Přispěvatelé: Rim Saddem-Yagoubi Julie Beugin Mohamed Ghazel a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783031853555

Témata: ERTMS/ETCS, FORMAL MODELING, VERIFICATION AND VALIDATION, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], REQUIREMENT ENGINEERING, Railway safety, [INFO] Computer Science [cs], MOVING BLOCK

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04997909v1/document
https://doi.org/10.1007/978-3-031-85356-2_12
https://hal.science/hal-04997909v1

Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry

Autoři: Chablat, Damien Prébet, Rémi Safey El Din, Mohab a další

Přispěvatelé: Chablat, Damien Prébet, Rémi Safey El Din, Mohab a další

Zdroj: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation. :439-448

Témata: robotics, Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.4, critical points, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], cuspidality, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], computational real algebraic geometry, Symbolic Computation (cs.SC), I.1.2, 01 natural sciences, symbolic computation, Computer Science - Robotics, Mathematics - Algebraic Geometry, 68W30, 14Q30, FOS: Mathematics, 0101 mathematics, Robotics (cs.RO), Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2203.04578

Faster Modular Composition: Faster modular composition

Autoři: Vincent Neiger Bruno Salvy Éric Schost a další

Přispěvatelé: Vincent Neiger Bruno Salvy Éric Schost a další

Zdroj: Journal of the ACM. 71:1-79

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, algorithm, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, Symbolic Computation (cs.SC), Computational Complexity (cs.CC), Computer science, 01 natural sciences, symbolic computation, multivariate relation, [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Computer Science - Computational Complexity, modular composition, multivariate polynomial, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], 0101 mathematics, complexity

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2110.08354
https://zbmath.org/7980713
https://doi.org/10.1145/3638349
https://hal.science/hal-03380258v1
https://hal.science/hal-03380258v1/document
https://doi.org/10.1145/3638349

Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix

Autoři: Labahn, George Neiger, Vincent Vu, Thi Xuan a další

Přispěvatelé: Labahn, George Neiger, Vincent Vu, Thi Xuan a další

Zdroj: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation. :351-360

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], kernel basis, Mathematics - Rings and Algebras, Symbolic Computation (cs.SC), rank profile, 01 natural sciences, Rings and Algebras (math.RA), [MATH.MATH-RA] Mathematics [math]/Rings and Algebras [math.RA], FOS: Mathematics, Polynomial matrix, 0101 mathematics, complexity

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2202.09329
https://hal.science/hal-03580860v2