Springe zum Seiteninhalt
|
Admin
|
Sitemap
|
Impressum
Homepage
Mitarbeiter
Lehre
Aktivitäten
Projekte
Publikationen
Stellen
Aktuelle Seite:
Publikationen
Alle Publikationsarten
-
Paper
-
Technical Reports
-
Bücher
-
Dissertationen
Suchen:
alle
-
aktuell
-
2021
-
2020
-
2019
-
2018
-
2017
-
2016
-
2015
-
2014
-
2013
-
2012
-
2011
-
2010
-
2009
-
2008
-
2007
-
2006
-
2005
-
2004
-
2003
-
2002
-
2001
-
2000
-
1999
-
1998
-
1997
-
1996
-
1995
-
1994
-
1993
-
1992
-
1990
-
1985
Publikationen
1994
Exact and Fast Collision Detection
Gabriel Zachmann
Diplomarbeit, Technical University Darmstadt, Dept. of Computer Science, 1994
[Details]
[Paper]
[Bibtex]
Linear approximation of trimmed surfaces
R. R. Martin (Editoren)
Reinhard Klein
In proceedings of The Mathematics Of Surfaces VI, pages 209-212, 1994
[Details]
[Paper]
[Bibtex]
Realism in Virtual Reality
N. Magnenat-Thalmann und Daniel Thalmann (Editoren)
P. Astheimer, F. Dai, M. Göbel, R. Kruse, S. Müller und
Gabriel Zachmann
In: Artificial Life and Virtual Reality, pages 189-210, Wiley and Sons, 1994
[Details]
[Bibtex]
Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence
Jürgen Kunze und Herbert Stoyan (Editoren)
Andreas Weber
In proceedings of KI-94 Workshops - Extended Abstracts, pages 319-320, Gesellschaft für Informatik e.V., Bonn, Sept. 1994
[Details]
[Bibtex]
An Application of Quantifier Elimination to Mathematical Biology
J. Fleischer, J. Grabmeier, F. W. Hehl und W. Küchlin (Editoren)
C. Chauvin, M. Müller und
Andreas Weber
In proceedings of Computer Algebra in Science and Engineering, Zentrum für Interdisziplinäre Forschung, pages 287-296, World Scientific, Aug. 1994
[Details]
[Bibtex]
Using Commutativity Properties for Controlling Coercions
J. Calmet und J. A. Campbell (Editoren)
S. A. Missura und
Andreas Weber
In proceedings of Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International Conference (AISMC-2), pages 131-143, Springer-Verlag, Aug. 1994
[Details]
[Bibtex]
Algorithms for Type Inference with Coercions
Andreas Weber
In proceedings of Proc. Symposium on Symbolic and Algebraic Computation (ISSAC `94), Association for Computing Machinery, pages 324-329, Juli 1994
[Details]
[Bibtex]