Search Results - acm: g.: mathematics of computing/g.4: (mathematik OR mathematical) software~
-
1
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Mathematical Software (TOMS)
ACM Trans. Math. Soft.
ACM Transactions on Mathematical SoftwareSubject Terms: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], non-matching grid projections, 01 natural sciences, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, 0101 mathematics, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, linear complexity, Advancing front algorithm, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
File Description: application/pdf
Access URL: https://inria.hal.science/hal-00933643v1
https://doi.org/10.1145/2513109.2513115
https://hal.inria.fr/hal-00933643
https://doi.acm .org/10.1145/2513109.2513115
https://dl.acm .org/doi/10.1145/2513109.2513115
https://doi.org/10.1145/2513109.2513115
https://dblp.uni-trier.de/db/journals/toms/toms40.html#GanderJ13
https://archive-ouverte.unige.ch/unige:171212
https://doi.org/10.1145/2513109.2513115
https://www.unige.ch/~gander/preprints.php
http://www.unige.ch/~gander/preprints.php -
2
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]
-
3
Authors: et al.
Contributors: et al.
Source: Twelfth International Symposium on Practical Aspects of Declarative Languages ; https://inria.hal.science/inria-00434282 ; Twelfth International Symposium on Practical Aspects of Declarative Languages, Jan 2010, Madrid, Spain
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Spain
Time: Madrid, Spain
-
4
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
-
5
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
-
6
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
-
7
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
-
8
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
-
9
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]
-
10
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]
-
11
Authors: et al.
Contributors: et al.
Source: https://hal.inria.fr/inria-00135013 ; [Technical Report] RT-0331, INRIA. 2007, pp.35.
Subject Terms: solver comparison, testing environment, scientific computing, performance profile, benchmarking, collection of problems, CUTEr, Libopt, Modulopt, optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.1: Certification and testing, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.MS/0703025; Report N°: RT-0331; inria-00135013; https://hal.inria.fr/inria-00135013; https://hal.inria.fr/inria-00135013v2/document; https://hal.inria.fr/inria-00135013v2/file/RT-0331.pdf; ARXIV: cs.MS/0703025
-
12
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00480045 ; [Research Report] RR-7273, INRIA. 2010, pp.19.
Subject Terms: Voronoi Diagram, Point Location, Lower Envelope, Exact Geometric Computing, CGAL, ACM: D.: Software/D.0: GENERAL, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
-
13
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00079223 ; [Research Report] RR-5930, INRIA. 2006, pp.21.
Subject Terms: Automatic Differentiation, Reverse Mode, Checkpointing, TAPENADE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.DS/0606042; ARXIV: cs.DS/0606042
-
14
Authors: et al.
Contributors: et al.
Source: ICMS 2010 - Third International Congress on Mathematical Software ; https://inria.hal.science/inria-00544803 ; ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
-
15
Authors: et al.
Contributors: et al.
Source: PPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics ; https://inria.hal.science/hal-00922117 ; PPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics, Sep 2013, Warsaw, Poland
Subject Terms: interval arithmetic, numerical reproducibility, HPC, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Availability: https://inria.hal.science/hal-00922117
-
16
Authors: et al.
Contributors: et al.
Source: SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics ; https://inria.hal.science/inria-00544808 ; SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Subject Terms: scientific computing, computer arithmetic, validated numerics, ACM: B.: Hardware/B.2: ARITHMETIC AND LOGIC STRUCTURES/B.2.4: High-Speed Arithmetic, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Availability: https://inria.hal.science/inria-00544808
-
17
Authors: et al.
Contributors: et al.
Source: PASCO'10 4th International Workshop in Parallel and Symbolic Computation ; https://inria.hal.science/inria-00544800 ; PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩
-
18
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/inria-00388501 ; ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩.
Subject Terms: correct rounding, floating-point arithmetic, integer power function, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.0: Computer arithmetic, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
19
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/inria-00103655 ; ACM Transactions on Mathematical Software, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩.
-
20
Authors: et al.
Contributors: et al.
Source: The 10th International Symposium on Formal Aspects of Component Software ; https://inria.hal.science/hal-00916115 ; The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Full Text Finder 
Nájsť tento článok vo Web of Science