Search Sciweavers | Sciweavers

2008 search results - page 20 / 402

» Computing with Equations

click to vote

PPAM
2001
Springer

112views Distributed And Parallel Com...» more PPAM 2001»

Theory and Solution Techniques for Singular Boundary Value Problems in Ordinary Differential Equations

15 years 4 months ago

Download www.math.tuwien.ac.at

Winfried Auzinger, Othmar Koch, Ewa Weinmülle...

claim paper

Read More »

click to vote

STACS
2001
Springer

84views Theoretical Computer Science» more STACS 2001»

2-Nested Simulation Is Not Finitely Equationally Axiomatizable

15 years 4 months ago

Download www.brics.dk

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

click to vote

LSSC
1999
Springer

88views Applied Computing» more LSSC 1999»

A Comparison of Three Solvers for the Incompressible Navier-Stokes Equations

15 years 4 months ago

Download www.math.unibas.ch

V. John, Gunar Matthies, Teodora Mitkova, Lutz Tob...

claim paper

Read More »

click to vote

IPPS
1997
IEEE

82views Distributed And Parallel Com...» more IPPS 1997»

Parallel Solutions of Indexed Recurrence Equations

15 years 4 months ago

Download ipdps.cc.gatech.edu

Gadi Haber, Yosi Ben-Asher

claim paper

Read More »

click to vote

BIRTHDAY
2008
Springer

67views Applied Computing» more BIRTHDAY 2008»

Declarative Debugging of Membership Equational Logic Specifications

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers