-
1Conference
Συγγραφείς: Dufourd, Jean-François, Bertot, Yves
Συνεισφορές: Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Mathematical, Reasoning and Software (MARELLE), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Paulson, Lawrence and Kaufmann, Matt, ANR-07-BLAN-0329,GALAPAGOS,Géometrie, Algorithmes, Preuves(2007)
Πηγή: 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
Θεματικοί όροι: 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]
Θέμα γεωγραφικό: Edinburgh, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1007.3350; ARXIV: 1007.3350
-
2Conference
Συγγραφείς: Dufourd, Jean-François, Bertot, Yves
Συνεισφορές: Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Mathematical, Reasoning and Software (MARELLE), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Paulson, Lawrence and Kaufmann, Matt, ANR-07-BLAN-0329,GALAPAGOS,Géometrie, Algorithmes, Preuves(2007)
Πηγή: 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
Θεματικοί όροι: 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]
Θέμα γεωγραφικό: Edinburgh, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1007.3350; ARXIV: 1007.3350
-
3Conference
Συγγραφείς: Dufourd, Jean-François, Bertot, Yves
Συνεισφορές: Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Centre National de la Recherche Scientifique (CNRS), Mathematical, Reasoning and Software (MARELLE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Paulson, Lawrence and Kaufmann, Matt, ANR-07-BLAN-0329,GALAPAGOS,Géometrie, Algorithmes, Preuves(2007)
Πηγή: 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
Θεματικοί όροι: 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]
Θέμα γεωγραφικό: 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
-
4Conference
Συγγραφείς: Audouard, Pierre, Chaslot, Guillaume, Hoock, Jean-Baptiste, Rimmel, Arpad, Perez, J., Teytaud, Olivier
Συνεισφορές: Go expert, Go Expert, Maastricht University Maastricht, Machine Learning and Optimisation (TAO), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Algorithmic number theory for cryptology (TANC), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: EvoGames ; https://inria.hal.science/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Θεματικοί όροι: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
5Conference
Συγγραφείς: Audouard, Pierre, Chaslot, Guillaume, Hoock, Jean-Baptiste, Rimmel, Arpad, Perez, J., Teytaud, Olivier
Συνεισφορές: Go expert, Go Expert, Maastricht University Maastricht, Machine Learning and Optimisation (TAO), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Algorithmic number theory for cryptology (TANC), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: EvoGames ; https://inria.hal.science/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Θεματικοί όροι: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
6Conference
Συγγραφείς: Audouard, Pierre, Chaslot, Guillaume, Hoock, Jean-Baptiste, Rimmel, Arpad, Perez, J., Teytaud, Olivier
Συνεισφορές: Go expert, Go Expert, Maastricht University Maastricht, Machine Learning and Optimisation (TAO), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Algorithmic number theory for cryptology (TANC), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: EvoGames ; https://inria.hal.science/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Θεματικοί όροι: ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
7Conference
Συγγραφείς: Audouard, Pierre, Chaslot, Guillaume, Hoock, Jean-Baptiste, Rimmel, Arpad, Perez, J., Teytaud, Olivier
Συνεισφορές: Go expert, Go Expert, Maastricht University Maastricht, Machine Learning and Optimisation (TAO), Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris-Sud - Paris 11 (UP11)-Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec, Algorithmic number theory for cryptology (TANC), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Πηγή: EvoGames ; https://hal.inria.fr/inria-00369783 ; EvoGames, 2009, Tuebingen, Germany
Θεματικοί όροι: 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
-
8Conference
Συγγραφείς: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Συνεισφορές: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Πηγή: 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⟩
Θεματικοί όροι: 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
-
9Conference
Συγγραφείς: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Συνεισφορές: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Πηγή: 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⟩
Θεματικοί όροι: 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
-
10Conference
Συγγραφείς: Montgomery, Peter Lawrence, Kruppa, Alexander
Συνεισφορές: Microsoft Research, Curves, Algebra, Computer Arithmetic, and so On (CACAO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Alfred J. van der Poorten and Andreas Stein, Grid'5000
Πηγή: 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⟩Θεματικοί όροι: 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
Θέμα γεωγραφικό: Waterloo
Time: Waterloo, Canada
-
11Conference
Συγγραφείς: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Συνεισφορές: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Πηγή: 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⟩
Θεματικοί όροι: 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
-
12Conference
Συγγραφείς: Montgomery, Peter Lawrence, Kruppa, Alexander
Συνεισφορές: Microsoft Research, Curves, Algebra, Computer Arithmetic, and so On (CACAO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Alfred J. van der Poorten and Andreas Stein, Grid'5000
Πηγή: 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⟩Θεματικοί όροι: 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
Θέμα γεωγραφικό: 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
-
13Report
Συγγραφείς: Abril Bucero, Marta, Mourrain, Bernard
Συνεισφορές: Géométrie , Algèbre, Algorithmes (GALAAD2), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Πηγή: https://inria.hal.science/hal-00846977 ; 2014.
Θεματικοί όροι: 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
-
14Report
Συγγραφείς: Abril Bucero, Marta, Mourrain, Bernard
Συνεισφορές: Géométrie , Algèbre, Algorithmes (GALAAD2), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Πηγή: https://hal.inria.fr/hal-00846977 ; 2014.
Θεματικοί όροι: 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
-
15Report
Συγγραφείς: Alonso, Mariemi, Brachat, Jérome, Mourrain, Bernard
Συνεισφορές: Departamento de Álgebra Madrid, Universidad Complutense de Madrid = Complutense University of Madrid Madrid (UCM), Geometry, algebra, algorithms (GALAAD), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://inria.hal.science/inria-00433127 ; 2010.
Θεματικοί όροι: 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
-
16Report
Συγγραφείς: Alonso, Mariemi, Brachat, Jérome, Mourrain, Bernard
Συνεισφορές: Departamento de Álgebra Madrid, Universidad Complutense de Madrid = Complutense University of Madrid Madrid (UCM), Geometry, algebra, algorithms (GALAAD), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Nice Sophia Antipolis (. - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://hal.inria.fr/inria-00433127 ; 2010.
Θεματικοί όροι: 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
-
17Report
Συγγραφείς: Haddar, Houssem, Lechleiter, Armin
Συνεισφορές: Shape reconstruction and identification (DeFI), Centre de Mathématiques Appliquées de l'Ecole polytechnique (CMAP), Institut National de Recherche en Informatique et en Automatique (Inria)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA
Πηγή: https://inria.hal.science/inria-00360552 ; [Research Report] RR-6841, INRIA. 2009, pp.29.
Θεματικοί όροι: 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]
-
18Report
Συγγραφείς: Haddar, Houssem, Lechleiter, Armin
Συνεισφορές: Shape reconstruction and identification (DeFI ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Mathématiques Appliquées - Ecole Polytechnique (CMAP), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), INRIA
Πηγή: https://hal.inria.fr/inria-00360552 ; [Research Report] RR-6841, INRIA. 2009, pp.29.
Θεματικοί όροι: 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
-
19Report
Συγγραφείς: Lemarié, Florian, Debreu, Laurent, Blayo, Eric
Συνεισφορές: Modelling, Observations, Identification for Environmental Sciences (MOISE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), INRIA
Πηγή: https://inria.hal.science/inria-00324533 ; [Research Report] RR-6663, INRIA. 2008, pp.45.
Θεματικοί όροι: domain decomposition, waveform relaxation, Schwarz methods, ACM: G.: Mathematics of Computing/G.0: GENERAL, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]
-
20Report
Συγγραφείς: Lamarche, François
Συνεισφορές: Linear logic, proof networks and categorial grammars (CALLIGRAMME), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
Πηγή: https://inria.hal.science/inria-00347424 ; [Research Report] 2008.
Θεματικοί όροι: 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]