Author Description

Login to generate an author description

Ask a Question About This Mathematician

All published works (27)

Action Title Date Authors
AI Consciousness is Inevitable: A Theoretical Computer Science Perspective 2024-03-25 Lenore Blum Manuel Blum
Viewpoint: A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence 2023-01-01 Lenore Blum Manuel Blum
A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine 2022-05-20 Lenore Blum Manuel Blum
A Theoretical Computer Science Perspective on Free Will 2022-01-01 Lenore Blum Manuel Blum
+
A Brief History of the Association for Women in Mathematics: The Presidents’ Perspectives (The First Twenty Years) 2022-01-01 Lenore Blum
A Theoretical Computer Science Perspective on Consciousness 2021-03-01 Manuel Blum Lenore Blum
+
A Theoretical Computer Science Perspective on Consciousness 2020-11-18 Manuel Blum Lenore Blum
A Theoretical Computer Science Perspective on Consciousness 2020-01-01 Manuel Blum Lenore Blum
+
Algebraic Settings for the Problem “P ≠ NP?” 2000-06-01 Lenore Blum Felipe Cucker M. Shub Steve Smale
+
<i>Julia, A Life in Mathematics.</i> By Constance Reid 1998-12-01 Lenore Blum
+
Julia, A Life in Mathematics. 1998-12-01 Lenore Blum Constance Reid
+
Bézout’s Theorem 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
Computation over a Ring 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
Algebraic Settings for the Problem “P ≠ NP?” 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
The Condition Number for Nonlinear Problems 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
Condition Numbers and the Loss of Precision of Linear Equations 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
Linear Programming 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
Fundamental Theorem of Algebra: Complexity Aspects 1998-01-01 Lenore Blum Felipe Cucker Michael Shub Steve Smale
+
The Gödel Incompleteness Theorem and Decidability over a Ring 1993-01-01 Lenore Blum Steve Smale
On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines 1989-01-01 Lenore Blum M. Shub Steve Smale
+
A new simple homotopy algorithm for linear programming I 1988-06-01 Lenore Blum
+
On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract) 1988-01-01 Lenore Blum M. Shub Steve Smale
+
Towards an asymptotic analysis of Karmarkar's algorithm 1986-11-01 Lenore Blum
+
Evaluating Rational Functions: Infinite Precision is Finite Cost and Tractable on Average 1986-05-01 Lenore Blum Michael Shub
+
Evaluating Rational Functions: Infinite Precision is Finite Cost and Tractable on Average (Extended Abstract) 1984-01-01 Lenore Blum M. Shub
+
Increasing the Participation of Women in Fields that use Mathematics 1980-12-01 Lenore Blum Steven Givant
+
Contribution to the Ellipsoid Algorithm 1980-06-20 Lenore Blum Péter Gács Leonid A. Levin

Commonly Cited References

Action Title Date Authors # of times referenced
+
Computational complexity of real functions 1982-07-01 Ker‐I Ko Harvey M. Friedman 3
Arithmetic on curves 1986-01-01 Barry Mazur 2
+
Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solution 1976-01-01 Martin Davis Yuri Matijasevič Julia Robinson 2
+
Proving simultaneous positivity of linear forms 1972-12-01 Michael O. Rabin 2
The Diophantine problem for polynomial rings and fields of rational functions 1978-01-01 J. Denef 2
A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine 2022-05-20 Lenore Blum Manuel Blum 2
+
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I 1931-12-01 Kurt Gödel 2
+
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I 2006-09-01 Kurt Gödel 2
+
A Decision Method for Elementary Algebra and Geometry 1951-12-31 Alfred Tarski J. C. C. McKinsey 2
+
Diophantine Sets Over Z[ T ] 1978-04-01 Jan Denef 2
Invariant sets under iteration of rational functions 1965-09-01 Hans Brolin 2
+
Complexity theory on real numbers and functions 2006-01-25 Christoph Kreitz Klaus Weihrauch 2
Lipschitz Continuity of Solutions of Linear Inequalities, Programs and Complementarity Problems 1987-05-01 O. L. Mangasarian T.-H. Shiau 1
+
On the average number of steps of the simplex method of linear programming 1983-10-01 Steve Smale 1
+
Hilbert's Tenth Problem is Unsolvable 1973-03-01 Martin Davis 1
+
Extensions of Hilbert's tenth problem 1994-06-01 Thanases Pheidas 1
+
Definability and decision problems in arithmetic 1949-06-23 Julia Robinson 1
Algebras over infinite fields 1956-02-01 A. S. Amitsur 1
+
<i>Computational Complexity</i>: On the Geometry of Polynomials and a Theory of Cost: II 1986-02-01 M. Shub S. Smale 1
+
Towards an asymptotic analysis of Karmarkar's algorithm 1986-11-01 Lenore Blum 1
American Mathematical Monthly 2010-01-01 Daniel J. Velleman 1
Ordered rings over which output sets are recursively enumerable sets 1991-01-01 Christian Michaux 1
Computable algebra, general theory and theory of computable fields. 1960-01-01 Michael O. Rabin 1
+
The Solution of Systems of Piecewise Linear Equations 1976-02-01 B. Curtis Eaves Herbert E. Scarf 1
+
Complex analytic dynamics on the Riemann sphere 1984-01-01 Paul Blanchard 1
On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines 1989-01-01 Lenore Blum M. Shub Steve Smale 1
+
Computability Over Arbitrary Fields 1970-01-01 Gábor T. Herman Stephen Isard 1
+
Topological complexity of a root finding algorithm 1989-09-01 Myong-Hi Kim 1
+
Elimination of quantifiers in algebraic structures 1983-01-01 Angus Macintyre K.F. McKenna Lou van den Dries 1
+
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 (1965), pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 (1965), pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 (1966), pp. 437–456. 1971-12-01 Abraham Robinson 1
On the real spectrum of a ring and its application to semialgebraic geometry 1986-01-01 Eberhard Becker 1
+
A Theory on Extending Algorithms for Parametric Problems 1989-08-01 B. Curtis Eaves Uriel G. Rothblum 1
+
Alfred Tarski's elimination theory for real closed fields 1988-03-01 Lou van den Dries 1
+
Hilbert's Tenth Problem. 1995-04-01 Martin Davis Yuri Matiyasevich 1
The fundamental theorem of algebra and complexity theory 1981-01-01 Steve Smale 1
+
Evaluating Rational Functions: Infinite Precision is Finite Cost and Tractable on Average 1986-05-01 Lenore Blum Michael Shub 1
+
Women in the American Mathematical Community: The Pre-1940 Ph.D.’s 1987-03-01 Judy Green Jeanne LaDuke 1
+
The Autobiography of Julia Robinson 1986-01-01 Constance Reid 1
+
Diophantine Problems Over Local Fields: III. Decidable Fields 1966-05-01 James Ax Simon Kochen 1
+
Diophantine Problems Over Local Fields II. A Complete Set of Axioms for p-Adic Number Theory 1965-07-01 James Ax Simon Kochen 1
+
An Unsolvable Problem of Elementary Number Theory 1936-04-01 Alonzo Church 1
+
Sur L'Homologie des Varietes Algebriques Réelles 1965-12-31 René Thom 1
+
Mental compression of spatial sequences in human working memory using numerical and geometrical primitives 2020-01-17 Fosca Al Roumi Sébastien Marti Liping Wang Marie Amalric Stanislas Dehaene 1
+
The Decision Problem for Exponential Diophantine Equations 1961-11-01 Martin Davis Hilary Putnam Julia Robinson 1
A Theoretical Computer Science Perspective on Consciousness 2021-03-01 Manuel Blum Lenore Blum 1
+
Diophantine Problems Over Local Fields I 1965-07-01 James Ax Simon Kochen 1
Deep learning and the Global Workspace Theory 2021-05-14 Rufin VanRullen Ryota Kanai 1
+
Foundations of Algebraic Topology 1952-12-31 Samuel Eilenberg Norman Steenrod 1
Brainish: Formalizing A Multimodal Language for Intelligence and Consciousness 2022-01-01 Paul Pu Liang 1
On the Betti Numbers of Real Varieties 1964-04-01 J. Milnor 1