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

Contributors: Joldes, Mioara, Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), 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), Université de Lyon, Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC), 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)-Centre Inria de Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)

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

File Description: application/pdf

10

Academic Journal

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

Authors: Bender, Matías, Spaenlehauer, Pierre-Jean

Contributors: Spaenlehauer, Pierre-Jean, TROPICAL (TROPICAL), Centre de Mathématiques Appliquées de l'Ecole polytechnique (CMAP), Institut National de Recherche en Informatique et en Automatique (Inria)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Cryptology, arithmetic : algebraic methods for better algorithms (CARAMBA), Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), European Project: 787840,COCAN(2019)

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

View record at OpenAIRE View record from ScienceDirect

Linked Full Text

11

Academic Journal

Continued Fractions, Orthogonal Polynomials and Dirichlet Series

Authors: Alin Bostan, Frédéric Chapoton

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

View record at OpenAIRE Full Text Finder

12

Academic Journal

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

Authors: Caruso, Xavier, Gazda, Quentin

Contributors: Caruso, Xavier, Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), Analyse cryptographique et arithmétique (CANARI), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Bordeaux, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre de Mathématiques Laurent Schwartz (CMLS), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), ANR-22-CE40-0013,PadLEfAn,Fonctions L : aspects p-adiques, analytiques et effectifs(2022), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest

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

View record at OpenAIRE View record at Springer

Linked Full Text

13

Academic Journal

Efficient and Validated Numerical Evaluation of Abelian Integrals

Authors: Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker

Contributors: Brisebarre, Nicolas, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), 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), Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC), 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)-Centre Inria de Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), School of Mathematics Australia, Monash University Melbourne, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)

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

View record at OpenAIRE Full Text Finder

14

Academic Journal

Polynomial Factorization Over Henselian Fields

Authors: Alberich Carramiñana, Maria, Guàrdia Rubies, Jordi, Nart Vinyals, Enric, Poteaux, Adrien, Roé Vallvé, Joaquim, Weimann, Martin

Contributors: Poteaux, Adrien, Departament de Matemàtiques Barcelona (MAT / UPC), Universitat Politècnica de Catalunya = Université polytechnique de Catalogne Barcelona (UPC), Departament de Matemàtiques Barcelona (UAB), Universitat Autònoma de Barcelona = Autonomous University of Barcelona = Universidad Autónoma de Barcelona (UAB), Laboratoire de Mathématiques Nicolas Oresme (LMNO), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)

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