Volume 44; Issue 3/4

ACM SIGSAM Bulletin

Volume 44; Issue 3/4
1

Sturm root counting using chebyshev expansion

Murakami, Hiroshi
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 130 KB
english, 2011
2

An implementation of the method of brackets for symbolic integration

Kohl, Karen T.
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 139 KB
english, 2011
3

VarInt

Hellström, Christian
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 68 KB
english, 2011
4

Linear differential, difference and q -difference homogeneous equations having no rational solutions

Gheffar, A.
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 203 KB
english, 2011
6

An efficient algorithm for checking hyper-regularity of matrices

Antritter, Felix, Middeke, Johannes
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 172 KB
english, 2011
8

A fast recursive algorithm for computing cyclotomic polynomials

Arnold, Andrew, Monagan, Michael
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 117 KB
english, 2011
11

A symbolic summation approach to feynman integrals

Blümlein, Johannes, Klein, Sebastian, Schneider, Carsten, Stan, Flavia
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 130 KB
english, 2011
14

Reconstructing sparse trigonometric functions

Cuyt, Annie, Lee, Wen-shin
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 124 KB
english, 2011
15

Almost linear time operations with triangular sets

Dahan, Xavier, Maza, Marc Moreno, Schost, Éric, Poteaux, Adrien
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 115 KB
english, 2011
16

transalpyne

De Feo, Luca, Schost, Éric
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 109 KB
english, 2011
17

Optimization techniques for small matrix multiplication

Drevet, Charles Éric, Islam, Md. Nazrul, Schost, Éric
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 129 KB
english, 2011
18

Nullspace computation over rational function fields for symbolic summation

Eröcal, Burçin, Storjohann, Arne
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 117 KB
english, 2011
19

Cache friendly sparse matrix-vector multiplication

Haque, Sardar Anisul, Hossain, Shahadat, Maza, M. Moreno
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 1.75 MB
english, 2011
20

Factorization of polynomials in Z-graded skew polynomial rings

Heinle, Albert, Levandovskyy, Viktor
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 116 KB
english, 2011
21

On sparse interpolation over finite fields

Javadi, Seyed Mohammad Mahdi, Monagan, Michael
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 120 KB
english, 2011
22

Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge

Lee, Jae Hee
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 127 KB
english, 2011
23

Non-commutative subsystems of singular

Levandovskyy, Viktor
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 129 KB
english, 2011
24

Radius computation for an inscribed pentagon in Sanpou-Hakki (1690)

Moritsugu, Shuichi
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 125 KB
english, 2011
25

Geometry of branch cuts

Phisanbut, Nalina, Bradford, Russell J., Davenport, James H.
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 150 KB
english, 2011
26

Linear differential implicitization and differential resultants

Rueda, Sonia L.
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 150 KB
english, 2011
27

Heuristics for cannon's algorithm with an application to lyons sporadic group

Saouter, Yannick
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 119 KB
english, 2011
28

A FPGA implementation of Chen's algorithm

Saouter, Yannick, Le Mestre, Gérald
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 135 KB
english, 2011
29

Computing floating-point Gröbner bases accurately

Sasaki, Tateaki, Kako, Fujio
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 124 KB
english, 2011
30

Invariants and symbolic calculations in the theory of quadratic differential systems

Schlomiuk, Dana, Vulpe, Nicolae
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 252 KB
english, 2011
31

Solvability of bivariate polynomial systems under perturbation

Sekigawa, Hiroshi, Shirayanagi, Kiyoshi
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 132 KB
english, 2011
32

X - and Y -invariants for Darboux transformations

Shemyakova, Ekaterina
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 128 KB
english, 2011
33

Computation of dimensions of non-commutative algebras

Studzinski, Grischa
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 130 KB
english, 2011
34

GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials

Terui, Akira
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 143 KB
english, 2011
35

Algorithms for special functions

Stan, Flavia
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 48 KB
english, 2011
36

Differential schemes

Bardavid, Colas
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 132 KB
english, 2011
37

Exact solutions to linear systems of equations using output sensitive lifting

Steffy, Daniel E.
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 288 KB
english, 2011
38

Solving linear recurrence equations

Cha, Yongjae, van Hoeij, Mark, Levy, Giles
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 126 KB
english, 2011
39

simpcomp

Effenberger, Felix, Spreer, Jonathan
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 169 KB
english, 2011
40

Summation in finite terms using sage

Eröcal, Burçin
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 147 KB
english, 2011
41

TRIP

Gastineau, Mickaël, Laskar, Jacques
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 134 KB
english, 2011
42

GENOM3CK

Hodorog, Mădălina, Mourrain, Bernard, Schicho, Josef
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 427 KB
english, 2011
43

LocalizeRingForHomalg

Barakat, Mohamed, Lange-Hegermann, Markus
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 162 KB
english, 2011
44

Sparse polynomial multiplication and division in Maple 14

Monagan, Michael, Pearce, Roman
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 181 KB
english, 2011
45

Symbolic computation software composability protocol and its implementations

The SCIEnce project,
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 98 KB
english, 2011
46

SymGrid-Par

The SCIEnce project,
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 109 KB
english, 2011
47

Polynomial homotopy continuation with PHCpack

Verschelde, Jan
Journal:
ACM SIGSAM Bulletin
Year:
2011
Language:
english
File:
PDF, 114 KB
english, 2011