Foundation of a computable solid modelling

By Edalat A.   Lieutier A.  

Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. : 319-345

Elsevier

Access to resources Recommend Favorite

Index sets in computable analysis

By Cenzer D.   Remmel J.B.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 111-150

Elsevier

Access to resources Recommend Favorite

A constructive algorithm for finding the exact roots of polynomials with computable real coefficients

By Lester D.   Chambers S.   Lu H.L.  

Theoretical Computer Science, Vol. 279, Iss. 1, 2002-05 ,pp. : 51-64

Elsevier

Access to resources Recommend Favorite

Kernels of seminorms in constructive analysis

By Bridges D.S.   Ward N.D.  

Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. : 259-267

Elsevier

Access to resources Recommend Favorite

Markov's constructive analysis; a participant's view

By Kushner B.A.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 267-285

Elsevier

Access to resources Recommend Favorite