JSC 2006 | Sciweavers

11

JSC
2006

85views more JSC 2006»

SumCracker: A package for manipulating symbolic sums and related objects

13 years 4 months ago

We describe a new software package, named SumCracker, for proving and finding identities involving symbolic sums and related objects. SumCracker is applicable to a wide range of e...

Manuel Kauers

claim paper

Read More »

6

click to vote

JSC
2006

81views more JSC 2006»

Complexity bounds for zero-test algorithms

13 years 4 months ago

Download www.texmacs.org

In this paper, we analyze the complexity of a zero test for expressions built from formal power series solutions of first order differential equations with non degenerate initial ...

Joris van der Hoeven, John Shackell

claim paper

Read More »

6

click to vote

JSC
2006

102views more JSC 2006»

Counterexamples to witness conjectures

13 years 4 months ago

Download www.texmacs.org

Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let z be such an exp-log constant and let...

Joris van der Hoeven

claim paper

Read More »

4

click to vote

JSC
2006

75views more JSC 2006»

All solutions to Thomas' family of Thue equations over imaginary quadratic number fields

13 years 4 months ago

Download www.math.tugraz.at

Clemens Heuberger

claim paper

Read More »

4

click to vote

JSC
2006

64views more JSC 2006»

Computing the support of local cohomology modules

13 years 4 months ago

Download www.math.uic.edu

For a polynomial ring R = k[x1, ..., xn], we present a method to compute the characteristic cycle of the localization Rf for any nonzero polynomial f R that avoids a direct comput...

Josep Àlvarez Montaner, Anton Leykin

claim paper

Read More »

8

click to vote

JSC
2006

97views more JSC 2006»

Improving the DISPGB algorithm using the discriminant ideal

13 years 4 months ago

Download www-ma2.upc.es

In 1992, V. Weispfenning proved the existence of Comprehensive Gr

Montserrat Manubens, Antonio Montes

claim paper

Read More »

3

click to vote

JSC
2006

73views more JSC 2006»

Algorithmic methods for investigating equilibria in epidemic modeling

13 years 4 months ago

Download cg.cs.uni-bonn.de

Christopher W. Brown, M'hammed El Kahoui, Dominik ...

claim paper

Read More »

6

click to vote

JSC
2006

122views more JSC 2006»

An automated prover for Zermelo-Fraenkel set theory in Theorema

13 years 4 months ago

Download www.risc.jku.at

This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...

Wolfgang Windsteiger

claim paper

Read More »

19

click to vote

JSC
2006

147views more JSC 2006»

An algorithm to solve integer linear systems exactly using numerical methods

13 years 4 months ago

Download www.cis.udel.edu

In this paper, we present a new algorithm for the exact solutions of linear systems with integer coefficients using numerical methods. It terminates with the correct answer in wel...

Zhendong Wan

claim paper

Read More »

4

click to vote

JSC
2006

53views more JSC 2006»

Resultants of partially composed polynomials

13 years 4 months ago

Download minimair.org

Manfred Minimair

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers