-
1Conference
Συγγραφείς: Revol, Nathalie, Théveny, Philippe
Συνεισφορές: 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
Πηγή: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Θεματικοί όροι: 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
Συγγραφείς: Revol, Nathalie, Théveny, Philippe
Συνεισφορές: 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
Πηγή: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Θεματικοί όροι: 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
Συγγραφείς: Revol, Nathalie, Théveny, Philippe
Συνεισφορές: 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
Πηγή: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Θεματικοί όροι: 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
Συγγραφείς: Revol, Nathalie, Théveny, Philippe
Συνεισφορές: 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
Πηγή: SWIM'2013: Small Workshop on Interval Methods ; https://hal.inria.fr/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Θεματικοί όροι: 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
Συγγραφείς: Garillot, François, Gonthier, Georges, Mahboubi, Assia, Rideau, Laurence
Συνεισφορές: 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
Πηγή: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Θεματικοί όροι: 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
Συγγραφείς: Garillot, François, Gonthier, Georges, Mahboubi, Assia, Rideau, Laurence
Συνεισφορές: 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
Πηγή: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Θεματικοί όροι: 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
Συγγραφείς: Garillot, François, Gonthier, Georges, Mahboubi, Assia, Rideau, Laurence
Συνεισφορές: 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
Πηγή: Theorem Proving in Higher Order Logics ; https://hal.inria.fr/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Θεματικοί όροι: 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
Συγγραφείς: Khanagha, Vahid, Khanagha, Ali
Συνεισφορές: Iran University of Science and Technology Tehran (IUST), Research Institute of Petroleum Industry (RIPI), Shahre Rey, IEEE
Πηγή: 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, MalaysiaΘεματικοί όροι: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD]
Θέμα γεωγραφικό: 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
Συγγραφείς: Grimmer, Markus, Petras, Knut, Revol, Nathalie
Συνεισφορές: 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
Πηγή: 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⟩
Θεματικοί όροι: interval arithmetic, multiple precision, interval packages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
10Conference
Συγγραφείς: Grimmer, Markus, Petras, Knut, Revol, Nathalie
Συνεισφορές: 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
Πηγή: 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⟩
Θεματικοί όροι: interval arithmetic, multiple precision, interval packages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
11Conference
Συγγραφείς: Grimmer, Markus, Petras, Knut, Revol, Nathalie
Συνεισφορές: 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
Πηγή: 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⟩
Θεματικοί όροι: 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
Συγγραφείς: Fogel, Efi, Teillaud, Monique
Συνεισφορές: 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)
Πηγή: 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.
Θεματικοί όροι: 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
Συγγραφείς: Fogel, Efi, Teillaud, Monique
Συνεισφορές: 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)
Πηγή: 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.
Θεματικοί όροι: 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
Συγγραφείς: Abril Bucero, Marta, Mourrain, Bernard
Συνεισφορές: 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)
Πηγή: https://inria.hal.science/hal-00846977 ; 2014.
Θεματικοί όροι: 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
Συγγραφείς: Abril Bucero, Marta, Mourrain, Bernard
Συνεισφορές: 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)
Πηγή: https://hal.inria.fr/hal-00846977 ; 2014.
Θεματικοί όροι: 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
Συγγραφείς: Ratnani, Ahmed
Συνεισφορές: 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)
Πηγή: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Θεματικοί όροι: 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
Συγγραφείς: Ratnani, Ahmed
Συνεισφορές: 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)
Πηγή: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Θεματικοί όροι: 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
Συγγραφείς: Ratnani, Ahmed
Συνεισφορές: 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)
Πηγή: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Θεματικοί όροι: 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
Συγγραφείς: Ratnani, Ahmed
Συνεισφορές: 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)
Πηγή: https://hal.inria.fr/hal-00769225 ; [Technical Report] 2012.
Θεματικοί όροι: 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
Συγγραφείς: Berberich, Eric, Hemmer, Michael, Kerber, Michael
Συνεισφορές: 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
Πηγή: https://inria.hal.science/inria-00480031 ; [Research Report] RR-7274, INRIA. 2010, pp.20.
Θεματικοί όροι: 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]