.:. Browse > Domain list > Mathematical Software .:.

67 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7

Simple simpl Boutillier P. (29/03/2013) [hal-00816918 - version 1]

Kleene Algebra with Tests and Coq Tools for While Programs Pous D. [hal-00785969 - version 1]

Improving multifrontal methods by means of block low-rank representations Amestoy P. R., Ashcraft C., Boiteau O., Buttari A., L'Excellent J.-Y., Weisbecker C. N° RR-8199 (2013) [hal-00776859 - version 1]

Formalisation des nombres algébriques : construction et théorie du premier ordre. Cohen C. Ecole Polytechnique X (20/11/2012), Assia Mahboubi (Dir.) [pastel-00780446 - version 1]

Automated verification of termination certificates Blanqui F., Ly K. Q. Dans 15th National Symposium of Selected ICT Problems (2012) [hal-00763495 - version 1]

Optimized M2L Kernels for the Chebyshev Interpolation based Fast Multipole Method Messner M., Bramas B., Coulaud O., Darve E. (2012) [hal-00746089 - version 2]

Investigations on push-relabel based algorithms for the maximum transversal problem Kaya K., Langguth J., Manne F., Uçar B. N° RR-8093 (2012) [hal-00739360 - version 3]

Fast Arithmetics in Artin-Schreier Towers over Finite Fields De Feo L., Schost E. Journal of Symbolic Computation 47, 7 (2012) 771-792 [hal-00505799 - version 1]

Improving Multifrontal methods by means of Low-Rank Approximations techniques Amestoy P. R., Ashcraft C., Boiteau O., Buttari A., L'Excellent J.-Y., Weisbecker C. Dans SIAM Conference on Applied Linear Algebra (2012) [hal-00789684 - version 1]

A fully coupled RANS Spalart-Allmaras SUPG formulation for turbulent compressible flows on stretched-unstructured grids Wervaecke C., Beaugendre H., Nkonga B. Computer Methods in Applied Mechanics and Engineering 233-236 (2012) 109-122 [hal-00725797 - version 1]