Stephen Smale

dblp:36/2147 · also Steve Smale · DBLP profile ↗
← Back
13ranked-venue papers
1as first author
0since 2021 · last 2011
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 11 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Learning paradigms · 44% Graph learning · 44% Probabilistic and Bayesian machine learning · 13%
Theoretical computer science
4 papers
Computational geometry · 66% Computational complexity · 29% Algorithms and data structures · 4%

Topics — the 8 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Graph learning
topological data analysis
0.112011
A Topological View of Unsupervised Learning from Noisy Data · SIAM J. Comput. 2011
Machine learning › Learning paradigms
unsupervised learning
0.112011
A Topological View of Unsupervised Learning from Noisy Data · SIAM J. Comput. 2011
Machine learning › Probabilistic and Bayesian machine learning › structured models › latent variable model › mixture model
gaussian mixture model
0.012011
A Topological View of Unsupervised Learning from Noisy Data · SIAM J. Comput. 2011
Computational complexity
complexity of numerical computation
0.011999
Complexity Estimates Depending on Condition and Round-Off Error · J. ACM 1999
Computational complexity › computational models
real computation
0.011988
On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract) · FOCS 1988
Algorithms and data structures
numerical algorithms
0.011986
Computational Complexity: On the Geometry of Polynomials and a Theory of Cost: II · SIAM J. Comput. 1986
Algorithms and data structures › symbolic computation › computational algebra › polynomial evaluation
polynomial root finding
0.011986
Computational Complexity: On the Geometry of Polynomials and a Theory of Cost: II · SIAM J. Comput. 1986
Computational complexity
algebraic complexity
0.011986
Computational Complexity: On the Geometry of Polynomials and a Theory of Cost: II · SIAM J. Comput. 1986

Methods — techniques the papers use, named apart from their topics

spectral learning · 0.2homology computation · 0.2combinatorial laplacian · 0.2roundoff error analysis · 0.0universal machines · 0.0recursive function theory · 0.0newton's method · 0.0iteration schemes · 0.0euler's method · 0.0
YearPublicationVenuePosition
2011 A Topological View of Unsupervised Learning from Noisy Data
abstract
In this paper, we take a topological view of unsupervised learning. From this point of view, clustering may be interpreted as trying to find the number of connected components of any underlying geometrically structured probability distribution in a certain sense that we will make precise. We construct a geometrically structured probability distribution that seems appropriate for modeling data in very high dimensions. A special case of our construction is the mixture of Gaussians where there is Gaussian noise concentrated around a finite set of points (the means). More generally we consider Gaussian noise concentrated around a low dimensional manifold and discuss how to recover the homology of this underlying geometric core from data that do not lie on it. We show that if the variance of the Gaussian noise is small in a certain sense, then the homology can be learned with high confidence by an algorithm that has a weak (linear) dependence on the ambient dimension. Our algorithm has a natural interpretation as a spectral learning algorithm using a combinatorial Laplacian of a suitable data-derived simplicial complex.
Partha Niyogi, Stephen Smale, Shmuel Weinberger
SIAM J. Comput.2
2008 Finding the Homology of Submanifolds with High Confidence from Random Samples
Partha Niyogi, Stephen Smale, Shmuel Weinberger
Discret. Comput. Geom.2
1999 Complexity Estimates Depending on Condition and Round-Off Error
abstract
This paper has two agendas. One is to develop the foundations of round-off in computation. The other is to describe an algorithm for deciding feasibility for polynomial systems of equations and inequalities together with its complexity analysis and its round-off properties. Each role reinforces the other.
Felipe Cucker, Stephen Smale
J. ACM2
1999 A Polynomial Time Algorithm for Diophantine Equations in One Variable
Felipe Cucker, Pascal Koiran, Stephen Smale
J. Symb. Comput.3
1998 Complexity Estimates Depending on Condition and Round-Off Error
Felipe Cucker, Stephen Smale
ESA2
1998 Some Lower Bounds for the Complexity of Continuation Methods
Jean-Pierre Dedieu, Stephen Smale
J. Complex.2
1994 Separation of Complexity Classes in Koiran's Weak Model
Felipe Cucker, Michael Shub, Stephen Smale
Theor. Comput. Sci.3
1994 Complexity of Bezout's Theorem V: Polynomial Time
Michael Shub, Stephen Smale
Theor. Comput. Sci.2
1993 Complexity of Bezout's Theorem: III. Condition Number and Packing
Michael Shub, Stephen Smale
J. Complex.2
1988 On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract)
abstract
A model for computation over an arbitrary (ordered) ring R is presented. In this general setting, universal machines, partial recursive functions, and NP-complete problems are obtained. While the theory reflects of classical over Z (e.g. the computable functions are the recursive functions), it also reflects the special mathematical character of the underlying ring R (e.g. complements of Julia sets provide natural examples of recursively enumerable undecidable sets over the reals) and provides a natural setting for studying foundational issues concerning algorithms in numerical analysis.>
Lenore Blum, Michael Shub, Stephen Smale
FOCS3
1987 On the topology of algorithms, I
Stephen Smale
J. Complex.1
1986 On the existence of generally convergent algorithms
Michael Shub, Stephen Smale
J. Complex.2
1986 Computational Complexity: On the Geometry of Polynomials and a Theory of Cost: II
abstract
This paper deals with traditional algorithms, Newton’s method and a higher order generalization due to Euler. These iterations schemes and their modifications have had a great success in solving nonlinear systems of equations. We give some understanding of this phenomenon by giving estimates of efficiency. The problem we focus on is that of finding a zero of a complex polynomial.
Michael Shub, Stephen Smale
SIAM J. Comput.2