Výsledky vyhledávání - acm: g.: mathematics of computing/g.4: (mathematical OR matematika) software
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Mathematical Software (TOMS)
ACM Trans. Math. Soft.
ACM Transactions on Mathematical SoftwareTémata: [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]
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: NSV-3: Third International Workshop on Numerical Software Verification. ; https://inria.hal.science/inria-00544798 ; NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Témata: iterative refinement, interval arithmetic, multiple precision, error bound, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, 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
Geografické téma: Edinburgh, United Kingdom
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
Geografické téma: Spain
Time: Madrid, Spain
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Témata: numerical reproducibility, floating-point computation, interval computation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: 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.
Témata: 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
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: 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, MalaysiaTémata: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD]
Geografické téma: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
Témata: interval arithmetic, multiple precision, interval packages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-00846977 ; 2014.
Témata: 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
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-00769225 ; [Technical Report] 2012.
Témata: 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]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00480031 ; [Research Report] RR-7274, INRIA. 2010, pp.20.
Témata: 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]
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/inria-00135013 ; [Technical Report] RT-0331, INRIA. 2007, pp.35.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00405478 ; [Research Report] RR-7004, INRIA. 2009.
Témata: 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]
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00480045 ; [Research Report] RR-7273, INRIA. 2010, pp.19.
Témata: 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]
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00079223 ; [Research Report] RR-5930, INRIA. 2006, pp.21.
Témata: 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
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: Software Oriented Stream Ciphers Based upon FCSRs in Diversified Mode ; Progress in Cryptology - INDOCRYPT 2009 ; https://inria.hal.science/inria-00524359 ; Progress in Cryptology - INDOCRYPT 2009, Dec 2009, New Delhi, India. pp.119-135, ⟨10.1007/978-3-642-10628-6⟩
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: Interactive Theorem Proving (ITP-10) ; Interactive Theorem Proving ; https://inria.hal.science/inria-00504027 ; Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226 ; http://www.springerlink.com/content/yk74674271411315/fulltext.pdf
Témata: Algorithmic Geometry, Formal proof, Triangulation, Delaunay, Flip, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Edinburgh, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1007.3350; ARXIV: 1007.3350
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-00724059 ; [Research Report] RR-8043, INRIA. 2012.
Témata: randomized algorithms, distributed linear algebra solvers, symmetric indefinite systems, LDLT factorization, DAGuE runtime, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.4: Parallel and vector implementations, 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), [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
Full Text Finder 
Nájsť tento článok vo Web of Science