-
1Report
المؤلفون: Kolmogorov, Vladimir, Naldi, Simone, Zapata, Jeferson
المساهمون: Institute of Science and Technology Klosterneuburg, Austria (IST Austria), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), ANR-21-CE48-0006,HYPERSPACE,Polynômes Hyperboliques : Algorithmes, Complexité, Implantations(2021)
المصدر: https://hal.science/hal-04591610 ; 2024.
مصطلحات موضوعية: spectrahedra, Symbolic-numeric algorithms, linear matrix inequalities, weak feasibility, facial reduction, [MATH]Mathematics [math]
-
2Conference
المؤلفون: Lairez, Pierre, Mezzarobba, Marc, Safey El Din, Mohab
المساهمون: Symbolic Special Functions : Fast and Certified (SPECFUN), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Polynomial Systems (PolSys), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6, ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014), ANR-17-CE40-0009,GALOP,Jeux à travers la lentille de algèbre et géométrie de l'optimisation(2017), ANR-18-CE33-0011,SESAME,Singularités Et Stabilité des AsservisseMEnts référencés capteurs(2018), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
المصدر: ISSAC'19 ; ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02110556 ; ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
مصطلحات موضوعية: Symbolic-numeric algorithms, Semi-algebraic sets, Picard-Fuchs equations, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1904.11705; info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-02110556; https://hal.science/hal-02110556; https://hal.science/hal-02110556/document; https://hal.science/hal-02110556/file/volumes.pdf; ARXIV: 1904.11705
-
3Academic Journal
المؤلفون: Mezzarobba, Marc
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014)
المصدر: ISSN: 2644-9463 ; Annales Henri Lebesgue ; https://hal.science/hal-01817568 ; Annales Henri Lebesgue, 2019, 2, pp.99-148. ⟨10.5802/ahl.17⟩.
مصطلحات موضوعية: rigorous computing, symbolic-numeric algorithms, D-finite functions, error bounds, [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Relation: hal-01817568; https://hal.science/hal-01817568; https://hal.science/hal-01817568v2/document; https://hal.science/hal-01817568v2/file/Mezzarobba_AdaptiveBounds_2019.pdf
-
4Book
المؤلفون: Bel, Bernard
المساهمون: Laboratoire Parole et Langage (LPL), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), BARLOW, Clarence
المصدر: The Ratio Book ; https://hal.science/hal-00134179 ; BARLOW, Clarence. The Ratio Book, Feedback Papers, pp.86-101, 2001
مصطلحات موضوعية: computational musicology, computer music, time representations, time constraints, sound-objects, symbolic-numeric algorithms, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [SHS.MUSIQ]Humanities and Social Sciences/Musicology and performing arts, [SHS.LANGUE]Humanities and Social Sciences/Linguistics
Relation: hal-00134179; https://hal.science/hal-00134179; https://hal.science/hal-00134179/document; https://hal.science/hal-00134179/file/1119.pdf
-
5Academic Journal
المؤلفون: Mădălina Hodorog, Josef Schicho
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: General Terms Algorithms, Design, Experimentation, Theory Keywords Plane curve singularity, ill-posed problem, regularization, symbolic-numeric algorithms, link of a singularity
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.2215; http://www.ricam.oeaw.ac.at/publications/reports/11/rep11-20.pdf
-
6Academic Journal
المؤلفون: Adrien Poteaux, Marc Rybowicz, Université De Limoges
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subjects Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems. General Terms, Theory. Keywords, Puiseux Series, Algebraic Functions, Modular Methods, Finite Fields, Complexity, Symbolic-Numeric Algorithms
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5684; http://www.lifl.fr/~poteaux/fichiers/puiseux_issac08.pdf
-
7
المؤلفون: Mohab Safey El Din, Pierre Lairez, Marc Mezzarobba
المساهمون: Symbolic Special Functions : Fast and Certified (SPECFUN), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Polynomial Systems (PolSys), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6, ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014), ANR-17-CE40-0009,GALOP,Jeux à travers la lentille de algèbre et géométrie de l'optimisation(2017), ANR-18-CE33-0011,SESAME,Singularités Et Stabilité des AsservisseMEnts référencés capteurs(2018), European Project: 813211,H2020,POEMA(2019), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
المصدر: ISSAC'19
ISSAC 2019-International Symposium on Symbolic and Algebraic Computation
ISSAC 2019-International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
ISSACمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Symbolic Computation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Polynomial, Symbolic-numeric algorithms, Differential equation, Solution set, Picard-Fuchs equations, 010103 numerical & computational mathematics, 0102 computer and information sciences, Symbolic Computation (cs.SC), 01 natural sciences, Semi-algebraic sets, Exponential function, Numerical integration, Moment (mathematics), 010201 computation theory & mathematics, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Applied mathematics, 0101 mathematics, Algebraic number, Time complexity, Mathematics
-
8
المؤلفون: Marc Mezzarobba
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014)
المصدر: Annales Henri Lebesgue
Annales Henri Lebesgue, UFR de Mathématiques-IRMAR, 2019, 2, pp.99-148. ⟨10.5802/ahl.17⟩مصطلحات موضوعية: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Regular singular point, Series (mathematics), Degree (graph theory), Truncation, symbolic-numeric algorithms, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, MathematicsofComputing_NUMERICALANALYSIS, Ode, 010103 numerical & computational mathematics, error bounds, [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA], 01 natural sciences, 010305 fluids & plasmas, Numerical integration, rigorous computing, Linear differential equation, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, 0103 physical sciences, Applied mathematics, D-finite functions, 0101 mathematics, Series expansion, Mathematics, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
-
9
المؤلفون: Stehlé, Damien
المساهمون: Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-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é Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Ecole normale supérieure de lyon - ENS LYON, Karim BELABAS, École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL)
المصدر: Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon-ENS LYON, 2011
مصطلحات موضوعية: LLL/HKZ/BKZ reductions, analyse d'algorithmes, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Euclidean lattices, cryptographie reposant sur les réseaux Euclidiens, algorithmes hybrides numériques-algébriques, Réseaux Euclidiens, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], analysis of algorithms, lattice-based cryptography, réductions LLL/HKZ/BKZ, computer algebra, hybrid symbolic-numeric algorithms
-
10
المؤلفون: Dumas, Jean-Guillaume
المساهمون: Calculs Algébriques et Systèmes Dynamiques (CASYS), Laboratoire Jean Kuntzmann (LJK), Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF), Université de Grenoble, Yassine Lakhnech(Yassine.Lakhnech@imag.fr)
المصدر: Calcul formel [cs.SC]. Université de Grenoble, 2010
مصطلحات موضوعية: Systèmes dynamiques hybrides, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Symbolic-numeric algorithms, Algèbre linéaire exacte intensive, High-performance exact linear algebra, Espaces de matrices pour les codes correcteurs, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Perturbation attacks, Subspaces of matrices for error-correcting codes, Corps finis, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Hybrid dynamical systems, Primitive roots, Multi-core parallelism, Racines primitives, Computer Algebra patterns, Parallélisme multi-coeurs, Software design and modelization, Finite fields, Attaques par perturbation, Conception et modélisation logicielle, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Algorithmes symboliques-numériques
-
11Dissertation/ Thesis
المؤلفون: Stehlé, Damien
المساهمون: Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-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é Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Ecole normale supérieure de lyon - ENS LYON, Karim BELABAS
المصدر: https://theses.hal.science/tel-00645387 ; Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011.
مصطلحات موضوعية: Euclidean lattices, LLL/HKZ/BKZ reductions, lattice-based cryptography, computer algebra, hybrid symbolic-numeric algorithms, analysis of algorithms, Réseaux Euclidiens, réductions LLL/HKZ/BKZ, cryptographie reposant sur les réseaux Euclidiens, algorithmes hybrides numériques-algébriques, analyse d'algorithmes, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: tel-00645387; https://theses.hal.science/tel-00645387; https://theses.hal.science/tel-00645387/document; https://theses.hal.science/tel-00645387/file/HDR_full.pdf
-
12
المؤلفون: Dumas, Jean-Guillaume
المساهمون: Calculs Algébriques et Systèmes Dynamiques (CASYS), Laboratoire Jean Kuntzmann (LJK), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS), Université de Grenoble, Yassine Lakhnech(Yassine.Lakhnech@imag.fr)
المصدر: https://theses.hal.science/tel-00514925 ; Calcul formel [cs.SC]. Université de Grenoble, 2010.
مصطلحات موضوعية: Finite fields, Primitive roots, Perturbation attacks, Subspaces of matrices for error-correcting codes, High-performance exact linear algebra, Hybrid dynamical systems, Symbolic-numeric algorithms, Multi-core parallelism, Software design and modelization, Racines primitives, Attaques par perturbation, Espaces de matrices pour les codes correcteurs, Algèbre linéaire exacte intensive, Systèmes dynamiques hybrides, Algorithmes symboliques-numériques, Parallélisme multi-coeurs, Conception et modélisation logicielle, Computer Algebra patterns, Corps finis, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
13Academic Journal
المؤلفون: Etienne Farcot
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, G.1.7 [Numerical Analysis, Ordinary Dierential Equations, I.6.1 [Simulation and Modeling, Simulation Theory. General Terms, Algorithms. Keywords, Piecewise Ane Dynamical Systems, Symbolic- Numeric Algorithms, Biological Networks
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.491.5167; http://ljk.imag.fr/CASYS/CalCel/Publi_CalCel/Conferences/conf_farcot.pdf
-
14Academic Journal
المؤلفون: Etienne Farcot
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, G.1.7 [Numerical Analysis, Ordinary Differential Equations, I.6.1 [Simulation and Modeling, Simulation Theory. General Terms, Algorithms. Keywords, Piecewise Affine Dynamical Systems, Symbolic- Numeric Algorithms, Biological Networks
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.8802; http://hal.inria.fr/docs/00/83/00/70/PDF/fp068-farcot.pdf
-
15
المؤلفون: Jean-Guillaume Dumas
المساهمون: Calculs Algébriques et Systèmes Dynamiques (CASYS), Laboratoire Jean Kuntzmann (LJK), Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF), Université de Grenoble, Yassine Lakhnech(Yassine.Lakhnech@imag.fr)
المصدر: HAL
Calcul formel [cs.SC]. Université de Grenoble, 2010مصطلحات موضوعية: Systèmes dynamiques hybrides, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Symbolic-numeric algorithms, Algèbre linéaire exacte intensive, High-performance exact linear algebra, Espaces de matrices pour les codes correcteurs, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Perturbation attacks, Subspaces of matrices for error-correcting codes, Corps finis, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Hybrid dynamical systems, Primitive roots, Multi-core parallelism, Racines primitives, Computer Algebra patterns, Parallélisme multi-coeurs, Software design and modelization, Finite fields, Attaques par perturbation, Conception et modélisation logicielle, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Algorithmes symboliques-numériques