Jacob T. Schwartz

Jacob T. Schwartz's AcademicInfluence.com Rankings

Jacob T. Schwartz

Mathematics

#141

World Rank

#340

Historical Rank

#61

USA Rank

Measure Theory

#554

World Rank

#775

Historical Rank

#230

USA Rank

mathematics Degrees

Jacob T. Schwartz

Computer Science

#347

World Rank

#360

Historical Rank

#199

USA Rank

computer-science Degrees

Download Badge

Mathematics
Computer Science

Jacob T. Schwartz's Degrees

PhD Mathematics Columbia University

Why Is Jacob T. Schwartz Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jacob Theodore "Jack" Schwartz was an American mathematician, computer scientist, and professor of computer science at the New York University Courant Institute of Mathematical Sciences. He was the designer of the SETL programming language and started the NYU Ultracomputer project. He founded the New York University Department of Computer Science, chairing it from 1964 to 1980.

(See a Problem?)

Jacob T. Schwartz's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Linear Operators. Part I: General Theory. (1960) (3220)
The Mathematical Theory of Viscous Incompressible Flow (1972) (3047)
Fast Probabilistic Algorithms for Verification of Polynomial Identities (1980) (1739)
On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds (1983) (925)
Linear operators. Part II. Spectral theory (2003) (599)
On the “piano movers'” problem I. The case of a two‐dimensional rigid polygonal body moving amidst polygonal barriers (1983) (506)
Nonlinear Functional Analysis (1969) (457)
Programming with Sets: An Introduction to SETL (1986) (392)
Spectral theory : self adjoint operators in Hilbert space (1963) (383)
Affine invariant model-based object recognition (1990) (350)
Object recognition by affine invariant matching (2011) (326)
On the Piano Movers' Problem: III. Coordinating the Motion of Several Independent Bodies: The Special Case of Circular Bodies Moving Amidst Polygonal Barriers (1983) (314)
On the existence and synthesis of multifinger positive grips (2015) (267)
Identification of Partially Obscured Objects in Two and Three Dimensions by Matching Noisy Characteristic Curves (1987) (262)
Planning, geometry, and complexity of robot motion (1986) (253)
On the Complexity of Motion Planning for Multiple Independent Objects; PSPACE- Hardness of the "Warehouseman's Problem" (1984) (240)
A Survey of Motion Planning and Related Geometric Algorithms (1988) (180)
Two-Dimensional, Model-Based, Boundary Matching Using Footprints (1986) (177)
An Automatic Technique for Selection of Data Representations in SETL Programs (1981) (130)
Programming with Sets (1986) (130)
On recognition of 3-D objects from 2-D images (2011) (129)
Lie Groups; Lie Algebras (1968) (122)
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage (1979) (109)
Generalizing the Lusternik-Schnirelman theory of critical points (1964) (107)
Algorithmic and geometric aspects of robotics (1987) (104)
On programming : an interim report on the SETL Project (1973) (93)
Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions (1980) (85)
Annotating large genomes with exact word matches. (2003) (84)
Automatic data structure choice in a language of very high level (1975) (82)
Differential geometry and topology (1968) (72)
Convergence Almost Everywhere of Operator Averages (1956) (72)
Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries (1975) (68)
On Nash's implicit functional theorem (1960) (67)
Finding the Minimum Distance Between Two Convex Polygons (1981) (66)
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (2011) (62)
Perturbations of spectral operators, and applications. I. Bounded perturbations. (1954) (62)
Dynamics of a rigid body in frictional contact with rigid walls: Motion in two dimensions (1987) (57)
Experience with the SETL Optimizer (1983) (55)
Computational Logic and Set Theory - Applying Formalized Logic to Analysis (2011) (51)
Automatic data structure selection in SETL (1979) (50)
Metamathematical extensibility for theorem verifiers and proof-checkers☆ (1979) (45)
Probabilistic algorithms for verification of polynomial identities (invited) (1979) (42)
Networks and algorithms for very-large-scale parallel computation (2011) (42)
On the Two-Dimensional Davenport Schinzel Problem (2018) (41)
CONVERGENCE ALMOST EVERYWHERE OF OPERATOR AVERAGES. (1955) (41)
A note on monte carlo primality tests and algorithmic information theory (1978) (40)
Precise Implementation of Cad Primitives using Rational Parameterizations of Standard Surfaces (1984) (39)
Lectures on the Mathematical Method in Analytical Economics (1961) (39)
Lectures on the Mathematical Method in Analytical Economics (1961) (39)
An introduction to the set theoretical language SETL (1975) (38)
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory (2002) (35)
A vector-valued random ergodic theorem (1957) (33)
A Computerized Referee (2006) (32)
Decision Procedures for Some Fragments of Set Theory (1980) (29)
Notes from the Logbook of a Proof-Checker's Project (2003) (27)
Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership (1975) (26)
Discrete thoughts: Essays on mathematics, science, and philosophy (1986) (23)
T-Theorem Proving I (1995) (22)
Object recognition by three‐dimensional curve matching (1986) (19)
Advances in robotics: Algorithmic and geometric aspects of robotics. Volume 1 (1986) (18)
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets (1990) (17)
Theoretical and experimental studies using a multifinger planar manipulator (1988) (16)
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator (2015) (16)
Introduction to matrices and vectors (1973) (16)
Higher level programming : introduction to the use of the set-theoretic programming language SETL (1981) (16)
SHARER, a time sharing system for the CDC 6600 (1967) (13)
Reduction in Strength of High Level Operations (1977) (12)
CHAPTER 8 – Algorithmic Motion Planning in Robotics (1990) (12)
On the lower envelope of bivariate functions and its applications (1987) (11)
Automatic and semiautomatic optimization of SETL (1974) (10)
Husserl and the Reform of Logic (1992) (10)
Reusability of design for large software systems: and experiment with the SETL optimizer (1989) (10)
Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator (2015) (8)
Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs (2011) (8)
Another proof of E. Hopf's ergodic lemma (1959) (8)
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case (2003) (8)
America's economic-technological agenda for the 1990s (1993) (7)
Various commonly occurring decidable extensions of multi-level syllogistic (2003) (7)
The setl language and examples of its use (1975) (7)
Relativity in Illustrations (1962) (6)
ON MAUTNER'S EIGENFUNCTION EXPANSION. (1956) (6)
Misreading the History of Mathematics (1992) (6)
Differential geometry and topology, 1965-1966 (1966) (6)
On Generators of the Banach Algebras l 1 and L 1 (0 (1963) (5)
On generators of the Banach algebras ₁ and ₁(0,∞) (1963) (5)
Mathematics as a Tool for Economic Understanding (1978) (5)
Spectral operators : self adjoint operators in Hilbert space (1988) (5)
Finding effective “force targets” for two-dimensional, multifinger frictional grips (2015) (5)
What programmers should know (1975) (4)
Mathematical Aspects of Computer Science, Vol. 19 (1969) (4)
The Use of Mathematics in Economics (1965) (4)
Motion Planning and Related Geometric Algorithms in Robotics (2010) (4)
Experimental Implementation of a Ratio Image Depth Sensor (1986) (3)
Advances in robotics. Volume 1:: Algorithmic and geometric issues (1987) (3)
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching (2006) (3)
The Interplay Between Mathematics And Computer Science (1978) (3)
Decision Algorithms for Some Fragments of Analysis and Related Areas (2018) (3)
More Discrete Thoughts (1992) (3)
Improved shape-signature and matching methods for model-based robotic vision (1987) (2)
Economics, Mathematical and Empirical (1992) (2)
A remark on morse theory (1966) (2)
A note on extending decision algorithms by stable predicates (1990) (2)
Representations of the algebra of all operators in hilbert space, and related analytic function algebras (2010) (1)
EIGEN OPERATORS OF ERGODIC TRANSFORMATIONS^) (2010) (1)
Structuring Large SETL Programs (1986) (1)
Large-Scale Parallel Computers (1984) (1)
Gian-Carlo Rota ( 1932 – 1999 ) (1999) (1)
Self-applied proof verication (Extended abstract) ? (2007) (1)
Mathematics and Its History (1992) (1)
Statistics and Its History (1992) (0)
The Language in Action: A Gallery of Programming Examples (1986) (0)
ON GENERATORS OF THE BANACH ALGEBRA L SUB 1 (0, INFINITIVE) AND RELATED QUESTIONS (1960) (0)
Compound Data Types and Operators (1986) (0)
Internal, External, and Pragmatic Influences: Technical Perspectives in the Development of Programming Languages (2011) (0)
Program Development, Testing, and Debugging (1986) (0)
Linear Operators . Richard G. Cooke. Macmillan, London; St Martin's Press, New York, 1953. 454 pp. $10 (1954) (0)
LECTURE 15 PROOF OF THE EXISTENCE OF WALRASIAN EQUILIBRIUM (2016) (0)
Input/Output and Communication with the Environment (1986) (0)
Propositional- and Predicate-Calculus Preliminaries (2011) (0)
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning (1987) (0)
ON GENERATORS OF THE BANACH ALGEBRAS (2010) (0)
A Survey of Inference Mechanisms (2011) (0)
ON THE BASIS PROBLEM IN NORMED SPACES1 (1961) (0)
A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions (2015) (0)
Algorithmic Information Theory: Foreword (1987) (0)
Tran Compilers by Using the Task-parallel Language For- Tran M to Coordinate Data-parallel Hpf Tasks. Fortran Exploiting Task and Data Paral- Lelism on a Multicomputer. in Fourth Acm Sig- Plan Symposium on Principles and Practice Of (0)
I261 References (0)
C Composing Grasp Functions (2004) (0)
Introduction to matrices and vectors / Jacob T. Schwartz (1961) (0)
LECTURE 1 INTRODUCTION AND OUTLINE (2016) (0)
Simple Data Types, Expressions, and Operations (1986) (0)
Semantic and syntactic issues in programming (1974) (0)
A Self-contained Beginning for Ref’s Main Proof Scenario (2011) (0)
Computer-Aided Instruction (1992) (0)
The problems of programming and the design of programming languages (1975) (0)
A Fast Switch (1976) (0)
On generators of the Banach algebras $l\sb{1}$ and $L\sb{1}(0,\,\infty )$ (1963) (0)
The Future of Computer Science (1992) (0)
Computing and Its History (1992) (0)
Undecidability and Unsolvability (2011) (0)
Gian-carlo Rota (1 93 2-1 999) February 2000 Notices of the a M S David A. Buchsbaum the Straightening Formula and the First and Second Fundamental Theorems (2000) (0)
LOWER BOUNDS FOR GEOMETRICAL AND PHYSICALPROBLEMSJ URGEN SELLEN (1996) (0)
LECTURE SERIES IN DIFFERENTIAL EQUATIONS. SESSION 3. BOUNDARY VALUE PROBLEMS. (1966) (0)
The Solovay – Strassen and Miller – Rabin Algorithms (1978) (0)
More on the Structure of the Verifier System (2011) (0)
Will Computers Replace Humans (1992) (0)
Scription, Speciication and Planning, Tech- Nical Report Experiment 4. Control of a D.c. Motor. Experiment 5. Robot Arm Dynamics and Control. Experiment 1: System Familiarization And (0)
Sturm Type Theorems for Differential Equations of Ar- bitrary Order with Operator-Valued Coefficients (2013) (0)
BOOK AND FILM REVIEWS: Relativity in Illustrations (1964) (0)
Doing Away with Science (1992) (0)
Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program Verification (2018) (0)
Theory of Money (2017) (0)
The Data Representation Sublanguage (1986) (0)
The Wonderful World of Uncle Stan (1992) (0)
LECTURE 3 THEORY OF PRICES IN THE OPEN LEONTIEF MODEL. SOME STATISTICS (2016) (0)
A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book (2011) (0)

This paper list is powered by the following services:

Other Resources About Jacob T. Schwartz

en.wikipedia.org

What Schools Are Affiliated With Jacob T. Schwartz?

Jacob T. Schwartz is affiliated with the following schools:

Jacob T. Schwartz's Academic­Influence.com Rankings

Jacob T. Schwartz's Degrees

Why Is Jacob T. Schwartz Influential?

Jacob T. Schwartz's Published Works

Published Works

Other Resources About Jacob T. Schwartz

What Schools Are Affiliated With Jacob T. Schwartz?

Jacob T. Schwartz's AcademicInfluence.com Rankings