International Symposium on Symbolic and Algebraic Computation (ISSAC)
Event name
International Symposium on Symbolic and Algebraic Computation (ISSAC)
Start date
23-07-2017
End date
28-07-2017
Location
Kaiserslautern
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences | Konferenzbeitrag Inproceedings | 2017 | |
| 2 | Rupp, Karl | Symbolic Integration at Compile Time in Finite Element Methods | Konferenzbeitrag Inproceedings | 2010 |