EuDML | Browse

The search session has expired. Please query the service again.

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 3 Next

Displaying 41 – 60 of 122

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki (1977)

Banach Center Publications

An upper bound for the shortest hamiltonian path in the symmetric euclidean case

Ioan Tomescu (1983)

RAIRO - Operations Research - Recherche Opérationnelle

Application du théorème de Sylvester à la localisation des valeurs propres de $A X = λ B X$ dans le cas symétrique

Yves Haugazeau (1980)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Calcul du centralisateur d'un groupe de permutations

Max Fontet (1977)

Mémoires de la Société Mathématique de France

Comparing Routines for the Numerical Solution of Initial Value Problems of Ordinary Differential Equations in Multiple Shooting .

H.J. Pesch, P. Rentrop, H.J. Diekhoff, P. Lory, H.J. Oberle, R. Sedel (1976/1977)

Numerische Mathematik

Congruence, Similarity, and Symmetries of Geometric Objects.

Emo Welzl, H. Alt, Kurt Mehlhorn, Hubert Wagener (1988)

Discrete & computational geometry

Covering with rectangular pieces.

Iacob, Paul, Marinescu, Daniela, Luca, Cristina (2003)

Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică

Data types as algorithms

M. A. Nait Abdallah (1984)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

De l'utilisation de la notion de clique (sous-graphe complet symétrique) en matière de typologie de populations

V. Degot, J. M. Hualde (1975)

RAIRO - Operations Research - Recherche Opérationnelle

Decomposition of a Symmetric Matrix (Handbook Series Linear Algebra).

J.R. Bunch, L. Kaufman, B.N. Parlett (1976/1977)

Numerische Mathematik

Deux constructions équivalentes d'un jeu d'arrangements pour les fichiers inverses multi-indices

M. Trehel (1978)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Deux problèmes d'analyse d'algorithmes

Philippe Flajolet (1978/1979)

Séminaire Delange-Pisot-Poitou. Théorie des nombres

Die Berechnungskomplexität von elementarsymmetrischen Funkit

Volker Strassen (1972/1973)

Numerische Mathematik

Ein neuer Algorithmus zur Bestimmung einer basis von unabhängigen elementarkreisen in einem stark zusammenhängenden Graphen

W. Jänicke (1976)

Applicationes Mathematicae

Eine beweistheoretische Anwendung partieller stetiger Funktionale.

H. Vogel (1978)

Archiv für mathematische Logik und Grundlagenforschung

Empilements de cercles : convergence d'une méthode de point fixe

Yves Colin de Verdière (1987/1988)

Séminaire de théorie spectrale et géométrie

Empilements de cercles: Convergence d'une méthode de point fixe.

Yves de Colin de Verdière (1989)

Forum mathematicum

Équations linéaires dans les anneaux de polynômes

Daniel Lazard (1977)

Mémoires de la Société Mathématique de France

Extrapolation Applied to the Method of Characteristics for a first Order System of Two Partial Differential Equations. Part One : The Initial Value Problem.

W. Busch, R. Esser, W. Hackbusch, U. Herrmann (1975)

Numerische Mathematik

Finite alogorithmic procedures and inductive definability.

J. Moldestad, V. Stoltenberg-Hansen (1980)

Mathematica Scandinavica

Currently displaying 41 – 60 of 122

Previous Page 3 Next