Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

7 Résultats
Type de dépôt : Document
Image document

Higher-order abstract syntax with induction in Coq

Joëlle Despeyroux , André Hirschowitz
[Research Report] RR-2292, INRIA. 1994
Rapport inria-00074381v1
Image document

The Planar motion with bounded derivative of the curvature and its suboptimal paths

Vladimir P. Kostov , Elena V. Degtiariova-Kostova
[Research Report] RR-2189, INRIA. 1994
Rapport inria-00074482v1
Image document

La transformation des traités français d'analyse (1870-1914)

Martin Zerner
1994
Pré-publication, Document de travail hal-00347740v1
Image document

Numerical simulations of compressible mixing layers

Tilo Lumpp , Hervé Guillard
[Research Report] RR-2217, INRIA. 1994
Rapport inria-00074453v1
Image document

Simulation of compressible viscous flows on a variety pf MPPs : computational algorithms for unstructured dynamic meshes and performance results

Charbel Farhat , Stéphane Lanteri
[Research Report] RR-2154, INRIA. 1994
Rapport inria-00074518v1
Image document

Gestion de maillages triangulaires déformables

Benoit Duval , Hervé Guillard
[Rapport de recherche] RR-2272, INRIA. 1994
Rapport inria-00074399v1
Image document

A Second Order Defect Correction Scheme for Unsteady Problems

Regis Martin , Hervé Guillard
RR-2447, INRIA. 1994
Rapport inria-00074228v1