|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Editorial |
Anai, Hirokazu |
2007 |
18 | 6 |
p. 495-496 |
artikel |
|
| 2 | On systems of algebraic equations with parametric exponents II |
Yokoyama, Kazuhiro |
2007 |
18 | 6 |
p. 603-630 |
artikel |
|
| 3 | Parametrizing compactly supported orthonormal wavelets by discrete moments |
Regensburger, Georg |
2007 |
18 | 6 |
p. 583-601 |
artikel |
|
| 4 | Quantifier elimination supported proofs in the numerical treatment of fluid flows |
Liska, Richard |
2007 |
18 | 6 |
p. 575-582 |
artikel |
|
| 5 | Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination |
Hyodo, Noriko |
2007 |
18 | 6 |
p. 497-512 |
artikel |
|
| 6 | Testing elementary function identities using CAD |
Beaumont, James C. |
2007 |
18 | 6 |
p. 513-543 |
artikel |
|
| 7 | Weak quantifier elimination for the full linear theory of the integers |
Lasaruk, Aless |
2007 |
18 | 6 |
p. 545-574 |
artikel |
7 gevonden resultaten