Search Sciweavers | Sciweavers

11716 search results - page 28 / 2344

» Computable symbolic dynamics

click to vote

ISSAC
2004
Springer

129views Mathematics» more ISSAC 2004»

Numerical algebraic geometry and symbolic computation

14 years 3 months ago

Download www.math.uic.edu

Jan Verschelde

claim paper

Read More »

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

14 years 3 months ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

click to vote

ISSAC
1999
Springer

113views Mathematics» more ISSAC 1999»

Symbolic Computation in Java: An Appraisement

14 years 1 months ago

Download www4.ncsu.edu

Laurent Bernardin, Bruce W. Char, Erich Kaltofen

claim paper

Read More »

click to vote

DAGSTUHL
2006

148views Software Engineering» more DAGSTUHL 2006»

06271 Abstracts Collection -- Challenges in Symbolic Computation Software

13 years 11 months ago

Download drops.dagstuhl.de

Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephe...

claim paper

Read More »

click to vote

COLING
2010

111views Computational Linguistics» more COLING 2010»

Ancient Symbols, Computational Linguistics, and the Reviewing Practices of the General Science Journals

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers