-
1Conference
Authors: Revol, Nathalie, Théveny, Philippe
Contributors: Arithmetic and Computing (ARIC), Centre Inria de l'Université Grenoble 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é de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), 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é de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), L. Jaulin and N. Ramdani
Source: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Subject Terms: numerical reproducibility, floating-point computation, interval computation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
2Conference
Authors: Revol, Nathalie, Théveny, Philippe
Contributors: 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é de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), 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é de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), L. Jaulin and N. Ramdani
Source: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Subject Terms: numerical reproducibility, floating-point computation, interval computation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
3Conference
Authors: Revol, Nathalie, Théveny, Philippe
Contributors: Arithmetic and Computing (ARIC), Centre Inria de l'Université Grenoble 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é de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), 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é de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), L. Jaulin and N. Ramdani
Source: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Subject Terms: numerical reproducibility, floating-point computation, interval computation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
4Conference
Authors: Revol, Nathalie, Théveny, Philippe
Contributors: 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 - 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), 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), L. Jaulin and N. Ramdani
Source: SWIM'2013: Small Workshop on Interval Methods ; https://hal.inria.fr/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Subject Terms: numerical reproducibility, floating-point computation, interval computation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: hal-00922114; https://hal.inria.fr/hal-00922114; https://hal.inria.fr/hal-00922114/document; https://hal.inria.fr/hal-00922114/file/Revol-Theveny-SWIM13.pdf
-
5Conference
Contributors: Microsoft Research - Inria Joint Centre (MSR - INRIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Microsoft Research Laboratory Cambridge-Microsoft Corporation Redmond, Wash., Microsoft Research Cambridge (Microsoft), Microsoft Research, Types, Logic and computing (TYPICAL), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mathematical, Reasoning and Software (MARELLE), Centre Inria d'Université Côte d'Azur, Tobias Nipkow and Christian Urban
Source: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Subject Terms: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
6Conference
Contributors: Microsoft Research - Inria Joint Centre (MSR - INRIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Microsoft Research Laboratory Cambridge-Microsoft Corporation Redmond, Wash., Microsoft Research Cambridge (Microsoft), Microsoft Research, Types, Logic and computing (TYPICAL), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mathematical, Reasoning and Software (MARELLE), Centre Inria d'Université Côte d'Azur, Tobias Nipkow and Christian Urban
Source: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Subject Terms: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
7Conference
Contributors: Microsoft Research - Inria Joint Centre (MSR - INRIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Microsoft Research Laboratory Cambridge-Microsoft Corporation Redmond, Wash., Microsoft Research Cambridge (Microsoft), Microsoft Research, Types, Logic and computing (TYPICAL), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-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), Mathematical, Reasoning and Software (MARELLE), Inria Sophia Antipolis - Méditerranée (CRISAM), Tobias Nipkow and Christian Urban
Source: Theorem Proving in Higher Order Logics ; https://hal.inria.fr/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Subject Terms: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
Relation: inria-00368403; https://hal.inria.fr/inria-00368403; https://hal.inria.fr/inria-00368403v2/document; https://hal.inria.fr/inria-00368403v2/file/main.pdf
-
8Conference
Authors: Khanagha, Vahid, Khanagha, Ali
Contributors: Iran University of Science and Technology Tehran (IUST), Research Institute of Petroleum Industry (RIPI), Shahre Rey, IEEE
Source: 2009 IEEE Symposium on Industrial Electronics and Applications (ISIEA 2009)
https://hal.inria.fr/hal-00938356
2009 IEEE Symposium on Industrial Electronics and Applications (ISIEA 2009), IEEE, Oct 2009, Kuala Lumpur, MalaysiaSubject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD]
Subject Geographic: Kuala Lumpur, Malaysia
Relation: hal-00938356; https://hal.inria.fr/hal-00938356; https://hal.inria.fr/hal-00938356/document; https://hal.inria.fr/hal-00938356/file/vk2.pdf
-
9Conference
Authors: Grimmer, Markus, Petras, Knut, Revol, Nathalie
Contributors: Bergische Universität Wuppertal, Technische Universität Braunschweig = Technical University of Braunschweig Braunschweig, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble 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é de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), 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é de Lyon-Centre National de la Recherche Scientifique (CNRS), Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Springer
Source: Dagstuhl Seminar: Numerical Software with Result Verification ; https://inria.hal.science/inria-00545070 ; Dagstuhl Seminar: Numerical Software with Result Verification, Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Jan 2003, Dagstuhl, Germany. pp.64-90, ⟨10.1007/978-3-540-24738-8_4⟩
Subject Terms: interval arithmetic, multiple precision, interval packages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
10Conference
Authors: Grimmer, Markus, Petras, Knut, Revol, Nathalie
Contributors: Bergische Universität Wuppertal, Technische Universität Braunschweig = Technical University of Braunschweig Braunschweig, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble 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é de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), 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é de Lyon-Centre National de la Recherche Scientifique (CNRS), Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Springer
Source: Dagstuhl Seminar: Numerical Software with Result Verification ; https://inria.hal.science/inria-00545070 ; Dagstuhl Seminar: Numerical Software with Result Verification, Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Jan 2003, Dagstuhl, Germany. pp.64-90, ⟨10.1007/978-3-540-24738-8_4⟩
Subject Terms: interval arithmetic, multiple precision, interval packages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
11Conference
Authors: Grimmer, Markus, Petras, Knut, Revol, Nathalie
Contributors: Bergische Universität Wuppertal, Technische Universität Braunschweig = Technical University of Braunschweig Braunschweig, 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Springer
Source: Dagstuhl Seminar: Numerical Software with Result Verification ; https://hal.inria.fr/inria-00545070 ; Dagstuhl Seminar: Numerical Software with Result Verification, Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Jan 2003, Dagstuhl, Germany. pp.64-90, ⟨10.1007/978-3-540-24738-8_4⟩
Subject Terms: interval arithmetic, multiple precision, interval packages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: inria-00545070; https://hal.inria.fr/inria-00545070; https://hal.inria.fr/inria-00545070/document; https://hal.inria.fr/inria-00545070/file/GPR.pdf
-
12Academic Journal
Authors: Fogel, Efi, Teillaud, Monique
Contributors: School of Computer Science (TAU-CS), Tel Aviv University Tel Aviv, Geometric computing (GEOMETRICA), 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)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)
Source: ISSN: 1932-2240 ; ACM Communications in Computer Algebra ; https://hal.inria.fr/hal-00867884 ; ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2013, Issue 185, 47 (3), pp.85-87.
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.1: Reusable libraries, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
Relation: hal-00867884; https://hal.inria.fr/hal-00867884; https://hal.inria.fr/hal-00867884/document; https://hal.inria.fr/hal-00867884/file/SIGSAM-CCA_2013.pdf
-
13Academic Journal
Authors: Fogel, Efi, Teillaud, Monique
Contributors: School of Computer Science (TAU-CS), Tel Aviv University (TAU), Geometric computing (GEOMETRICA), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)
Source: ISSN: 1932-2240 ; ACM Communications in Computer Algebra ; https://inria.hal.science/hal-00867884 ; ACM Communications in Computer Algebra, 2013, Issue 185, 47 (3), pp.85-87.
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.1: Reusable libraries, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
-
14Report
Authors: Abril Bucero, Marta, Mourrain, Bernard
Contributors: Géométrie , Algèbre, Algorithmes (GALAAD2), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source: https://inria.hal.science/hal-00846977 ; 2014.
Subject Terms: polynomial optimization, semidefinite programming, KKT ideal, sum of squares, convergence certification, finite convergence, 90C22, 65K10, 14P10, 11E25, 13J30, ACM: G.: Mathematics of Computing/G.0: GENERAL, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [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/1307.6426; ARXIV: 1307.6426
-
15Report
Authors: Abril Bucero, Marta, Mourrain, Bernard
Contributors: Géométrie , Algèbre, Algorithmes (GALAAD2), 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)
Source: https://hal.inria.fr/hal-00846977 ; 2014.
Subject Terms: polynomial optimization, semidefinite programming, KKT ideal, sum of squares, convergence certification, finite convergence, 90C22, 65K10, 14P10, 11E25, 13J30, ACM: G.: Mathematics of Computing/G.0: GENERAL, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [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/1307.6426; hal-00846977; https://hal.inria.fr/hal-00846977; https://hal.inria.fr/hal-00846977v4/document; https://hal.inria.fr/hal-00846977v4/file/certifiedrevised.pdf; ARXIV: 1307.6426
-
16Report
Authors: Ratnani, Ahmed
Contributors: Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Scientific computation and visualization (CALVI), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche sur la Fusion par confinement Magnétique (IRFM), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Source: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Subject Terms: IsoGeometric Analysis, FEM, Splines, NURBS, CAD, Python, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
-
17Report
Authors: Ratnani, Ahmed
Contributors: Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Scientific computation and visualization (CALVI), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche sur la Fusion par confinement Magnétique (IRFM), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Source: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Subject Terms: IsoGeometric Analysis, FEM, Splines, NURBS, CAD, Python, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
-
18Report
Authors: Ratnani, Ahmed
Contributors: Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Scientific computation and visualization (CALVI), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche sur la Fusion par confinement Magnétique (IRFM), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Source: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Subject Terms: IsoGeometric Analysis, FEM, Splines, NURBS, CAD, Python, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
-
19Report
Authors: Ratnani, Ahmed
Contributors: Institut de Recherche Mathématique Avancée (IRMA), Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA), Scientific computation and visualization (CALVI), Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche sur la Fusion par confinement Magnétique (IRFM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Source: https://hal.inria.fr/hal-00769225 ; [Technical Report] 2012.
Subject Terms: IsoGeometric Analysis, FEM, Splines, NURBS, CAD, Python, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: hal-00769225; https://hal.inria.fr/hal-00769225; https://hal.inria.fr/hal-00769225/document; https://hal.inria.fr/hal-00769225/file/ratnani.pdf
-
20Report
Authors: Berberich, Eric, Hemmer, Michael, Kerber, Michael
Contributors: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Geometric computing (GEOMETRICA), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Science and Technology Klosterneuburg, Austria (IST Austria), INRIA
Source: https://inria.hal.science/inria-00480031 ; [Research Report] RR-7274, INRIA. 2010, pp.20.
Subject Terms: Algebraic Kernel, Algebraic Curves, Arrangements, Boolean Set Operations, Robust Geometric Computing, Experiments, CGAL, Generic Programming, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: D.: Software/D.0: GENERAL, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]