Retrieving library functions by unifying types modulo linear isomorphism
M. Rittri (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Objects in relational database schemes with functional, inclusion, and exclusion dependencies”
Retrieving library functions by unifying types modulo linear isomorphism
A generic result in vector optimization.
Zaslavski, Alexander J. (2006)
Journal of Inequalities and Applications [electronic only]
Similarity:
Generic uniqueness of minimal configurations with rational rotation numbers in Aubry-Mather theory.
Zaslavski, Alexander J. (2004)
Abstract and Applied Analysis
Similarity:
A fixed point theorem based on Miranda.
Schäfer, Uwe (2007)
Fixed Point Theory and Applications [electronic only]
Similarity:
Encoding fix in object calculi
Roy L. Crole (2000)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Marchuk identity-type second order difference schemes of 2-d and 3-d elliptic problems with intersected interfaces
Ivanka Tr. Angelova, Lubin G. Vulkov (2007)
Kragujevac Journal of Mathematics
Similarity:
Some characteristic quantities associated with homogeneous -type and -type functions.
Fang, Ya-Ping, Huang, Nan-Jing, Cho, Yeol Je (2007)
Journal of Inequalities and Applications [electronic only]
Similarity:
The truncated least squares method for a class of autoregressive models.
Bătătorescu, Cosmin (2003)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
On some nonlinear partial differential equations involving the “1”-laplacian and critical Sobolev exponent
Françoise Demengel (1999)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
-regularity of the Aronsson equation in
Changyou Wang, Yifeng Yu (2008)
Annales de l'I.H.P. Analyse non linéaire
Similarity: