Search Sciweavers | Sciweavers

3454 search results - page 51 / 691

» Modern computer algebra

138

click to vote

AAECC
1991
Springer

109views Algorithms» more AAECC 1991»

Computing Roadmaps of General Semi-Algebraic Sets

15 years 9 months ago

Download www.cs.berkeley.edu

John F. Canny

claim paper

Read More »

115

click to vote

DAGSTUHL
2007

96views Software Engineering» more DAGSTUHL 2007»

07411 Abstracts Collection -- Algebraic Methods in Computational Complexity

15 years 7 months ago

Download drops.dagstuhl.de

Manindra Agrawal, Harry Buhrman, Lance Fortnow, Th...

claim paper

Read More »

112

click to vote

DAGSTUHL
2004

93views Software Engineering» more DAGSTUHL 2004»

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

15 years 6 months ago

Download drops.dagstuhl.de

Harry Buhrman, Lance Fortnow, Thomas Thierauf

claim paper

Read More »

120

click to vote

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

15 years 5 months ago

Download www.gabbay.org.uk

Maribel Fernández, Murdoch James Gabbay

claim paper

Read More »

101

click to vote

CPHYSICS
2006

60views more CPHYSICS 2006»

PROCRUSTES: A computer algebra package for post-Newtonian calculations in General Relativity

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers