Search Sciweavers | Sciweavers

2430 search results - page 39 / 486

» Computing Tutte Polynomials

click to vote

STACS
2007
Springer

69views Theoretical Computer Science» more STACS 2007»

VPSPACE and a Transfer Theorem over the Reals

14 years 4 months ago

Download perso.ens-lyon.fr

Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coeﬃcients can be computed in polynomial spa...

Pascal Koiran, Sylvain Perifel

claim paper

Read More »

click to vote

ACL2
2006
ACM

236views Computational Linguistics» more ACL2 2006»

Unique factorization in ACL2: Euclidean domains

14 years 4 months ago

Download www.cs.uwyo.edu

ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...

John R. Cowles, Ruben Gamboa

claim paper

Read More »

click to vote

ICS
2010
Tsinghua U.

205views Distributed And Parallel Com...» more ICS 2010»

A New Approach to Strongly Polynomial Linear Programming

14 years 7 months ago