Výsledky vyhledávání - "ACM: G.: Mathematics of Computing/G.0: GENERAL"
-
1
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
-
2
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
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: Interactive Theorem Proving (ITP-10) ; Interactive Theorem Proving ; https://hal.inria.fr/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; inria-00504027; https://hal.inria.fr/inria-00504027; https://hal.inria.fr/inria-00504027/document; https://hal.inria.fr/inria-00504027/file/Del-ITP10.pdf; ARXIV: 1007.3350
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: EvoGames ; https://inria.hal.science/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Témata: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: EvoGames ; https://inria.hal.science/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Témata: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: EvoGames ; https://inria.hal.science/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Témata: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: EvoGames ; https://hal.inria.fr/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Témata: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: inria-00369783; https://hal.inria.fr/inria-00369783; https://hal.inria.fr/inria-00369783/document; https://hal.inria.fr/inria-00369783/file/ouvertures9x9.pdf
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://inria.hal.science/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Témata: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://inria.hal.science/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Témata: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: 8th International Symposium on Algorithmic Number Theory - ANTS-VIII
https://inria.hal.science/inria-00188192
8th International Symposium on Algorithmic Number Theory - ANTS-VIII, May 2008, Waterloo, Canada. pp.180-195, ⟨10.1007/978-3-540-79456-1_12⟩Témata: integer factorization, convolution, discrete cosine transform, DCT-II, discrete Fourier transform, P+1, P-1, multipoint polynomial evaluation, reciprocal polynomials, Primary 11Y05, 65T50, Secondary 11B25, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Geografické téma: Waterloo
Time: Waterloo, Canada
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://hal.inria.fr/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Témata: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: inria-00545059; https://hal.inria.fr/inria-00545059; https://hal.inria.fr/inria-00545059/document; https://hal.inria.fr/inria-00545059/file/IntervalDiscussReport02-07.pdf
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: 8th International Symposium on Algorithmic Number Theory - ANTS-VIII
https://hal.inria.fr/inria-00188192
8th International Symposium on Algorithmic Number Theory - ANTS-VIII, May 2008, Waterloo, Canada. pp.180-195, ⟨10.1007/978-3-540-79456-1_12⟩Témata: integer factorization, convolution, discrete cosine transform, DCT-II, discrete Fourier transform, P+1, P-1, multipoint polynomial evaluation, reciprocal polynomials, Primary 11Y05, 65T50, Secondary 11B25, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Geografické téma: Waterloo
Time: Waterloo, Canada
Relation: inria-00188192; https://hal.inria.fr/inria-00188192; https://hal.inria.fr/inria-00188192v3/document; https://hal.inria.fr/inria-00188192v3/file/pm1fft-final.pdf
-
13
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
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/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; 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
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00433127 ; 2010.
Témata: algebra, geometry, effective algebraic computation, Hilbert scheme, deformation, flatness, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0911.3503; ARXIV: 0911.3503
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/inria-00433127 ; 2010.
Témata: algebra, geometry, effective algebraic computation, Hilbert scheme, deformation, flatness, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0911.3503; inria-00433127; https://hal.inria.fr/inria-00433127; https://hal.inria.fr/inria-00433127v2/document; https://hal.inria.fr/inria-00433127v2/file/hilbert2.pdf; ARXIV: 0911.3503
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00360552 ; [Research Report] RR-6841, INRIA. 2009, pp.29.
Témata: Scattering problems, unbounded domains, asymptotic models, generalized impedance boundary conditions, high conductivity, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/inria-00360552 ; [Research Report] RR-6841, INRIA. 2009, pp.29.
Témata: Scattering problems, unbounded domains, asymptotic models, generalized impedance boundary conditions, high conductivity, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
Relation: Report N°: RR-6841; inria-00360552; https://hal.inria.fr/inria-00360552; https://hal.inria.fr/inria-00360552/document; https://hal.inria.fr/inria-00360552/file/RR-6841.pdf
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00324533 ; [Research Report] RR-6663, INRIA. 2008, pp.45.
Témata: domain decomposition, waveform relaxation, Schwarz methods, ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00347424 ; [Research Report] 2008.
Témata: homotopy theory, fundamental groupoid, path objec, Quillen model structure, ACM: G.: Mathematics of Computing/G.0: GENERAL, ACM: F.: Theory of Computation/F.0: GENERAL, [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT]
Nájsť tento článok vo Web of Science