Search Results - "[INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC]"

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Authors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

Contributors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

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

Subject Terms: 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)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules

Authors: Caruso, Xavier Leudière, Antoine

Contributors: Caruso, Xavier Leudière, Antoine

Source: Mathematics of Computation. 95:415-455

Subject Terms: 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]

File Description: application/pdf

Access URL: 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

The busy beaver game for reaction systems

Authors: Alhazov, Artiom Freund, Rudolf Ivanov, Sergiu et al.

Contributors: Alhazov, Artiom Freund, Rudolf Ivanov, Sergiu et al.

Source: Natural Computing.

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

File Description: application/pdf

Access URL: https://univ-evry.hal.science/hal-05205514v1
https://univ-evry.hal.science/hal-05205514v1/document
https://doi.org/10.1007/s11047-025-10037-6

Computing Krylov iterates in the time of matrix multiplication

Authors: Vincent Neiger Clément Pernet Gilles Villard et al.

Contributors: Vincent Neiger Clément Pernet Gilles Villard et al.

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

Subject Terms: 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)

File Description: application/pdf

Access URL: 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

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

Authors: Thomas Cluzeau Camille Pinto Alban Quadrat et al.

Contributors: Thomas Cluzeau Camille Pinto Alban Quadrat et al.

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

Subject Terms: 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

File Description: application/pdf

Strassen's algorithm is not optimally accurate

Authors: Jean-Guillaume Dumas Clément Pernet Alexandre Sedoglavic et al.

Contributors: Jean-Guillaume Dumas Clément Pernet Alexandre Sedoglavic et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.05630

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting

Authors: Berthomieu, Jérémy Mohr, Rafael

Contributors: Berthomieu, Jérémy Mohr, Rafael

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

Subject Terms: [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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.03144

Solving parameter-dependent semi-algebraic systems

Authors: Gaillard, Louis Safey El Din, Mohab

Contributors: Gaillard, Louis Safey El Din, Mohab

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

Subject Terms: 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)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.07782
https://hal.science/hal-04454309v2/document
https://hal.science/hal-04454309v2
https://doi.org/10.1145/3666000.3669718

Fast and Reliable Computation of Instantaneous Orbital Collision Probability

Authors: Masson, Matthieu Arzelier, Denis Bréhard, Florent et al.

Contributors: Masson, Matthieu Arzelier, Denis Bréhard, Florent et al.

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

Subject Terms: [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]

File Description: application/pdf

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

Authors: Bender, Matías Spaenlehauer, Pierre-Jean TROPICAL (TROPICAL) et al.

Contributors: Bender, Matías Spaenlehauer, Pierre-Jean TROPICAL (TROPICAL) et al.

Source: Journal of Algebra

Subject Terms: [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)

Access URL: http://arxiv.org/abs/2305.07439

Continued Fractions, Orthogonal Polynomials and Dirichlet Series

Authors: Alin Bostan Frédéric Chapoton Bostan, Alin

Contributors: Alin Bostan Frédéric Chapoton Bostan, Alin

Source: Experimental Mathematics. 34:384-403

Subject Terms: Racah and Hahn polynomials, [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], Jacobi continued fractions, experimental mathematics, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], guess-and-prove, moments, Dirichlet series, orthogonal polynomials, hypergeometric functions

File Description: application/pdf

Access URL: https://hal.science/hal-03832808v3/document
https://hal.science/hal-03832808v3
https://doi.org/10.1080/10586458.2024.2379793

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

Authors: Caruso, Xavier Gazda, Quentin Institut de Mathématiques de Bordeaux (IMB) et al.

Contributors: Caruso, Xavier Gazda, Quentin Institut de Mathématiques de Bordeaux (IMB) et al.

Source: Research in Number Theory. 11

Subject Terms: [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]

File Description: application/pdf

Access URL: 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

Efficient and Validated Numerical Evaluation of Abelian Integrals

Authors: Florent Bréhard Nicolas Brisebarre Mioara Joldes et al.

Contributors: Florent Bréhard Nicolas Brisebarre Mioara Joldes et al.

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

Subject Terms: [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

File Description: application/pdf

Access URL: https://hal.science/hal-03561096v2/document
https://hal.science/hal-03561096v2
https://doi.org/10.1145/3637550

Polynomial Factorization Over Henselian Fields

Authors: Alberich Carramiñana, Maria Guàrdia Rubies, Jordi Nart Vinyals, Enric et al.

Contributors: Alberich Carramiñana, Maria Guàrdia Rubies, Jordi Nart Vinyals, Enric et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Àrees temàtiques de la UPC::Matemàtiques i estadística, Classificació AMS::14 Algebraic geometry::14Q Computational aspects in algebraic geometry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Newton polygon, Classificació AMS::12 Field theory and polynomials::12Y05 Computational aspects of field theory and polynomials, 0102 computer and information sciences, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Classificació AMS::13 Commutative rings and algebras::13P Computational aspects of commutative algebra, 01 natural sciences, OM-algorithm, Valuation, Henselian field, Key polynomial, FOS: Mathematics, Classificació AMS::13 Commutative rings and algebras::13A General commutative ring theory, 0101 mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/2207.02139
https://hdl.handle.net/2117/429176
https://doi.org/10.1007/s10208-024-09646-x
https://inria.hal.science/hal-03962819v1
https://doi.org/10.1007/s10208-024-09646-x

Recent Advances on Integral Elimination

Authors: Lemaire, François Roussel, Louis

Contributors: Lemaire, François Roussel, Louis

Subject Terms: Elimination theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Nonlinear equations Integral equations Elimination theory, Nonlinear equations, Integral equations

File Description: application/pdf

Access URL: https://hal.science/hal-04965642v2

Improved Resultant Attack Against Arithmetization-Oriented Primitives

Authors: Bariant, Augustin Boeuf, Aurélien Briaud, Pierre et al.

Contributors: Bariant, Augustin Boeuf, Aurélien Briaud, Pierre et al.

Source: Lecture Notes in Computer Science ISBN: 9783032019004

Subject Terms: 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]

File Description: application/pdf

Access URL: https://inria.hal.science/hal-05233805v1
https://doi.org/10.1007/978-3-032-01901-1_11
https://inria.hal.science/hal-05233805v1/document

On the Efficient Representation of Isogenies: A Survey for NuTMiC 2024

Authors: Robert, Damien

Contributors: Robert, Damien

Source: Lecture Notes in Computer Science ISBN: 9783031823794

Subject Terms: [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC]

File Description: application/pdf

Access URL: https://hal.science/hal-04848010v1

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings

Authors: Vu, Thi Vu, Thi Xuan

Contributors: Vu, Thi Vu, Thi Xuan

Subject Terms: 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)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2504.21708
https://hal.science/hal-05052659v1

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

Authors: Kaufmann, Daniela Berthomieu, Jérémy

Contributors: Kaufmann, Daniela Berthomieu, Jérémy

Source: Lecture Notes in Computer Science ISBN: 9783031906428

Subject Terms: 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)

File Description: application/pdf

Access URL: 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

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

Authors: Rim Saddem-Yagoubi Julie Beugin Mohamed Ghazel et al.

Contributors: Rim Saddem-Yagoubi Julie Beugin Mohamed Ghazel et al.

Source: Lecture Notes in Computer Science ISBN: 9783031853555

Subject Terms: 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

File Description: application/pdf

Access URL: https://hal.science/hal-04997909v1/document
https://doi.org/10.1007/978-3-031-85356-2_12
https://hal.science/hal-04997909v1