Listar por disciplina "Informatique [cs]/Logiciel mathématique [cs.MS]"
Mostrando ítems 21-36 de 36
-
Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights
(SIAM Journal on Scientific Computing. vol. 40, n° 6, pp. C726-C747, 2018)Article de revue -
Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
(IEEE Transactions on Computers. vol. 66, n° 8, pp. 1281 - 1292, 2017-08-01)Article de revue -
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language
Communication dans un congrès -
Overview on the Cardiac ElectroPhysiology Simulator (CEPS)
(Meeting at the Lyric, FR, Bordeaux)Autre communication scientifique (congrès sans actes - poster - séminaire...) -
Efficient implementation of elementary functions in the medium-precision range
Communication dans un congrès -
Computing hypergeometric functions rigorously
(ACM Transactions on Mathematical Software. vol. 45, n° 3, pp. 1-26, 2019-08-08)Article de revue -
Mathematical model for ice wall interactions within a level set method
(International Journal of Engineering Systems Modelling and Simulation. vol. 8, n° 2, pp. 125-135, 2016)Article de revue -
Implementing cryptographic pairings at standard security levels
Communication dans un congrès -
FMR: Fast randomized algorithms for covariance matrix computations
(Platform for Advanced Scientific Computing (PASC), CH, Lausanne, 2016-06-08)Autre communication scientifique (congrès sans actes - poster - séminaire...) -
A fully coupled RANS Spalart-Allmaras SUPG formulation for turbulent compressible flows on stretched-unstructured grids
(Computer Methods in Applied Mechanics and Engineering. vol. 233-236, pp. 109-122, 2012-04-19)Article de revue -
A fully coupled RANS Spalart-Allmaras SUPG formulation for turbulent compressible flows on stretched-unstructured grids
(Computer Methods in Applied Mechanics and Engineering. vol. 233-236, pp. 109-122, 2012-04-19)Article de revue -
Topological analysis of ensembles of hydrodynamic turbulent flows -- An experimental study
Communication dans un congrès -
Arbitrary-precision computation of the gamma function
(Maple Transactions. vol. 3, n° 1, 2023-02-01)Article de revue -
Combined finite element - particles discretisation for simulation of transport-dispersion in porous media
Communication dans un congrès -
Development of a second generation in-flight icing simulation code
(Journal of Fluids Engineering. vol. 128, n° 2, pp. 378-387, 2006)Article de revue -
Calcium: computing in exact real and complex fields
Communication dans un congrès