Skip to main content Skip to main navigation

Publications

Displaying results 21 to 30 of 182.
  1. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 58, Elsevier Science Publishers, 2001.

  2. Mertin Bertram; Hans Hagen

    Subdivision surfaces for scattered-data approximation

    In: Data Visualization 2001 (Proceedings of Joint Eurographics - IEEE TCVG Symposium on Visualization 2001), Ebert, Favre, Peikert (Hrsg.), Springer …

  3. Mertin Bertram; David Laney; Marc Duchaineau; Charles Hansen; Bernd Hamann; Kenneth Joy

    Wavelet Representation of Contour Sets

    In: Proceedings of IEEE Visualization 2001, Ertl, Joy, Varshney (Hrsg.), IEEE Computer Society, Los Alamitos, CA, USA, 2001,. IEEE Visualization …

  4. Hans Hagen; G. Scheuermann

    Clifford Algebra and Flows

    In: Mathematical Methods for Curves and Surfaces, Oslo 2000, Lyche, Schumaker (Hrsg.), Vanderbilt University Press, Nashville, TN, USA, 2001,. Pages …

  5. Michael Münchhofen; Hans Hagen; Inga Scheler; Kai Hergenröther

    Diversified visualisation from www to VR,

    In: International Symposium on Virtual and Augmented Architecture, Dublin, 2001. International Symposium on Virtual and Augmented Architecture, 2001.

  6. Towards an Integration of Business Process Modeling and Object-Oriented Software Development

    In: Ion Ivan; Ion Gh. Rosca (Hrsg.). Information Society - The Proceedings of the Fifth International Symposium on Economic Informatics - IE 2001, …

  7. Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

    ActiveMath: System Description

    In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial …

  8. Erica Melis; Eric Andres; Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

    ActiveMath: A Generic and Adaptive Web-Based Learning Environment

    In: International Journal on Artificial Intelligence in Education (IJAIED), Vol. 12, No. 4, Pages 385-407, 2001.