Section outline

  • Di, 16:15-17:45 Uhr, HS 14; 1st lecture: 4.3.2007

    The lecture will be in ENGLISH. (Not in German, as announced elsewhere!)

    We discuss basic notions and methods to solve problems originating in analysis (like the problem of integration or of proving special function identities) with tools from computer algebra. The whole lecture has introductory character.

    Literature:
    M. Bronstein: "Symbolic Integration I. Transcendental Functions",
    J. von zur Gathen, J. Gerhard: "Modern Computer Algebra",
    K.O. Geddes, S.R. Czapor, G. Labahn: "Algorithms for Computer Algebra",
    and other sources.

    Requirements: Active knowledge from "Analysis I" and "Lineare Algebra I and II". In addition, parts of the lecture "Computer Algebra I" would be helpful; but this is not an absolutely necessary requirement.