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

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

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

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

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

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

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

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

Continued Fractions, Orthogonal Polynomials and Dirichlet Series

Autoři: Alin Bostan Frédéric Chapoton Bostan, Alin

Přispěvatelé: Alin Bostan Frédéric Chapoton Bostan, Alin

Zdroj: Experimental Mathematics. 34:384-403

Témata: 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

Popis souboru: application/pdf

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

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

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

Polynomial Factorization Over Henselian Fields

Autoři: Alberich Carramiñana, Maria Guàrdia Rubies, Jordi Nart Vinyals, Enric a další

Přispěvatelé: Alberich Carramiñana, Maria Guàrdia Rubies, Jordi Nart Vinyals, Enric a další

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

Témata: [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

Popis souboru: application/pdf

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

Autoři: Lemaire, François Roussel, Louis

Přispěvatelé: Lemaire, François Roussel, Louis

Témata: Elimination theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Nonlinear equations Integral equations Elimination theory, Nonlinear equations, Integral equations

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04965642v2

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

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

Autoři: Robert, Damien

Přispěvatelé: Robert, Damien

Zdroj: Lecture Notes in Computer Science ISBN: 9783031823794

Témata: [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04848010v1

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

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

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