Exercises

On this site, I put all the material which is related to some courses I attend at RISC. Everything on this site is provided without any warranty, especially without any guarantee of completnes, correctnes, or whatsoever.

There are also other websites available with publications of mine, namely

• my ``official'' publications page with papers, articles, and thesises, and
• a page with lecture notes of all the mathematical lectures I attended at the University of Karlsruhe. (German).

• Presentation of ISSAC Poster
  slides.dvi | slides.ps | slides.ps.gz
  Last modified: 2003-06-11, 17:09:54

• Quantum Computing: Factoring Integers in Polynomial Time
  shor.dvi | shor.dvi.gz | shor.ps (2428k) | shor.ps.gz (1422k) | slides.dvi | slides.ps (1533k) | slides.ps.gz (899k)
  Last modified: 2003-05-08, 16:26:42

• Introduction to Modal Logics
  modal.dvi | modal.dvi.gz | modal.ps (212k) | modal.ps.gz
  Last modified: 2003-03-20, 21:15:09
• Slides
  slides.dvi | slides.ps | slides.ps.gz
  Last modified: 2003-03-20, 21:16:47

• Homework 1
  homework1.dvi | homework1.mpl | homework1.ps | homework1.ps.gz
  Last modified: 2004-03-07, 15:49:32
• Homework 10
  homework10.dvi | homework10.ps
  Last modified: 2004-05-19, 11:43:43
• Homework 11
  homework11.dvi | homework11.ps (109k) | homework11.ps.gz
  Last modified: 2004-06-14, 14:28:00
• Homework 12
  homework12-slides.dvi | homework12-slides.ps | homework12-slides.ps.gz | homework12.dvi | homework12.ps (129k) | homework12.ps.gz | part.mpl
  Last modified: 2004-06-22, 09:27:35
• Homework 13
  homework13.dvi | homework13.m | homework13.ps (164k) | homework13.ps.gz
  Last modified: 2004-06-22, 10:53:29
• Homework 2
  homework2.dvi | homework2.m | homework2.ps | homework2.ps.gz
  Last modified: 2004-03-13, 21:30:55
• Homework 3
  homework3.dvi | homework3.ps | homework3.ps.gz
  Last modified: 2004-03-19, 14:40:43
• Homework 4
  homework4.dvi | homework4.ps
  Last modified: 2004-03-24, 19:33:13
• Homework 5
  homework5.dvi | homework5.m | homework5.ps | homework5.ps.gz
  Last modified: 2004-04-19, 10:05:54
• Homework 6
  homework6.dvi | homework6.m | homework6.ps | homework6.ps.gz
  Last modified: 2004-04-22, 19:10:41
• Homework 7
  homework7.dvi | homework7.ps | homework7.ps.gz
  Last modified: 2004-04-29, 11:39:52
• Homework 8
  homework8.dvi | homework8.ps
  Last modified: 2004-05-06, 16:55:58
• Homework 9
  homework9.dvi | homework9.ps | homework9.ps.gz
  Last modified: 2004-05-19, 11:45:36

• Funny Function Identities
  seminar.nb | slides.dvi | slides.ps | slides.ps.gz
  Last modified: 2004-05-05, 16:41:27

• Lecture Notes
  summary.dvi | summary.dvi.gz | summary.ps (222k) | summary.ps.gz
  Last modified: 2003-03-11, 16:07:04

• Exercise 1
  aag-ex1a.dvi | aag-ex1a.ps | aag-ex1b.sg
  Last modified: 2002-12-17, 10:55:31
• Exercise 2
  aag-ex2a.sg
  Last modified: 2002-12-17, 10:54:41
• Exercise 3
  aag-ex3a.dvi | aag-ex3a.ps | aag-ex3a.sg | aag-ex3b.sg
  Last modified: 2002-12-17, 10:55:50
• Exercise 4
  aag-ex4.dvi | aag-ex4.gif | aag-ex4.mws | aag-ex4.ps | aag-ex4.sg
  Last modified: 2002-12-17, 10:54:41
• Exercise 5
  aag-ex5.dvi | aag-ex5.ps
  Last modified: 2002-12-17, 10:56:15
• Exercise 6
  aag-ex6.sg
  Last modified: 2002-12-17, 10:54:41
• Exercise 7
  aag-ex7.txt
  Last modified: 2003-01-13, 19:55:45

• Integration in Computer Algebra Systems (Example Sessions)
  examples.maple.ps | examples.mws | examples.nb | examples.nb.ps (1308k) | examples.nb.ps.gz (292k)
  Last modified: 2002-12-17, 11:17:20
• Sheet 0
  solution0.dvi | solution0.ps
  Last modified: 2002-12-17, 10:58:56
• Sheet 1
  solution1.dvi | solution1.ps
  Last modified: 2002-12-17, 10:58:58
• Sheet 2
  solution2.dvi | solution2.ps
  Last modified: 2002-12-17, 10:59:00
• Sheet 3
  solution3.dvi | solution3.ps
  Last modified: 2002-12-17, 10:59:02
• Sheet 4
  solution4.dvi | solution4.ps
  Last modified: 2002-12-17, 10:59:04
• Sheet 5
  solution5.dvi | solution5.ps
  Last modified: 2002-12-17, 10:59:05
• Sheet 6
  solution6.dvi | solution6.ps | squarefree.mws
  Last modified: 2003-01-08, 10:43:35
• Sheet 7
  solution7.dvi | solution7.mws | solution7.ps (133k) | solution7.ps.gz
  Last modified: 2003-02-12, 14:42:50
• Sheet 8
  solution8.dvi | solution8.ps
  Last modified: 2003-01-18, 11:23:37

• Exercise 1
  ex1.dvi | ex1.ps
  Last modified: 2002-12-20, 13:53:08
• Exercise 2
  ex2.dvi | ex2.ps
  Last modified: 2003-01-29, 16:38:55
• Exercise 3
  answer2mk.eml | ex3.mod | ex3.obj | letter2ws.eml
  Last modified: 2003-02-12, 14:44:54

• Equivalence Relations and Partitions
  eqrel.dvi | eqrel.ps (124k) | eqrel.ps.gz
  Last modified: 2002-12-20, 13:55:06
• LaTeX package for typesetting quantifiers in THEOREMA style
  tsw.sty
  Last modified: 2002-12-17, 11:06:49
• Limit Theorem
  limitProof.dvi
  Last modified: 2002-12-17, 11:06:49
• Logic Puzzles
  homework1.dvi | homework1.ps
  Last modified: 2002-12-17, 11:06:49
• The Sum of Two Convergent Sequences is Convergent
  tableau.dvi | tableau.ps (132k) | tableau.ps.gz
  Last modified: 2002-12-17, 11:09:30
• The composition of two continous functions is continous
  continous.dvi | continous.ps
  Last modified: 2002-12-17, 11:06:49

• Deciding Zero Equivalence of Certain Special Sequences
  slides.dvi | slides.dvi.gz | slides.ps | slides.ps.gz
  Last modified: 2004-03-07, 15:57:25
• Software Demo
  demo.nb
  Last modified: 2004-03-07, 15:58:03

• Homework 1
  homework1.dvi | homework1.ps
  Last modified: 2003-10-14, 20:22:00
• Homework 10
  homework10.dvi | homework10.ps | homework10.ps.gz
  Last modified: 2004-01-08, 16:44:46
• Homework 11
  homework11.dvi | homework11.ps | homework11.ps.gz
  Last modified: 2004-01-10, 18:29:05
• Homework 12
  homework12.dvi | homework12.ps
  Last modified: 2004-01-20, 15:51:57
• Homework 13
  homework13.dvi | homework13.ps
  Last modified: 2004-01-27, 17:08:34
• Homework 2
  homework2.dvi | homework2.ps
  Last modified: 2003-10-14, 20:22:06
• Homework 3
  homework3.dvi | homework3.ps | homework3.ps.gz
  Last modified: 2003-10-24, 20:19:27
• Homework 4
  homework4.dvi | homework4.ps | homework4.ps.gz
  Last modified: 2003-10-29, 17:33:08
• Homework 5
  homework5.dvi | homework5.mws | homework5.ps | homework5.ps.gz
  Last modified: 2003-11-05, 21:29:42
• Homework 6
  homework6.dvi | homework6.dvi.gz | homework6.ps (142k) | homework6.ps.gz
  Last modified: 2003-11-16, 22:27:05
• Homework 7
  homework7.dvi | homework7.ps
  Last modified: 2003-11-20, 15:01:36
• Homework 8
  homework8.dvi | homework8.ps | homework8.ps.gz
  Last modified: 2003-12-01, 11:21:53
• Homework 9
  homework9.dvi | homework9.ps | homework9.ps.gz
  Last modified: 2004-01-08, 12:23:27
• Lecture notes 13.01.2004
  lecturenotes.dvi | lecturenotes.ps | lecturenotes.ps.gz | slide.dvi | slide.ps
  Last modified: 2004-01-13, 16:01:05

• Computer Proofs for Polynomial Identities in Arbitrary many Variables
  slides.dvi | slides.ps (352k) | slides.ps.gz
  Last modified: 2004-01-08, 12:22:06