RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

RISC-Linz Courses WS 97

RISC-Linz logo

All courses start in the week beginning on October 6 (unless announced otherwise in a course description).


Number Title Lecturer Time Room

315.325

Logic I for Mathematicians and Computer Scientists B. Buchberger Fri 10.15-11.45 HS 10

315.369

Exercise for Logic I S. Stifter Fri 12.00-12.45 HS 4

315.335

Introduction to Computer Algebra F. Winkler Tue 13.45-15.15 K 009D

315.309

Exercise for Introduction to Computer Algebra F. Winkler Tue 15.30-16.15 T 212

315.332

Logic Programming E. Blurock Wed 16.15-17.45 T 211

315.430

Project Engineering: Engineering-like Software Development H. Mayr Tue 10.00-11.30 to be announced

315.431

Virtual Environments: Design and Modelling H. Mayr Tue 8.15-9.45 J 311B

315.301

Commutative Algebra and Algebraic Geometry F. Winkler Tue 16.30-18.00 T 212

315.354

Discrete Algorithmic Geometry S. Stifter Thu 10.15-11.45 K 001A

315.342

Computability Theory H. Rolletschek Thu 8.15-9.45 K 009D

315.367

Mathematical Education with DERIVE B. Kutzler to be agreed to be agreed

315.394

Introduction to Parallel Computation W. Schreiner Mon 8.30-10.00 T 811

315.505

Structure of Programming Languages I: Denotational Semantics W. Schreiner Thu 16.30-18.00 K 009D

315.377

Systolic Algorithms in Computer Algebra T. Jebelean Fri 8.15-9.45 T 857

315.316

Algebraic Constraint Solving H. Hong Wed 11.00-12.30 KG 318

315.523

Computer Algebra Methods for Elimination Tran Quoc Nam to be agreed to be agreed

315.216

Completion Procedure for Differential Polynomial Ideals Fritz Schwarz to be agreed to be agreed

315.217

Gröbner Bases and Hilbert Functions Lorenzo Robbiano to be agreed to be agreed

315.336

Programming Projekt Symbolic Computation I B. Buchberger and assistant to be agreed to be agreed

315.321

Practical Proof Technique and Scientific Working in Symbolic Computation B. Buchberger Fri 13.15-14.45 HA 105

315.465

English for Diploma- and Doctoral Students Gregory Curtis Mon 13:15-15:15 HA 105

315.270

Seminar for Diploma- and Doctoral Students I B. Buchberger and assistant to be agreed to be agreed

315.434

Seminar for Diploma- and Doctoral Students I H. Hong to be agreed to be agreed

315.387

Seminar for Diploma- and Doctoral Students I F. Winkler to be agreed to be agreed

315.470

Seminar for Diploma- and Doctoral Students I S. Stifter to be agreed to be agreed

315.433

Seminar for Diploma- and Doctoral Students I P. Paule to be agreed to be agreed

315.432

Seminar for Diploma- and Doctoral Students I H. Rolletschek to be agreed to be agreed

315.380

Project Seminar (WS): Algorithms for CAD and Robot Programming S. Stifter Mon 15.15-16.45 HA 105

315.381

Project Seminar (WS): Parallel Algorithms and Software for Symbolic Computation H. Hong Mon 17.15-18.45 HA 105

315.382

Project Seminar (WS): Computer Algebra F. Winkler Thu 14.30-16.00 HA 105

315.384

Project Seminar (WS): Expert Systems B. Buchberger , E. Blurock to be agreed to be agreed

315.450

Project Seminar (WS): Algorithmic Combinatorics P. Paule to be agreed to be agreed

315.435

Project Seminar (WS): Automatic Theorem Proving (Theorema Project) B. Buchberger , T. Jebelean to be agreed to be agreed

315.389

Project Seminar (WS): Geometry and Modelling B. Buchberger , H. Mayr to be agreed to be agreed


Maintained by: The System Administration
Last Modification: February 2, 1998

[Up] [RISC-Linz] [University] [Search]