- On the computational content of the Krasnoselski and Ishikawa fixed point theorems
- Gem Art. II des Senatsbeschlusses vom 09. April 2008 wird nachstehend die Neufassung der Allgemeinen Prfungsbestimmungen der Technischen Universitt
- New e#ective moduli of uniqueness and uniform a--priori estimates for constants of strong unicity by logical analysis of known proofs in best
- Remarks on Herbrand Analyses Ulrich Kohlenbach
- BOUNDS ON ITERATIONS OF ASYMPTOTICALLY QUASI-NONEXPANSIVE MAPPINGS
- Applications of Proof Interpretations
- Godel's functional interpretation and its use in current mathematics
- Arithmetizing proofs in analysis Ulrich Kohlenbach
- On uniform weak Konig's lemma Ulrich Kohlenbach
- P#### I############## ### ### C############ C###### ## P##### ## M##########
- A quantitative version of a theorem due to BorweinReichShafrir
- Some computational aspects of metric fixed point theory
- The use of a logical principle of uniform boundedness in Ulrich Kohlenbach
- On weak Markov's principle Ulrich Kohlenbach
- A complexity analysis of functional interpretations
- Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
- Some logical metatheorems with applications in functional analysis
- Name: Ulrich Kohlenbach Position: Professor of Mathematics
- PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness \Lambda
- HIGHER ORDER REVERSE MATHEMATICS ULRICH KOHLENBACH y
- FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH +
- E ective moduli from ine ective uniqueness proofs. An unwinding of de La Vall ee Poussin's proof for Chebyche approximation
- On the logical analysis of proofs based on nonseparable Hilbert space theory
- Pointwise hereditary majorization and some applications Ulrich Kohlenbach
- Analyzing proofs in analysis # Ulrich Kohlenbach
- Herbrand's theorem and extractive proof theory U. Kohlenbach
- Uniform asymptotic regularity for Mann iterates Ulrich Kohlenbach
- Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
- Proof Mining in Subsystems of Analysis Paulo Oliva
- A note on Goodman's theorem Ulrich Kohlenbach
- On Rates of Convergence in Metric Fixed Point Theory
- On quantitative versions of theorems due to F.E. Browder and R. Wittmann
- Prof. Dr. Ulrich Kohlenbach Curriculum Vitae
- Topics in the Theory and Practice of Computable Analysis
- Math. Log. Quart. 0 (0) 0, 1 4 Mathematical Logic
- On the Computational Content of the Bolzano-Weierstra Principle
- On the asymptotic behavior of odd operators Ulrich Kohlenbach
- A note on the monotone functional interpretation Ulrich Kohlenbach
- TERM EXTRACTION AND RAMSEY'S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH
- Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach
- A note on Spector's quantifierfree rule of extensionality
- A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic
- Things that can and things that can't be done in PRA Ulrich Kohlenbach
- Intuitionistic choice and restricted classical logic Ulrich Kohlenbach
- RAMSEY'S THEOREM FOR PAIRS AND PROVABLY RECURSIVE FUNCTIONS
- Replace this le with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Relative constructivity \Lambda Ulrich Kohlenbach
- E#ective Uniform Bounds from Proofs in Abstract Functional Analysis
- Rubrik Rubrik TUDInformationsschrift des
- On Tao's "finitary" infinite pigeonhole principle Jaime Gaspar and Ulrich Kohlenbach
- Godel functional interpretation and weak compactness Ulrich Kohlenbach1
- A note on the # 0 2 --induction rule #
- A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic
- TERM EXTRACTION AND RAMSEY'S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH
- List of publications Peter Burmeister
- Lineare Algebra I und II fr Physiker Prof. Dr. Klaus Keimel
- Introduction 7 O A Primer on Complete Lattices 9
- Einf uhrung in den -Kalk ul und Semantik Prof. Dr. Klaus Keimel
- Smart Interfaces superhydrophobe Oberflchen
- Internationalitt der Technischen Universitt Darmstadt
- Minisymposia YR-ME1 ME3 1 Minisymposia YR-ME1 ME3
- Smart Interfaces ein Exzellenz-Cluster an der TU Darmstadt
- Section 12: Waves and acoustics 1 Section 12: Waves and acoustics
- Technische Universitat Darmstadt -Mitglieder des Fachbereichs Mathematik (Stand: 12. Marz 2012) -Seite 1 Raum Name AG Tel. Raum Name AG Tel. Raum Name AG Tel.
- Section 14: Applied analysis 1 Section 14: Applied analysis
- 83rd Annual Scientific Conference of the International Association of Applied Mathematics and Mechanics
- Ramsey's theorem for pairs and program extraction Alexander P. Kreuzer
- Modulhandbuch fr den Studiengang Bachelor Mathematik
- Technische Universitt Darmstadt Fachbereich 4
- 7. Ubung zur Einfuhung in die Algebra, TUD, SS 2010 1: Chinesische Unterguppen abelscher Gruppen. Sei G eine endliche abelsche Gruppe und
- Mathematik macht Interfaces Die Forschung am Exzellenzcluster ,,Smart Interfaces" erfolgt unter
- Laserspektroskopie zur Untersuchung von Grenzschichten
- Section 8: Multiscales and homogenization 1 Section 8: Multiscales and homogenization
- Section 13: Flow control 1 Section 13: Flow control
- Conference program Colloquium Logicum 2008 of the DVMLG
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2008
- Section 9: Laminar flows and transition 1 Section 9: Laminar flows and transition
- Logikseminar SoSe 2012 Prof. Dr. Martin Otto
- Section 10: Turbulence and reactive flows 1 Section 10: Turbulence and reactive flows
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER ORDER REVERSE MATHEMATICS
- Section 15: Applied stochastics 1 Section 15: Applied stochastics
- LCM6V20-10/3t/88 96. Category Logic and Horn Sentence Translations.
- Komplexittstheorie und Praxis der Integration Lipschitz-stetiger
- The Bolzano-Weierstra principle and the cohesive principle
- Klausurplan Mathematik Wintersemester 2011/2012
- Bothe, Dieter Born 28.06.1963 in Paderborn
- According to Art. II of the resolution of the senate of April 11, 2009, we herewith publish below the new amendment of the General Examination Terms of the Technical
- Some variations on Alan Day's algorithm for calculating canonical basis of implications
- LCM10V19-2/8/89 Free WordProblernsfor Additive Relation Algebras of Modules
- Grenzflchen auf molekularer Ebene
- Section 7: Coupled problems 1 Section 7: Coupled problems
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zur Diplomvorprfung
- Minisymposia Ma1 Ma3 1 Minisymposia Ma1 Ma3
- The cohesive principle and the Bolzano-Weierstra principle
- Perhaps you have already heard that a new software has been introduced at TU Darmstadt. TUCaN will accompany you in all various steps during your study from now on.
- Section 11: Interfacial flows 1 Section 11: Interfacial flows
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zur Bachelorprfung
- leere Zeile Jan Carsten Ziems
- Technische Universitt Darmstadt Fachbereich 04
- Satzungsbeilage der Technischen Universitt
- Section 5: Nonlinear oscillations 1 Section 5: Nonlinear oscillations
- Diplomstudiengang Mathematik DIPLOMARBEIT
- Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2007
- Laura Cosulich, Frauenbeauftragte im FB Mathematik Oktober 2007
- What can lattices do for math. teaching & education? Vincent Duquenne
- Akkreditierungsurkunde Die Akkreditierungsagentur fr Studiengnge der Ingenieurwissenschaften, der Informatik,
- A discrete Nash Theorem with quadratic complexity and dynamic equilibria
- Section 2: Biomechanics 1 Section 2: Biomechanics
- Section 7: Coupled problems 1 Section 7: Coupled problems
- Wie beweist man, dass Herakles die Hydra besiegen kann?
- Master's Thesis in Theoretical Computer Science
- Discrete Non Determinism and Nash Equilibria for Strategy-Based Games
- LIST OF PUBLICATIONS MICHAEL JOSWIG
- Klausurplan Mathematik Wintersemester 2011/2012
- Minisymposia ME1 ME3 1 Minisymposia ME1 ME3
- Section 17: Applied and numerical linear algebra 1 Section 17: Applied and numerical linear algebra
- Getting to Darmstadt The WELCOME HOTEL DARMSTADT is ideally situated right in the centre of the Rhine-
- Section 16: Optimization 1 Section 16: Optimization
- Section 24: History of mechanics 1 Section 24: History of mechanics
- Section 6: Material modelling in solid mechanics 1 Section 6: Material modelling in solid mechanics
- Fachbereich Mathematik Diplomarbeit
- Section 21: Mathematical image processing 1 Section 21: Mathematical image processing
- BKNOTES 4-L3-L997 6:08prn BKNOTES-4/97
- Section 20: Dynamics and control 1 Section 20: Dynamics and control
- Ramsey's theorem for pairs and provable recursive functions
- Section 18: Numerical methods of differential equations 1 Section 18: Numerical methods of differential equations
- Section 21: Mathematical image processing 1 Section 21: Mathematical image processing
- Studienjahr 2010/11 Wintersemester 2010/11 Stand: 29. Juni 2011
- Section 18: Numerical methods of differential equations 1 Section 18: Numerical methods of differential equations
- Fachbereich Mathematik Studienberatung Informationen
- Expressive Completeness through Logically Tractable Models
- Akkreditierungsurkunde Die Akkreditierungsagentur fr Studiengnge der Ingenieurwissenschaften, der Informatik,
- Section 10: Turbulence and reactive flows 1 Section 10: Turbulence and reactive flows
- Fachbereich Rechts-und Wirtschaftswissenschaften | Studienbro | 28.12.2012 Interdisziplinres Seminar
- Section 15: Applied stochastics 1 Section 15: Applied stochastics
- Wahl des Personalrats im Mai 2012 2. Sitzung des Wahlvorstandes am 09.01.2012
- Section 23: Applied operator theory 1 Section 23: Applied operator theory
- Proof interpretations: theoretical and practical aspects
- Wissenschaftsmagazin Nr. 2 2009 Was schnelle Computer
- Frhjahrsperiode Prfungstag Name der Prfung Zeit Studiengnge
- Weakly universally consistent static forecasting ofstationary and ergodic time series via localaveraging and least squares estimates Tina Felber
- Program extraction and Ramsey's theorem for pairs Alexander P. Kreuzer
- Ihre Anreise nach Darmstadt Das WELCOME HOTEL DARMSTADT liegt verkehrsgnstig im Zentrum der Metropolregion Rhein-
- Graphs and Path Equilibria Stephane Le Roux
- TU Darmstadt | FB 4 | AG Didaktik | Schlogartenstr. 7 | 64289 Darmstadt Fachbereich Mathematik
- Section 2: Biomechanics 1 Section 2: Biomechanics
- Section 23: Applied operator theory 1 Section 23: Applied operator theory
- 83rd Annual Scientific Conference of the International Association of Applied Mathematics and Mechanics
- LCM4V20-2/t6/89 $4. Frames in Modular Lattices.
- Wichtig: Neue Linuxinstallation 1 Allgemeines
- Section 19: Optimization of differential equations 1 Section 19: Optimization of differential equations
- LCMBVs-tt/29/88 Computability and Unsolvability for Module Theories.
- Ein effektiver Zwischenwertsatz als Fallstudie fr exakte reelle Arithmetik
- Section 6: Material modelling in solid mechanics 1 Section 6: Material modelling in solid mechanics
- Rubrik Rubrik TUDInformationsschrift des
- Studienjahr 2012/13 Wintersemester 2012/13 Stand: 15. Februar 2012
- Lehrbuchsammlung Mathe / Master Verfasser Titel Jahr Signatur
- Section 8: Multiscales and homogenization 1 Section 8: Multiscales and homogenization
- Ramsey's theorem for pairs and provable recursive Alexander Kreuzer (joint work with Ulrich Kohlenbach)
- Comparison of al derings in me II Vincent Duquenne
- Minisymposia YR-MA1 MA3 1 Minisymposia YR-MA1 MA3
- Section 4: Structural mechanics 1 Section 4: Structural mechanics
- Einladung zur Hauptversammlung Im Rahmen der GAMM-Jahrestagung 2012 in Darmstadt findet am Mittwoch, dem
- Plasma zur Strmungskontrolle Plasma der vierte Zustand der Materie. Mit
- Section 24: History of mechanics 1 Section 24: History of mechanics
- LCM5V36-17/Z/88 $5. Relation Categories and Functors.
- Lehramtsstudiengang Mathematik an Gymnasien Ausfhrungsbestimmungen zur APB Seite 1
- Schlerinnen-Schnuppertag 2011
- Section 5: Nonlinear oscillations 1 Section 5: Nonlinear oscillations
- Studieninformationen fr den Bachelor-Studiengang Mathematik am Fachbereich Mathematik
- Minisymposia YR-MA1 MA3 1 Minisymposia YR-MA1 MA3
- 83rd Annual Scientific Conference of the International Association of Applied Mathematics and Mechanics
- The Gallery of the Darmstadt Colloquium Posters At this location the viewer finds a complete archive of the poster announcements
- Studienjahr 2011/12 Wintersemester 2011/12 Stand: 14. Mrz 2012
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2007
- Press Release Corporate Communications
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2009
- Struktur und Strmung im Wechselspiel
- Section 16: Optimization 1 Section 16: Optimization
- Lehrbuchsammlung Mathe / Grundstudium Verfasser Titel Jahr Signatur
- Section 3: Damage and fracture mechanics 1 Section 3: Damage and fracture mechanics
- Section 17: Applied and numerical linear algebra 1 Section 17: Applied and numerical linear algebra
- Technische Universitt Darmstadt -Matrikel-Nr.: ................... Fachbereich Mathematik -Fachrichtung: ..................
- Generalisation and formalisation in game theory Stephane Le Roux
- Modulhandbuch fr den Studiengang Master Mathematik
- Section 14: Applied analysis 1 Section 14: Applied analysis
- Studieninformationen fr den Master-Studiengang Mathematik am Fachbereich Mathematik
- STATES ON EFFECT ALGEBRAS AND MV-ALGEBRAS THEIR APPLICATIONS
- Sieden ist ganz einfach, wenn man nur ein Ei kocht. Wenn es allerdings um Dampf-
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zur Modulprfung
- Section 20: Dynamics and control 1 Section 20: Dynamics and control
- Brennkammer Thermoelektrischer
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2007
- 2 2. UBUNG 1 Anmerkungen zu Loesungsvorschlaegen
- Medieninformation Kommunikation und Medien
- Section 1: Multi-body dynamics 1 Section 1: Multi-body dynamics
- Section 19: Optimization of differential equations 1 Section 19: Optimization of differential equations
- Section 9: Laminar flows and transition 1 Section 9: Laminar flows and transition
- Section 3: Damage and fracture mechanics 1 Section 3: Damage and fracture mechanics
- Herbstperiode 1 Prfungstag Name der Prfung Zeit Studiengnge 3. Juni 2011 Freitag
- Kyoto Sympojium on Computable Analysis 2012 Takakazu Mori
- Gem Art. II des Senatsbeschlusses vom 09. April 2008 wird nachstehend die Neufassung der Allgemeinen Prfungsbestimmungen der Technischen Universitt
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2009
- Geometrie fr Lehramt (Geometry for Teachers)
- Section 1: Multi-body dynamics 1 Section 1: Multi-body dynamics
- Mathematik lernen mit dem Computer ausgewhlte Einsatzmglichkeiten
- PRIMITIVE RECURSION AND THE CHAIN ANTICHAIN ALEXANDER P. KREUZER
- Minisymposia Me1 Me3 1 Minisymposia Me1 Me3
- Section 12: Waves and acoustics 1 Section 12: Waves and acoustics
- Ramsey's theorem for pairs and program extraction Alexander P. Kreuzer
- Section 13: Flow control 1 Section 13: Flow control
- C++,,iRRAM" 3 iRRAM ( Real-RAM) 7
- Minisymposia MA1 MA3 1 Minisymposia MA1 MA3
- Master's Thesis in Theoretical Computer Science
- 3.5. ERGANZUNGEN 1 3.5 Erganzungen
- Section 22: Scientific computing 1 Section 22: Scientific computing
- Informationen zum Mathematikstudium
- (1) On the number of join irreducibles and acyclicity in finite mod-ular lattices. Algebra Universalis 64 (2010), no. 3-4, 433444.
- L. Kwuida and B. Sertkaya (Eds.): ICFCA 2010, LNAI 5986, pp. 88103, 2010. Springer-Verlag Berlin Heidelberg 2010
- Biannual Report Department of Mathematics
- Schulernachmittag zur Mathematik Fachbereich Mathematik
- Pubilcations Sren Krauhar a) Publications in international peer-reviewed journals
- LCM1M2 -3/16/89 $11. Extensions of Solvability by Coretracts of Free Algebras.
- Section 11: Interfacial flows 1 Section 11: Interfacial flows
- N d'ordre : 449 N attribu par la bibliothque : 07ENSL0449 COLE NORMALE SUPRIEURE DE LYON
- Section 4: Structural mechanics 1 Section 4: Structural mechanics
- Einfuhrung in die Algebra , TUD SS 10 Inhaltsverzeichnis
- Biannual Report Department of Mathematics
- Formal Concept Analysis with ConImp: Introduction to the Basic Features
- Minisymposia YR-ME1 ME3 1 Minisymposia YR-ME1 ME3
- Preis~,usschreiben filr den Fermatschen Satz. 143 Preisausschreiben
- Section 22: Scientific computing 1 Section 22: Scientific computing
- ADAPTIVE MULTILEVEL GENERALIZED SQPMETHODS FOR PDECONSTRAINED OPTIMIZATION
- Frisch aus unserer Bckerei Rosinenbrtchen 0,55
- Algebras and logics for the treatment of probability over fuzzy events
- www.gamm2012.tu-darmstadt.de 1 MARCH 26 30 2012
- ADAPTIVE MULTILEVEL INEXACT SQPMETHODS FOR PDECONSTRAINED OPTIMIZATION WITH CONTROL
- Fachbereich Mathematik Studienberatung Informationen
- LCM3V19-2/21./89 $3. Additive Relation Algebras.
- On MV-algebras with internal state Antonio Di Nola 1
- TU DARMSTADT Fachbereich Mathematik Studienbro Schlossgartenstrae 7, 64289 Darmstadt Anmeldung zu Bachelor PO 2009
