Search Sciweavers | Sciweavers

3454 search results - page 84 / 691

» Modern computer algebra

155

click to vote

CORR
2007
Springer

124views Education» more CORR 2007»

Interpolation in Valiant's theory

15 years 6 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 »

132

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 11 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 10 months ago

Download www.cs.uni-paderborn.de

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

claim paper

Read More »

121

click to vote

SC
1992
ACM

109views Applied Computing» more SC 1992»

An Algebraic Theory for Modeling Direct Interconnection Networks

15 years 10 months ago

Download ethesys.lib.fcu.edu.tw

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

claim paper

Read More »

107

click to vote

IPPS
2010
IEEE

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

Transforming linear algebra libraries: From abstraction to parallelism

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers