Search Results - "ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE"
-
1
Authors: et al.
Contributors: et al.
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
-
2
Authors: et al.
Contributors: et al.
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
-
3
Authors: et al.
Contributors: et al.
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
-
4
Authors: et al.
Contributors: et al.
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
-
5
Authors: et al.
Contributors: et al.
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]
-
6
Authors: et al.
Contributors: et al.
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]
-
7
Authors: et al.
Contributors: et al.
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
-
8
Authors: et al.
Contributors: et al.
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
-
9
Authors: et al.
Contributors: et al.
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
-
10
Authors: et al.
Contributors: et al.
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
-
11
Authors: et al.
Contributors: et al.
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
-
12
Authors: et al.
Contributors: et al.
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
-
13
Authors: et al.
Contributors: et al.
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]
-
14
Authors: et al.
Contributors: et al.
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
-
15
Authors: et al.
Contributors: et al.
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
-
16
Authors: et al.
Contributors: et al.
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]
-
17
Authors: et al.
Contributors: et al.
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]
-
18
Authors: et al.
Contributors: et al.
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]
-
19
Authors: et al.
Contributors: et al.
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
-
20
Authors: et al.
Contributors: et al.
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]
Nájsť tento článok vo Web of Science