Search Results - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency*
-
1
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.inria.fr/hal-00933643 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 40 (1), pp.6:1--6:25. ⟨10.1145/2513109.2513115⟩.
Subject Terms: Advancing front algorithm, linear complexity, non-matching grid projections, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
Relation: hal-00933643; https://hal.inria.fr/hal-00933643
-
2
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.archives-ouvertes.fr/hal-02419121 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2012, 38 (4), pp.1-20. ⟨10.1145/2331130.2331131⟩.
Subject Terms: Mathematics of computing, sparse matrices, Algorithms, Design Additional Key Words and Phrases: Sparse Matrices, Object-Oriented Design, D211 [Software Engineering]: Software Architectures-Data abstrac- tion, information hiding, structured, G13 [Numerical Analysis]: Numerical Linear Algebra-Sparse, G4 [Mathematical Software]: Algorithm design and analysis General Terms: Mathematics of computing, and very large systems (direct and iterative methods), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Relation: hal-02419121; https://hal.archives-ouvertes.fr/hal-02419121; https://hal.archives-ouvertes.fr/hal-02419121/document; https://hal.archives-ouvertes.fr/hal-02419121/file/psblas3.pdf
-
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: 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]
-
5
Authors: et al.
Contributors: et al.
Source: 15th Annual European Symposium on Algorithms - ESA 2007
https://inria.hal.science/inria-00165663
15th Annual European Symposium on Algorithms - ESA 2007, Yossi Azar, Tel-Aviv U. and Microsoft Research uy Even, Tel-Aviv U. Amos Fiat, Tel-Aviv U. (Chair) Seffi Naor, Technion and Microsoft Research, Oct 2007, Eilat, Israel, October 8-10, 2007, Israel. pp.633-644, ⟨10.1007/978-3-540-75520-3_56⟩Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
Subject Geographic: Eilat, Israel, October 8-10
-
6
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⟩
-
7
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-00544805 ; 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: iterative refinement, accuracy, certification, interval matrix multiplication, computing precision, efficiency, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Availability: https://inria.hal.science/inria-00544805
-
8
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
-
9
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00405478 ; [Research Report] RR-7004, INRIA. 2009.
Subject Terms: Computational Geometry, Delaunay Triangulation, Voronoi Diagram, Sphere, Space of Circles, Exact Geometric Computing, CGAL, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.1: Reusable libraries, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.2: Geometrical problems and computations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.5: Computational Geometry and Object Modeling/I.3.5.3: Geometric algorithms, languages, and systems, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
-
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://inria.hal.science/inria-00147450 ; [Research Report] 2007, pp.16.
Subject Terms: Abstraction, Constraint, Narrowing, Probability, Termination, 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.2: Logics of programs, 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, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, 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.5: Specification techniques, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
12
Authors: et al.
Contributors: et al.
Source: https://theses.hal.science/tel-01708791 ; Numerical Analysis [math.NA]. Université Paul Sabatier - Toulouse III, 2017. English. ⟨NNT : ⟩.
Subject Terms: sparse matrices, direct methods for linear systems, multifrontal method, low-rank approximations, high-performance computing, parallel computing, partial differential equations, matrices creuses, systèmes linéaires creux, méthodes directes, mé- thode multifrontale, approximations de rang-faible, équations aux dérivées par- tielles elliptiques, calcul haute performance, calcul parallèle, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra/G.1.3.8: Sparse, structured, and very large systems (direct and iterative methods), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra/G.1.3.4: Linear systems (direct and iterative methods), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.6: Parallel algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.5: Numerical algorithms, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.1: Elliptic equations, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
-
13
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
-
14
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-04176838 ; [Technical Report] INRIA. 2007, pp.47.
Subject Terms: Benchmarking BSM, Collection of problems, CUTEr, Libopt, Modulopt, Optimization, Performance profile, Scientific computing, Solver comparison, Testing environment, Analyse comparative, Calcul scientifique, Collection de problèmes, Comparaison de solveurs, Environnement de test, Optimisation, Profils de performances, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [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: hal-04176838; https://inria.hal.science/hal-04176838; https://inria.hal.science/hal-04176838/document; https://inria.hal.science/hal-04176838/file/libopt.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, G.4 [Mathematics of Computing, Mathematical Software— Efficiency, G.2.2 [Discrete Mathematics, Graph Theory—Algorithms, labeling General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, dense linear algebra operations, expression templates, template metaprogramming, temporary storage minimization ACM Reference Format
File Description: application/pdf
-
16
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]
-
17
Authors: et al.
Contributors: et al.
Source: ISSN: 0045-7825.
Subject Terms: Turbulence, Stabilized finite element method, SUPG, Unstructured grids, High aspect ratio, High order scheme, ACM: G.: Mathematics of Computing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph], [PHYS.MECA.MEFL]Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph], [PHYS.MECA.GEME]Physics [physics]/Mechanics [physics]/Mechanical engineering [physics.class-ph]
-
18
Authors:
Contributors:
Subject Terms: Geology, Geology Geophysics, Geography, R programming, Python programming, Matlab, Matlab /Simulink, Statistical analysis, ACM: I.: Computing Methodologies, ACM: K.: Computing Milieux, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.1: Computer Uses in Education, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.2: Computer and Information Science Education, ACM: G.: Mathematics of Computing, ACM: H.: Information Systems, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION, ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY, [SDU.STU]Sciences of the Universe [physics]/Earth Sciences, [SDU.OCEAN]Sciences of the Universe [physics]/Ocean, Atmosphere, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [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], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance
Relation: https://hal.archives-ouvertes.fr/hal-02356932/file/MidTerm_Lemenkova.pdf; https://hal.archives-ouvertes.fr/hal-02356932
-
19
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.inria.fr/inria-00388501 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 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
Relation: inria-00388501; https://hal.inria.fr/inria-00388501
-
20
Authors: et al.
Contributors: et al.
Subject Terms: surface profile analysis, filtering techniques, Visual C++ ACM Classification Keywords, J. Computer Applications, J.2 Physical Sciences And Engineering, G. Mathematics Of Computing, G.4 Mathematical Software
File Description: application/pdf
Nájsť tento článok vo Web of Science