326.007, PS Formales Modellieren, Wolfgang Schreiner / Josef Schicho / Wolfgang Windsteiger, 2019S

Section outline

• Select section PS Formal Modeling (SS 2019)

  PS Formal Modeling (SS 2019)

  Collapse all Expand all

  Wednesday, 17:15-18:45, S2 Z74, Start: March 6, 2019
  

  We discuss the formal modeling of mathematical problems that are amenable to algorithms and software from symbolic computation; the models are based on the language of algebra and logic. In the accompanying lecture we discuss examples from various application domains. in this proseminar students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.

  • Select activity Organization

    

    Organization Page
• Select section Organization

  Organization

  Every student chooses a formal modeling topic that (s)he elaborates. Grading is based on a short paper and a presentation. It is also possible to choose a topic and elaborate it as a bachelor thesis. In addition we will discuss the practice of mathematical research.

  Preliminary Schedule

  • March 6:
    
  • Presentation of proseminar topics.
  • March 13:
  • Josef Schicho: How to write a mathematical paper.
    
  • March 20:
    
  • Wolfgang Windsteiger: How to give a mathematical talk.
  • March 27:
  • Wolfgang Schreiner: How (not) to use LaTeX.
    
  • March - June:
  • Individual meetings.
    
  • June 12 (if necessary, also additional dates):
  • Presentations
    

  • Select activity Topics Schreiner

    

    Topics Schreiner File
  • Select activity Topics Windsteiger

    

    Topics Windsteiger File
  • Select activity Possible Topics (Windsteiger)

    

    Possible Topics (Windsteiger) File

    Table of contents of a textbook for graph problems and combinatorial optimization problems
    

  • Select activity Topics Schicho

    

    Topics Schicho File
• Select section How to Write a Mathematical Paper

  How to Write a Mathematical Paper

  • Select activity Guidelines

    

    Guidelines Page
  • Select activity Sample PapersDeciding the existence of rational ge...

    • Sample Papers
    • Deciding the existence of rational general solutions for first-order algebraic ODEs
    • Improving root separation bounds
      
• Select section How to Give a Mathematical Talk

  How to Give a Mathematical Talk

  • Select activity Guidelines

    

    Guidelines Page
  • Select activity Sample SlidesSymbolic solutions of algebraic diffe...

    • Sample Slides
    • Symbolic solutions of algebraic differential equations
      
    • Root separation bounds
      
• Select section How (Not) to Use LaTeX

  How (Not) to Use LaTeX

  • Select activity Guidelines

    

    Guidelines Page
  • Select activity Sample LaTeXSample DocumentSample Slides 16x9 and ...

    • Sample LaTeX
    • Sample Document
      
    • Sample Slides 16x9 and 4x3
    • LaTex Sources
      
• Select section Assignments

  Assignments

  • Select activity Presentation Submission (June 5)

    

    Presentation Submission (June 5) Assignment
  • Select activity Paper Submission (June 19)

    

    Paper Submission (June 19) Assignment