Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...
La résolution de l'équation de la chaleur en régime dynamique est beaucoup plus délicate. Elle fait appel aux notions de transformées de Fourier, de produit de convolution et de distributions. Nous ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results