Frank Rosemeier
|
|
Publications (last update 2004) / Veröffentlichungen (Stand 2004)
|
See also the new homepage
Siehe auch die neue Homepage
|
http://www.rosemeier.info
|
|
- Konditional-Verbände [Conditional Lattices (German)].
Seminarberichte aus dem Fachbereich Mathematik,
FernUniversität in Hagen. 68. III (1999), 519
- 521.
- On Conway Numbers and Generalized Real Numbers.
Ulrich Berger / Horst Oswald / Peter Schuster (eds):
Reuniting the Antipodes.
Kluwer Academic Publishers, Dordrecht 2001, 211 - 227.
- A Constructive Approach to Conway's Theory of Games and Numbers.
Seminarberichte aus dem Fachbereich Mathematik,
FernUniversität Hagen. 70 (2001), 1 - 18.
- Semiquadratische Algebren [Semiquadratic algebras (German)]
Dissertation, FernUniversität Hagen 2002.
- Zufällige Binärfolgen und zufällige reelle Zahlen.
Erscheint in den Seminarberichten aus dem FachBereich Mathematik,
FernUniversität Hagen.
|
Presentations/Vorträge
|
- DMV-Tagung, Rostock 2003,
Minisymposium Constructivity in Analysis and Topology:
Formalizing Bishop Style Constructive Mathematics with Martin-Löf's
Type Theory.
|
|
|
|
Fachbereich-Mathematik |
|
|