Authors: Aubry, Yves, Herbaut, Fabien, Issa, Ali
Contributors: Institut de Mathématiques de Toulon - EA 2134 (IMATH), Université de Toulon (UTLN), Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Institut national supérieur du professorat et de l'éducation - Académie de Nice (UCA INSPE), Université Côte d'Azur (UniCA), Aix Marseille Université (AMU), ANR-21-CE39-0012,SWAP,Boîtes-S pour des primitives à clé secrète(2021)
Superior Title: https://hal.science/hal-04546074 ; 2024.
Subject Terms: Polynomials over finite fields, differential uniformity, Chebotarev theorem, exceptional APN conjecture, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Relation: hal-04546074; https://hal.science/hal-04546074; https://hal.science/hal-04546074/document; https://hal.science/hal-04546074/file/Aubry_Herbaut_Issa_Trinomials_HAL.pdf
Authors: Chaumont-Frelet, Théophile, Vohralík, Martin
Contributors: Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée (ATLANTIS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS), École des Ponts ParisTech (ENPC), European Project: 647134,H2020 ERC,ERC-2014-CoG,GATIPOR(2015)
Superior Title: ISSN: 0036-1429 ; SIAM Journal on Numerical Analysis ; https://inria.hal.science/hal-03227570 ; SIAM Journal on Numerical Analysis, 2023, 61 (4), pp.1783--1818. ⟨10.1137/21M141909X⟩.
Subject Terms: Sobolev space H(curl), Sobolev space H(div), Equilibrated flux reconstruction, p-robustness, A posteriori error estimate, Divergence-free decomposition, Broken polynomial extension, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.07770; info:eu-repo/grantAgreement//647134/EU/Guaranteed fully adaptive algorithms with tailored inexact solvers for complex porous media flows/GATIPOR; hal-03227570; https://inria.hal.science/hal-03227570; https://inria.hal.science/hal-03227570v2/document; https://inria.hal.science/hal-03227570v2/file/Maxwell_equil_HAL.pdf; ARXIV: 2105.07770
Authors: Galligo, André
Contributors: Université Côte d'Azur (UCA), AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
Superior Title: ISSAC '22: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ; ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-03577445 ; ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.48550/arXiv.2205.08747⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3476446
Subject Terms: polynomials, equations of motion, non local PDE, Complex roots sets, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2205.08747; hal-03577445; https://hal.science/hal-03577445; https://hal.science/hal-03577445v2/document; https://hal.science/hal-03577445v2/file/Galligo_RootsMotion_May22.pdf; ARXIV: 2205.08747
Authors: Chaumont-Frelet, Théophile, Vohralík, Martin
Contributors: Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée (ATLANTIS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS), École des Ponts ParisTech (ENPC), European Project: 647134,H2020 ERC,ERC-2014-CoG,GATIPOR(2015)
Superior Title: https://inria.hal.science/hal-03749682 ; 2023.
Subject Terms: Potential reconstruction, Flux reconstruction, A posteriori error estimate, Robustness, Polynomial degree, Best approximation, Finite element method, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2208.05870; info:eu-repo/grantAgreement//647134/EU/Guaranteed fully adaptive algorithms with tailored inexact solvers for complex porous media flows/GATIPOR; hal-03749682; https://inria.hal.science/hal-03749682; https://inria.hal.science/hal-03749682/document; https://inria.hal.science/hal-03749682/file/chaumontfrelet_vohralik_2022a.pdf; ARXIV: 2208.05870
Contributors: Université Côte d'Azur (UCA), AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), University of Kaiserslautern Kaiserslautern, Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT), The Arctic University of Norway Tromsø, Norway (UiT), 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), European Project: SFB-TRR 195,DFG
Superior Title: https://hal.science/hal-03768067 ; 2023.
Subject Terms: Trigonometric Optimization, Crystallographic Symmetry, Weyl Groups, Root Systems, Lattices, Chebyshev Polynomials, Chromatic Numbers, Set Avoiding Graphs, Spectral Bounds, 05C1517B2233C5252C0790C23, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2303.09487; info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; info:eu-repo/grantAgreement//SFB-TRR 195/EU/Symbolic Tools in Mathematics and their Application/DFG; hal-03768067; https://hal.science/hal-03768067; https://hal.science/hal-03768067v2/document; https://hal.science/hal-03768067v2/file/trigonometric.pdf; ARXIV: 2303.09487
Authors: Baldi, Lorenzo, Mourrain, Bernard
Contributors: AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), 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)
Superior Title: ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-03145501 ; ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. ⟨10.1145/3452143.3465541⟩
Subject Terms: real radical, moments, positive polynomial, convex optimization, orthogonal polynomials, numerical algorithm, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Subject Geographic: Saint-Pétersbourg, Russia
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2102.09367; info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-03145501; https://hal.science/hal-03145501; https://hal.science/hal-03145501v2/document; https://hal.science/hal-03145501v2/file/paper.pdf; ARXIV: 2102.09367
Authors: Hubert, Evelyne, Metzlaff, Tobias, Riener, Cordian
Contributors: AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), The Arctic University of Norway Tromsø, Norway (UiT), 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)
Superior Title: https://hal.science/hal-03590007 ; 2022.
Subject Terms: Semi-Algebraic Sets, Multiplicative Invariant Theory, Weyl Groups, Orbit Spaces, Chebyshev Polynomials, Polynomial Matrix Inequalities, [MATH]Mathematics [math], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]
Relation: info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-03590007; https://hal.science/hal-03590007; https://hal.science/hal-03590007v2/document; https://hal.science/hal-03590007v2/file/Hermite.pdf
Authors: Hubert, Evelyne, Metzlaff, Tobias, Riener, Cordian
Contributors: Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), Université Côte d'Azur (UCA), University of Kaiserslautern Kaiserslautern, The Arctic University of Norway Tromsø, Norway (UiT), 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), European Project: SFB-TRR 195,DFG
Superior Title: https://hal.science/hal-03590007 ; 2022.
Subject Terms: Semi-Algebraic Sets, Multiplicative Invariants, Weyl Groups, Orbit Spaces, Chebyshev Polynomials, Polynomial Matrix Inequalities, 13A50 14P10 17B22 33C52, [MATH]Mathematics [math], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]
Relation: info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; info:eu-repo/grantAgreement//SFB-TRR 195/EU/Symbolic Tools in Mathematics and their Application/DFG; hal-03590007; https://hal.science/hal-03590007; https://hal.science/hal-03590007v3/document; https://hal.science/hal-03590007v3/file/Hermite.pdf
Contributors: University of Southern Denmark (SDU), Algorithmes, Graphes et Combinatoire (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), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), ANR-19-CE48-0013,DIGRAPHS,Digraphes(2019), ANR-17-EURE-0004,UCA DS4H,UCA Systèmes Numériques pour l'Homme(2017)
Superior Title: ISSN: 1879-2294.
Subject Terms: Digraphs, arc-partitions, NP-complete, polynomial algorithm, branchings, strong subdigraphs, cycle factor, acyclic digraph, [INFO]Computer Science [cs]
Relation: hal-03699980; https://hal.science/hal-03699980; https://hal.science/hal-03699980/document; https://hal.science/hal-03699980/file/TCSnewfinal.pdf
Authors: Chalkis, Apostolos, Emiris, Ioannis, Z., Fisikopoulos, Vissarion, Repouskos, Panagiotis, Tsigaridas, Elias
Contributors: ATHENA - Research and Innovation Center in Information, Communication and Knowledge Technologies, Department of Informatics and Telecomunications Kapodistrian Univ (DI NKUA), National and Kapodistrian University of Athens (NKUA), GeomScale Org., AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), 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é), ET is partially supported by ANR JCJC GALOP (ANR-17-CE40-0009), the PGMO grant ALMA, and the PHC GRAPE., ANR-17-CE40-0009,GALOP,Jeux à travers la lentille de algèbre et géométrie de l'optimisation(2017)
Superior Title: ISSN: 0024-3795 ; Linear Algebra and its Applications ; https://inria.hal.science/hal-03659476 ; Linear Algebra and its Applications, 2022, 648, pp.205-232. ⟨10.1016/j.laa.2022.04.002⟩.
Subject Terms: Spectahedron, Volume approximation, Optimization, Polynomial eigenvalue problem, Monter Carlo, Sampling, Random walk, Semidefinite-programming, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: hal-03659476; https://inria.hal.science/hal-03659476; https://inria.hal.science/hal-03659476/document; https://inria.hal.science/hal-03659476/file/spectra-vol-j.pdf
Contributors: Commscope, Dipartimento di Elettronica e Informazione (DEI), Politecnico di Milano Milan (POLIMI), Analyse fonctionnelle pour la conception et l'analyse de systèmes (FACTAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title: ISSN: 0018-9480 ; IEEE Transactions on Microwave Theory and Techniques ; https://inria.hal.science/hal-03449926 ; IEEE Transactions on Microwave Theory and Techniques, 2022, 70 (1), pp.850 - 863. ⟨10.1109/TMTT.2021.3126861⟩.
Subject Terms: Characteristic polynomials, In-line filters, Synthesis, Transmission zeros, [SPI]Engineering Sciences [physics], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Relation: hal-03449926; https://inria.hal.science/hal-03449926; https://inria.hal.science/hal-03449926/document; https://inria.hal.science/hal-03449926/file/TMTT-2021-06-0718_Final%20Version%282%29.pdf
Authors: Hubert, Evelyne, Rodriguez Bazan, Erick
Contributors: AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), Université Côte d'Azur (UCA)
Superior Title: ISSN: 0025-5718 ; Mathematics of Computation ; https://inria.hal.science/hal-03209117 ; Mathematics of Computation, 2022, 91 (337), pp.2459-2488. ⟨10.1090/mcom/3749⟩.
Subject Terms: finite groups, representation theory, polynomial invariants, equivariants, symmetry adapted bases, Covariants, H-basis, computational invariant theory, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]
Relation: hal-03209117; https://inria.hal.science/hal-03209117; https://inria.hal.science/hal-03209117v4/document; https://inria.hal.science/hal-03209117v4/file/Hubert22RodriguezHAL%20%281%29.pdf
Authors: Krick, Teresa, Mourrain, Bernard, Szanto, Agnes
Contributors: Dep. Mathematica, Universidad Buenos Aires, Universidad de Buenos Aires Buenos Aires (UBA), Consejo Nacional de Investigaciones Científicas y Técnicas Buenos Aires (CONICET), AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), Department of Mathematics, North Carolina State University
Superior Title: Revista de la Union Matematica Argentina ; https://hal.science/hal-03442193 ; Revista de la Union Matematica Argentina, 2022, 64 (2), pp.215-237. ⟨10.33044/revuma.2904⟩
Subject Terms: Positive polynomials, Sum of Squares, Semi-Definite Matrix, Convex cone, Real roots, Exact computation, Certificate, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2112.00490; hal-03442193; https://hal.science/hal-03442193; https://hal.science/hal-03442193v2/document; https://hal.science/hal-03442193v2/file/KMS-UMA-revision.pdf; ARXIV: 2112.00490
Authors: Bang-Jensen, Jørgen, Havet, Frédéric, Yeo, Anders
Contributors: University of Southern Denmark (SDU), Combinatorics, Optimization and Algorithms for Telecommunications (COATI), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
Superior Title: ISSN: 0364-9024.
Subject Terms: Arc-connectivity, Eulerian subdigraph, Tournament, Semicomplete digraph, polynomial algorithm, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Relation: hal-03844943; https://inria.hal.science/hal-03844943; https://inria.hal.science/hal-03844943/document; https://inria.hal.science/hal-03844943/file/supereulerian-revise.pdf
Authors: Hubert, Evelyne, Singer, Michael, F.
Contributors: AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), North Carolina State University Raleigh (NC State), University of North Carolina System (UNC)
Superior Title: ISSN: 1615-3375.
Subject Terms: Weyl groups, Chebyshev Polynomials, Hankel matrix, root systems, sparse interpolation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]
Relation: hal-02454589; https://inria.hal.science/hal-02454589; https://inria.hal.science/hal-02454589/document; https://inria.hal.science/hal-02454589/file/HubertSinger2020_01.pdf
Authors: Dal Lago, Ugo, Kahle, Reinhard, Oitavem, Isabel
Contributors: Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Mathematisches Institut Tübingen, Eberhard Karls Universität Tübingen = Eberhard Karls University of Tuebingen
Superior Title: Proceedings of MFCS 2021 ; MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science ; https://inria.hal.science/hal-03346791 ; MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. ⟨10.4230/LIPIcs.MFCS.2021.35⟩
Subject Terms: tree-recursion, probabilistic classes, polynomial time, PP, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Time: Tallinn, Estonia
Relation: hal-03346791; https://inria.hal.science/hal-03346791; https://inria.hal.science/hal-03346791/document; https://inria.hal.science/hal-03346791/file/mfcs2021.pdf
Contributors: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)
Superior Title:
38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)
https://hal.science/hal-03430841
38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), 2021, ⟨10.4230/LIPIcs.STACS.2021.32⟩
Subject Terms: Rice theorem, complexity classes, polynomial hierarchy, hardness, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Relation: hal-03430841; https://hal.science/hal-03430841; https://hal.science/hal-03430841/document; https://hal.science/hal-03430841/file/LIPIcs-STACS-2021-32.pdf
Authors: Chaumont-Frelet, Théophile, Vohralík, Martin
Contributors: Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée (ATLANTIS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS), École des Ponts ParisTech (ENPC), European Project: 647134,H2020 ERC,ERC-2014-CoG,GATIPOR(2015)
Superior Title: https://inria.hal.science/hal-03817302 ; 2022.
Subject Terms: Sobolev space H(curl), Minimal regularity, Commuting projector, Piecewise polynomial, Nédélec space, hp approximation, Error bound, Constrained-unconstrained equivalence, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: info:eu-repo/grantAgreement//647134/EU/Guaranteed fully adaptive algorithms with tailored inexact solvers for complex porous media flows/GATIPOR; hal-03817302; https://inria.hal.science/hal-03817302; https://inria.hal.science/hal-03817302/document; https://inria.hal.science/hal-03817302/file/H_curl_proj.pdf
Authors: Baldi, Lorenzo, Mourrain, Bernard
Contributors: AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), 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)
Superior Title: https://hal.science/hal-03082531 ; 2022.
Subject Terms: Polynomial Optimization, Measures, Flat Truncation, Moments, Duality, Sums of Squares, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.14652; info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-03082531; https://hal.science/hal-03082531; https://hal.science/hal-03082531v4/document; https://hal.science/hal-03082531v4/file/exact_baldi_mourrain.pdf; ARXIV: 2012.14652
Contributors: Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée (ATLANTIS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS), École des Ponts ParisTech (ENPC), Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), European Project: 647134,H2020 ERC,ERC-2014-CoG,GATIPOR(2015)
Superior Title: ISSN: 1631-073X.
Subject Terms: A posteriori error estimate, Flux reconstruction, Robustness, Polynomial extension operator, Polynomial degree, Best approximation, AMS subject classification.65N15, 65N30, 76M10, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2005.14528; info:eu-repo/grantAgreement//647134/EU/Guaranteed fully adaptive algorithms with tailored inexact solvers for complex porous media flows/GATIPOR; hal-02631319; https://inria.hal.science/hal-02631319; https://inria.hal.science/hal-02631319/document; https://inria.hal.science/hal-02631319/file/chaumonfrelet_ern_vohralik_2020a.pdf; ARXIV: 2005.14528