Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 71 to 80 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. Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet; Carsten Ullrich

    Integration of Mathematical Systems into the ActiveMath Learning Environment

    In: Paul Wang; Norbert Kajler; Angel Diaz (Hrsg.). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible …

  8. Paul Libbrecht; Erica Melis; Carsten Ullrich

    ActiveMath , a Web-Based Learning Environment

    In: IEEE Learning Technology Newsletter, 7/2001.