Matches in SemOpenAlex for { <https://semopenalex.org/work/W608392949> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- W608392949 abstract "Dans cette these nous presentons la formalisation de trois resultats principaux que sont la forme normale de Jordan d’une matrice, le theoreme de Bolzano-Weierstras et le theoreme de Perron-Frobenius. Pour la formalisation de la forme normale de Jordan nous introduisons differents concepts d’algebre lineaire tel que les matrices diagonales par blocs, les matrices compagnes, les facteurs invariants, ... Ensuite nous definissons et developpons une theorie sur les espaces topologiques et metriques pour la formalisation du theoreme de Bolzano-Weierstras. La formalisation du theoreme de Perron-Frobenius n’est pas terminee. La preuve de ce theoreme utilise des resultats d’algebre lineaire, mais aussi de topologie. Nous montrerons comment les precedents resultats seront reutilises." @default.
- W608392949 created "2016-06-24" @default.
- W608392949 creator A5055220583 @default.
- W608392949 date "2014-04-04" @default.
- W608392949 modified "2023-09-25" @default.
- W608392949 title "Interaction entre algèbre linéaire et analyse en formalisation des mathématiques" @default.
- W608392949 cites W1480909796 @default.
- W608392949 cites W1503170941 @default.
- W608392949 cites W1510409711 @default.
- W608392949 cites W1521372188 @default.
- W608392949 cites W2247637112 @default.
- W608392949 cites W617821468 @default.
- W608392949 cites W618443647 @default.
- W608392949 cites W2786940281 @default.
- W608392949 hasPublicationYear "2014" @default.
- W608392949 type Work @default.
- W608392949 sameAs 608392949 @default.
- W608392949 citedByCount "0" @default.
- W608392949 crossrefType "dissertation" @default.
- W608392949 hasAuthorship W608392949A5055220583 @default.
- W608392949 hasConcept C138885662 @default.
- W608392949 hasConcept C15708023 @default.
- W608392949 hasConcept C33923547 @default.
- W608392949 hasConceptScore W608392949C138885662 @default.
- W608392949 hasConceptScore W608392949C15708023 @default.
- W608392949 hasConceptScore W608392949C33923547 @default.
- W608392949 hasLocation W6083929491 @default.
- W608392949 hasOpenAccess W608392949 @default.
- W608392949 hasPrimaryLocation W6083929491 @default.
- W608392949 isParatext "false" @default.
- W608392949 isRetracted "false" @default.
- W608392949 magId "608392949" @default.
- W608392949 workType "dissertation" @default.