Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» jc 1998

click to vote

JC
1998

58views more JC 1998»

Some Lower Bounds for the Complexity of Continuation Methods

13 years 5 months ago

Download www6.cityu.edu.hk

Jean-Pierre Dedieu, Steve Smale

claim paper

Read More »

click to vote

JC
1998

65views more JC 1998»

Monte Carlo Complexity of Global Solution of Integral Equations

13 years 5 months ago

Download www.uni-kl.de

The problem of global solution of Fredholm integral equations is studied. This means that one seeks to approximate the full solution function (as opposed to the local problem, whe...

Stefan Heinrich

claim paper

Read More »

click to vote

TPHOL
1997
IEEE

119views Automated Reasoning» more TPHOL 1997»

An Isabelle-Based Theorem Prover for VDM-SL

13 years 9 months ago

Download homepages.cs.ncl.ac.uk

This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...

Sten Agerholm, Jacob Frost

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers