-
1Conference
المؤلفون: Plambeck, Swantje, Schmidt, Maximilian, Subias, Audine, Travé-Massuyès, Louise, Fey, Goerschwin
المساهمون: Hamburg University of Technology (TUHH), Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO), 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é 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), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24) ; https://hal.science/hal-04794459 ; The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24), Nov 2024, Vienna, Austria. 14 p., ⟨10.4230/OASIcs.DX.2024.30⟩
مصطلحات موضوعية: Computer systems organization → Embedded and cyber-physical systems, Symbolic Regression, System Identification, Computing methodologies → Symbolic and algebraic algorithms, Computing methodologies → Learning paradigms, Computing methodologies → Modeling methodologies Keywords and phrases Hybrid Systems, Hybrid Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
2Academic Journal
المؤلفون: Gurjar, Rohit, Oki, Taihei, Raj, Roshan
المساهمون: Rohit Gurjar and Taihei Oki and Roshan Raj
مصطلحات موضوعية: parallel algorithms, hitting set, non-commutative rank, Brascamp-Lieb polytope, algebraic algorithms
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 308, 32nd Annual European Symposium on Algorithms (ESA 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2024.63
-
3Conference
المؤلفون: Abbondati, Matteo, Guerrini, Eleonora, Lebreton, Romain
المساهمون: Exact Computing (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Jonathan Hauenstein, ANR-21-CE39-0006,SANGRIA,Calcul réparti sécurisé : Cryptographie, Combinatoire, Calcul Formel(2021), ANR-21-CE39-0009,BARRACUDA,Algèbre, preuves, protocoles, algorithmes, courbes, et surfaces pour les codes et leurs applications(2021), ANR-22-PECY-0010,CRYPTANALYSE,Cryptanalyse de primitives cryptographiques classiques(2022)
المصدر: ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04628184 ; ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation, Jonathan Hauenstein, Jul 2024, Raleigh (North Carolina), United States. ⟨10.1145/3666000.3669686⟩ ; https://www.issac-conference.org/2024/
مصطلحات موضوعية: Simultaneous rational function reconstruction, Fault tolerant algorithm, Reed Solomon codes, Chinese remainder codes, Interleaved codes, Decoding failure probability analysis, Algebraic algorithms, Linear algebra algorithms, Probabilistic algorithms, Coding theory, Simultaneous rational number reconstruction, [INFO]Computer Science [cs]
جغرافية الموضوع: Raleigh (North Carolina), United States
-
4Report
المؤلفون: Barkatou, Moulay A., Legrand, Lucas, Vaccon, Tristan
المساهمون: Mathématiques & Sécurité de l'information (XLIM-MATHIS), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)
المصدر: https://hal.science/hal-04510822 ; 2024.
مصطلحات موضوعية: Algebraic algorithms, Gröbner bases, Tate algebra, Laurent polynomials, Tropical analytic geometry, Algorithms, CCS CONCEPTS Computing methodologies → Algebraic algorithms Algorithms Gröbner bases Tate algebra Laurent polynomials Tropical analytic geometry, CCS CONCEPTS, Computing methodologies → Algebraic algorithms Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Relation: hal-04510822; https://hal.science/hal-04510822; https://hal.science/hal-04510822/document; https://hal.science/hal-04510822/file/article_ISSAC.pdf
-
5Academic Journal
المؤلفون: Quadrat, Alban, Rouillier, Fabrice, Younes, Grace
المساهمون: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Sorbonne University Abu Dhabi (SUAD), SUAD_SAFIR
المصدر: EISSN: 2564-3029 ; Maple Transactions ; https://inria.hal.science/hal-04646145 ; Maple Transactions, 2024, 4 (1), pp.18. ⟨10.5206/mt.v4i1.17129⟩
مصطلحات موضوعية: Computer Algebra, Control theory, Computing methodologies, Algebraic algorithms, Polynomial systems, $L^{\infty}$-norm computation, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2312.00760; ARXIV: 2312.00760
-
6Conference
المؤلفون: Kenison, G, Nosan, K, Shirmohammadi, M, Worrell, J
مصطلحات موضوعية: Applied mathematics, Numerical and computational mathematics, Pure mathematics, Algebraic algorithms, Mathematical sciences, Number theory algorithms, Computing methodologies
Relation: https://ora.ox.ac.uk/objects/uuid:96b58926-f668-4d39-8027-3d847c3e5314; https://doi.org/10.1145/3597066.3597121
-
7Conference
المؤلفون: Luca, F, Ouaknine, J, Worrell, J
مصطلحات موضوعية: Computing methodologies, Symbolic and algebraic algorithms, Number theory algorithms
Relation: https://ora.ox.ac.uk/objects/uuid:3a282bbb-a01a-4a54-b580-f4ac06a45b7c; https://doi.org/10.4230/LIPIcs.MFCS.2022.73
-
8Conference
المؤلفون: Bostan, Alin, Neiger, Vincent, Yurkevich, Sergey
المساهمون: Calcul formel, mathématiques expérimentales et interactions (MATHEXP), 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), Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Universität Wien = University of Vienna, The third author was supported by the ÖAW DOC fellowship P-26101, ANR-22-CE91-0007,EAGLES,Algorithmes Efficaces pour Guessing, Inégalités, Sommation(2022), ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019)
المصدر: ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-03979664 ; ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway ; https://www.issac-conference.org/2023/
مصطلحات موضوعية: Algebraic Algorithms, Computational Complexity, Binary Powering, C-recursive Sequence, Rational Power Series, Linear Differential Equations, Creative Telescoping, Polynomial Matrices, [INFO]Computer Science [cs]
Relation: hal-03979664; https://inria.hal.science/hal-03979664; https://inria.hal.science/hal-03979664v2/document; https://inria.hal.science/hal-03979664v2/file/BoNeYu23.pdf
-
9Academic Journal
المؤلفون: Bentert, Matthias, Heeger, Klaus, Koana, Tomohiro
المساهمون: Matthias Bentert and Klaus Heeger and Tomohiro Koana
مصطلحات موضوعية: FPT in P, Algebraic Algorithms, Adaptive Algorithms, Subgraph Detection, Matching, APSP
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 274, 31st Annual European Symposium on Algorithms (ESA 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2023.16
-
10Academic Journal
المؤلفون: Brand, Cornelius, Korchemna, Viktoriia, Skotnica, Michael
المساهمون: Cornelius Brand and Viktoriia Korchemna and Michael Skotnica
مصطلحات موضوعية: Fixed-parameter algorithms, Algebraic algorithms, Motif discovery, Matroid intersection
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.25
-
11
المؤلفون: Thejaswi, Suhas, Gionis, Aristides, Lauri, Juho
المصدر: BIG DATA. 8(5):335-362
مصطلحات موضوعية: algebraic algorithms, constrained multilinear sieving, pattern detection, temporal paths, temporal patterns
وصف الملف: print
-
12Conference
المؤلفون: Chenavier, Cyrille, Cluzeau, Thomas, Quadrat, Alban
المساهمون: XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
المصدر: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908688 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada
مصطلحات موضوعية: Systems of partial differential equations, Multidimensional systems, Behaviours, Cartan's involutivity, Formal integrability, Koszul homology, Spencer cohomology, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
جغرافية الموضوع: Montréal
Time: Montréal, Canada
-
13Conference
المؤلفون: Quadrat, Alban
المساهمون: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
المصدر: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908561 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada. ⟨10.1016/j.ifacol.2022.11.301⟩
مصطلحات موضوعية: Linear systems, Systems with time-delays, Polynomial methods, Delay compensation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
جغرافية الموضوع: Montréal
Time: Montréal, Canada
-
14Conference
المؤلفون: Quadrat, Alban
المساهمون: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
المصدر: MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems ; https://inria.hal.science/hal-03908541 ; MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems, Sep 2022, Bayreuth, Germany. ⟨10.1016/j.ifacol.2022.11.054⟩
مصطلحات موضوعية: Linear systems, Polynomial methods, Algebraic analysis, Rings of integro-differential operators, Parametrization, Reachability, Behaviour theory, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA]
-
15Book
المؤلفون: Quadrat, Alban, Ushirobira, Rosane
المساهمون: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Finite-time control and estimation for distributed systems (VALSE), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
المصدر: Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107 ; https://inria.hal.science/hal-03908643 ; Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107, ADD-2, Springer, pp. 87-107, 2022, Advances in Delays and Dynamics, 978-3-030-89014-8. ⟨10.1007/978-3-030-89014-8_5⟩
مصطلحات موضوعية: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
16Conference
المؤلفون: Quadrat, Alban
المساهمون: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
المصدر: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908550 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montreal, Canada. ⟨10.1016/j.ifacol.2022.11.299⟩
مصطلحات موضوعية: Linear systems, Continuous-time linear state-space models, Polynomial methods, Algebraic analysis, Rings of integro-differential operators, System equivalence, Behaviours, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
جغرافية الموضوع: Montreal
Time: Montreal, Canada
Relation: hal-03908550; https://inria.hal.science/hal-03908550; https://inria.hal.science/hal-03908550/document; https://inria.hal.science/hal-03908550/file/main_final.pdf
-
17Academic Journal
المؤلفون: Alman, Josh, Hirsch, Dean
المساهمون: Josh Alman and Dean Hirsch
مصطلحات موضوعية: sensitivity oracles, k-path, dynamic algorithms, parameterized algorithms, set packing, partial cover, exterior algebra, extensor, algebraic algorithms
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.9
-
18Academic Journal
المؤلفون: Lenstra, HW, Silverberg, A
مصطلحات موضوعية: Algebraic algorithms, Finite rings, Cyclic modules, math.AC, Applied Mathematics, Numerical and Computational Mathematics, Computation Theory and Mathematics, General Mathematics
وصف الملف: application/pdf
URL الوصول: https://escholarship.org/uc/item/5qm230fv
-
19Conference
المؤلفون: Lairez, Pierre, 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), Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), This work is supported by ANR under grants ANR-19-CE48-0015 (ECARP), ANR-18-CE33-0011 (Sesame) and ANR-19-CE40-0018 (DeRerumNatura), and the EU H2020 research and innovation programme under grant 813211 (POEMA)., ANR-19-CE48-0015,ECARP,Algorithmes efficaces et exacts pour la planification de trajectoire en robotique(2019), ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019), 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 2021 - 46th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-03232068 ; ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩ ; https://issac-conference.org/2021/
مصطلحات موضوعية: Computing methodologies, Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
جغرافية الموضوع: Saint-Pétersbourg, Russia
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.10255; info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-03232068; https://inria.hal.science/hal-03232068; https://inria.hal.science/hal-03232068v2/document; https://inria.hal.science/hal-03232068v2/file/real-algebraic-dimension.pdf; ARXIV: 2105.10255
-
20Academic Journal
المؤلفون: Brand, Cornelius, Pratt, Kevin
المساهمون: Cornelius Brand and Kevin Pratt
مصطلحات موضوعية: Parameterized Algorithms, Algebraic Algorithms, Longest Cycle, Matroid Parity
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.38