يعرض 1 - 20 نتائج من 212 نتيجة بحث عن '"semi-algebraic sets"', وقت الاستعلام: 0.71s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal

    المساهمون: Université Côte d'Azur (UniCA), 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, 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

    المصدر: ISSN: 2470-6566 ; SIAM Journal on Applied Algebra and Geometry ; https://hal.science/hal-03590007 ; SIAM Journal on Applied Algebra and Geometry, 2024, 8 (3), pp.612-649. ⟨10.1137/23M158173X⟩.

    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

  3. 3
    Conference

    المؤلفون: Hoefgeest, Pepijn Roos, Slot, Lucas

    المساهمون: Chambers, Erin W., Gudmundsson, Joachim

    المصدر: 39th International Symposium on Computational Geometry

    وصف الملف: application/application/pdf

    Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-273-0; http://hdl.handle.net/20.500.11850/621955; urn:isbn:978-3-95977-273-0

  4. 4
    Academic Journal

    المؤلفون: Stade, Jack, Tucker-Foltz, Jamie

    المساهمون: Jack Stade and Jamie Tucker-Foltz

    وصف الملف: application/pdf

    Relation: Is Part Of LIPIcs, Volume 258, 39th International Symposium on Computational Geometry (SoCG 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2023.58

  5. 5
    Academic Journal
  6. 6
    Academic Journal

    المساهمون: Leopold Franzens Universität Innsbruck - University of Innsbruck, Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Research Institute for Symbolic Computation (RISC), University of Linz - Johannes Kepler Universität Linz (JKU), ANR-19-CE48-0015,ECARP,Algorithmes efficaces et exacts pour la planification de trajectoire en robotique(2019), European Project: ECARP

    المصدر: ISSN: 0747-7171.

  7. 7
    Academic Journal
  8. 8
  9. 9
    Academic Journal
  10. 10
    Conference

    المساهمون: É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é 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 de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Centre National d'Études Spatiales Toulouse (CNES), R&T : 23SST2018-20-EU-SST WP7, IEEE, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)

    المصدر: 60th IEEE Conference on Decision and Control (CDC 2021)
    https://laas.hal.science/hal-03158347
    60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩
    https://2021.ieeecdc.org/

    جغرافية الموضوع: Austin, Texas, United States

  11. 11
    Report

    المساهمون: Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), Université Côte d'Azur (UniCA), 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

    المصدر: https://hal.science/hal-03590007 ; 2022.

    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

  12. 12
    Report

    المساهمون: 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)

    المصدر: https://hal.science/hal-03590007 ; 2022.

    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

  13. 13
    Conference

    المساهمون: Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut for Analysis and Algebra (IAA), Technische Universität Braunschweig = Technical University of Braunschweig Braunschweig, ANR-18-CE33-0011,SESAME,Singularités Et Stabilité des AsservisseMEnts référencés capteurs(2018), ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019), ANR-19-CE48-0015,ECARP,Algorithmes efficaces et exacts pour la planification de trajectoire en robotique(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 '20: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02920059 ; ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩ ; https://issac-conference.org/2020/

    جغرافية الموضوع: Kalamata / Virtual, Greece

    Relation: info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-02920059; https://hal.science/hal-02920059; https://hal.science/hal-02920059/document; https://hal.science/hal-02920059/file/arxiv.pdf

  14. 14
    Academic Journal
  15. 15
    Dissertation/ Thesis
  16. 16
    Academic Journal

    المصدر: Proceedings of the American Mathematical Society, 2005 Apr 01. 133(4), 965-974.

  17. 17
    Academic Journal

    المصدر: Transactions of the American Mathematical Society, 2000 Jun 01. 352(6), 2825-2855.

  18. 18
    Academic Journal

    المصدر: Journal of the American Mathematical Society, 2000 Jan 01. 13(1), 55-82.

  19. 19
    Conference

    المساهمون: 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

    جغرافية الموضوع: Beijing, China

    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

  20. 20
    Academic Journal