Search Sciweavers | Sciweavers

2853 search results - page 108 / 571

» On Coherence in Computer Algebra

125

click to vote

CORR
2007
Springer

124views Education» more CORR 2007»

Interpolation in Valiant's theory

15 years 4 months ago

Download perso.ens-lyon.fr

We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...

Pascal Koiran, Sylvain Perifel

claim paper

Read More »

111

click to vote

PPOPP
2005
ACM

109views Distributed And Parallel Com...» more PPOPP 2005»

Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications

15 years 9 months ago

Download userweb.cs.utexas.edu

Tze Meng Low, Robert A. van de Geijn, Field G. Van...

claim paper

Read More »

click to vote

GG
1997
Springer

87views Theoretical Computer Science» more GG 1997»

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach

15 years 8 months ago

Download www.cs.uni-paderborn.de

Andrea Corradini, Ugo Montanari, Francesca Rossi, ...

claim paper

Read More »

104

click to vote

SC
1992
ACM

109views Applied Computing» more SC 1992»

An Algebraic Theory for Modeling Direct Interconnection Networks

15 years 8 months ago

Download ethesys.lib.fcu.edu.tw

S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Je...

claim paper

Read More »

Voted

IPPS
2010
IEEE

77views Distributed And Parallel Com...» more IPPS 2010»

Transforming linear algebra libraries: From abstraction to parallelism

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers