Conference sessions
Session information
| Type: |
Session in a block |
| Track: | Workshop 6 |
| Title: | Fifth International Workshop on Computer Algebra Systems and Applications |
| |
| Chair: | Andres Iglesias |
| Room: | N/A |
| |
| Block: |
Session 4 (Tue, 29 May 2007, 10:00 - 12:00) |
| Start time: | 60 minutes after block start |
| End time: | 0 minutes before block end |
| |
| Remarks: | Shares room with W08b |
Papers in this session
This table lists the papers assigned to this session.
| ID | Title | Status |
|---|
| 1. |
On the Virtues of Generic Programming for Symbolic Computation |
Oral |
| 2. |
Semi-Analytical Approach for Analyzing Vibro-Impact Systems |
Short |
| 3. |
Formal Verification of Analog and Mixed Signal Designs in Mathematica |
Short |
| 4. |
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library |
Short |
