- Alternative title
-
Formalisierung von Graphentheorie und Planaritätszertifikaten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2016
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2016
- Creator
-
Noschinski, Lars
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20160413-1278868-1-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Noschinski, Lars
- Nipkow, Tobias
- Mehlhorn, Kurt
- Universitätsbibliothek der TU München
Time of origin
- 2016
Other Objects (12)
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Algebraic certificates for Budan's theorem
Graph Coloring Applications and Defining Sets in Graph Theory
Positivstellensatz certificates for containment of polyhedra and spectrahedra
3. Certificates and diplomas
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Topics in graph theory
Tradable Development Certificates in Germany - A Theoretical and Empirical Analysis
Computing straight skeletons and motorcycle graphs : theory and practice
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Algebraic certificates for Budan's theorem
Graph Coloring Applications and Defining Sets in Graph Theory
Positivstellensatz certificates for containment of polyhedra and spectrahedra
3. Certificates and diplomas
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Topics in graph theory
Tradable Development Certificates in Germany - A Theoretical and Empirical Analysis
Computing straight skeletons and motorcycle graphs : theory and practice
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Algebraic certificates for Budan's theorem
Graph Coloring Applications and Defining Sets in Graph Theory
Positivstellensatz certificates for containment of polyhedra and spectrahedra
3. Certificates and diplomas
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Topics in graph theory
Tradable Development Certificates in Germany - A Theoretical and Empirical Analysis