Authors: Figueras, Jordi-Lluís^{Aff1, IDs10884022102306_cor1}, Tucker, Warwick, Zgliczynski, Piotr

Superior Title: Journal of Dynamics and Differential Equations. :1-51

Authors: Capiński, Maciej J., Mireles James, Jason D., Tucker, Warwick, Wilczak, Daniel, van den Berg, Jan Bouwe

Superior Title: Capiński , M J , Mireles James , J D , Tucker , W , Wilczak , D & van den Berg , J B 2023 , ' Computer assisted proofs in dynamical systems ' , Communications in Nonlinear Science and Numerical Simulation , vol. 118 , 106998 . https://doi.org/10.1016/j.cnsns.2022.106998

File Description: application/pdf

Relation: https://research.vu.nl/en/publications/87e3d482-7686-498b-8230-7c1c813e29f4

Availability: https://doi.org/10.1016/j.cnsns.2022.106998
https://research.vu.nl/en/publications/87e3d482-7686-498b-8230-7c1c813e29f4
https://hdl.handle.net/1871.1/87e3d482-7686-498b-8230-7c1c813e29f4
https://research.vu.nl/ws/files/212707407/Computer_assisted_proofs_in_dynamical_systems.pdf
http://www.scopus.com/inward/record.url?scp=85144080410&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85144080410&partnerID=8YFLogxK

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

Contributors: 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é 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), Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC), 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-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria 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é 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)

Superior Title: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03561096 ; ACM Transactions on Mathematical Software, In press.

Subject Terms: Hilbert's 16th problem, Abelian integral, limit cycles, rigorous numerics, trigonometric polynomial interpolation, Newton-like operator, 2020 AMS classification: Primary: 34C07, Secondary: 37G15, 37M20, 42A10, 42A15, 65G20, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]

Relation: hal-03561096; https://hal.science/hal-03561096; https://hal.science/hal-03561096v2/document; https://hal.science/hal-03561096v2/file/hal-abintvalidV2.pdf

Availability: https://hal.science/hal-03561096
https://hal.science/hal-03561096v2/document
https://hal.science/hal-03561096v2/file/hal-abintvalidV2.pdf

Authors: Cook, Andrew, Hammerlindl, Andy, Tucker, Warwick

Subject Terms: Statistics - Machine Learning, Computer Science - Machine Learning, Mathematics - Dynamical Systems, 37E99 (Primary) 37N99 (Secondary)

Relation: http://arxiv.org/abs/2303.12814

Availability: http://arxiv.org/abs/2303.12814

Authors: Dudko, Artem, Gorbovickis, Igors, Tucker, Warwick

Contributors: Deutsche Forschungsgemeinschaft, Narodowe Centrum Nauki

Superior Title: Nonlinearity ; volume 36, issue 5, page 2867-2893 ; ISSN 0951-7715 1361-6544

Availability: https://doi.org/10.1088/1361-6544/acc71b

Authors: Galias, Zbigniew, Tucker, Warwick

Superior Title: In Applied Mathematics and Computation 15 February 2022 415

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

Contributors: French national research agency, Université de Lyon, within the program “Investissements d’Avenir”, French National Research Agency, Swedish Research Council

Superior Title: ACM Transactions on Mathematical Software ; volume 50, issue 1, page 1-38 ; ISSN 0098-3500 1557-7295

Subject Terms: Applied Mathematics, Software

Availability: https://doi.org/10.1145/3637550

Authors: Dudko, Artem, Gorbovickis, Igors, Tucker, Warwick

Subject Terms: Mathematics - Dynamical Systems

Relation: http://arxiv.org/abs/2204.07880

Availability: https://doi.org/10.1088/1361-6544/acc71b
http://arxiv.org/abs/2204.07880

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

Contributors: 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), Arithmetic and Computing (ARIC), 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), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), É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), School of Mathematics Australia, Monash University Melbourne, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)

Superior Title: https://hal.science/hal-03561096 ; 2022.

Subject Terms: Hilbert's 16th problem, Abelian integral, limit cycles, rigorous numerics, trigonometric polynomial interpolation, Newton-like operator, 2020 AMS classification: Primary: 34C07, Secondary: 37G15, 37M20, 42A10, 42A15, 65G20, [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], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]

Relation: hal-03561096; https://hal.science/hal-03561096; https://hal.science/hal-03561096/document; https://hal.science/hal-03561096/file/hal-abintvalid.pdf

Availability: https://hal.science/hal-03561096
https://hal.science/hal-03561096/document
https://hal.science/hal-03561096/file/hal-abintvalid.pdf

Authors: Galias, Zbigniew, Tucker, Warwick

Superior Title: In Journal of Differential Equations 15 February 2019 266(5):2408-2434

Authors: Sainudiin, Raazesh, Tucker, Warwick, Wiklund, Tilo

Subject Terms: Statistics - Computation, Computer Science - Distributed, Parallel, and Cluster Computing, Mathematics - Optimization and Control, 62G07, G.3.6

Relation: http://arxiv.org/abs/2012.14847

Availability: http://arxiv.org/abs/2012.14847

Authors: Tucker, Warwick^Aff4

Contributors: Gefen, Amit, Series editor^Aff1, Geris, Liesbet, editor^Aff2, Gomez-Cabrero, David, editor^Aff3

Superior Title: Uncertainty in Biology : A Computational Modeling Approach. 17:199-211

Authors: Joldes, Mioara^Aff17, Muller, Jean-Michel^Aff18, Popescu, Valentina^Aff18, Tucker, Warwick^Aff19

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Greuel, Gert-Martin, editor^Aff13, Koch, Thorsten, editor^Aff14, Paule, Peter, editor^Aff15, Sommese, Andrew, editor^Aff16

Superior Title: Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. 9725:232-240

Authors: Mitrea, Irina, Ott, Katharine, Tucker, Warwick

Superior Title: Integral Equations and Operator Theory. :1-57

Authors: Bartha, Ferenc A., Tucker, Warwick

Superior Title: In Applied Mathematics and Computation 1 September 2015 266:339-349

Authors: Barrio, Roberto, Dena, Angeles, Tucker, Warwick

Superior Title: In Computer Physics Communications September 2015 194:76-83

Authors: Tucker, Warwick^Aff5

Contributors: Kacprzyk, Janusz, editor^Aff1, Kocarev, Ljupco, editor^Aff2, Galias, Zbigniew, editor^Aff3, Lian, Shiguo, editor^Aff4

Superior Title: Intelligent Computing Based on Chaos. 184:1-23

Authors: Tucker, Warwick^Aff21, Moulton, Vincent^Aff22

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Istrail, Sorin, editor^Aff16, Pevzner, Pavel, editor^Aff17, Waterman, Michael, editor^Aff18, Casadio, Rita, editor^Aff19, Myers, Gene, editor^Aff20

Superior Title: Algorithms in Bioinformatics : 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings. 3692:192-203

Authors: Figueras, Jordi-Lluís, Tucker, Warwick, Villadelprat, Jordi

Superior Title: In Journal of Differential Equations 15 April 2013 254(8):3647-3663

Authors: Johnson, Tomas, Tucker, Warwick

Superior Title: In Journal of Computational and Applied Mathematics 2009 228(1):418-423