Schwartz, Jacob T.
Overview
Works:  235 works in 1,005 publications in 5 languages and 10,905 library holdings 

Genres:  Popular works Bibliography Conference papers and proceedings History 
Roles:  Author, Editor, Other, Collector 
Publication Timeline
.
Most widely held works by
Jacob T Schwartz
Discrete thoughts : essays on mathematics, science, and philosophy by
Mark Kac(
Book
)
50 editions published between 1986 and 2008 in English and held by 1,238 WorldCat member libraries worldwide
This is a volume of essays and reviews that delightfully explores mathematics in all its moods from the light and the witty, and humorous to serious, rational, and cerebral. These beautifully written articles from three great modern mathematicians will provide a source for supplemental reading for almost any math class. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and broad applications of mathematics. Readers will also find coverage of history and philosophy, including discussion of the work of Ulam, Kant, and Heidegger, among others
50 editions published between 1986 and 2008 in English and held by 1,238 WorldCat member libraries worldwide
This is a volume of essays and reviews that delightfully explores mathematics in all its moods from the light and the witty, and humorous to serious, rational, and cerebral. These beautifully written articles from three great modern mathematicians will provide a source for supplemental reading for almost any math class. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and broad applications of mathematics. Readers will also find coverage of history and philosophy, including discussion of the work of Ulam, Kant, and Heidegger, among others
Linear operators by
Nelson Dunford(
Book
)
65 editions published between 1957 and 2010 in 4 languages and held by 1,136 WorldCat member libraries worldwide
V.1. General theory. v.2. Spectral theory; self adjoint operators in Hilber Spa ce. v.3. Spectral perators
65 editions published between 1957 and 2010 in 4 languages and held by 1,136 WorldCat member libraries worldwide
V.1. General theory. v.2. Spectral theory; self adjoint operators in Hilber Spa ce. v.3. Spectral perators
Introduction to matrices and vectors by
Jacob T Schwartz(
Book
)
38 editions published between 1961 and 2012 in 4 languages and held by 744 WorldCat member libraries worldwide
Concise undergraduate text focuses on problem solving, rather than elaborate proofs. The first three chapters present the basics of matrices, including addition, multiplication, and division. In later chapters the author introduces vectors and shows how to use vectors and matrices to solve systems of linear equations. 1961 edition. 20 blackandwhite illustrations
38 editions published between 1961 and 2012 in 4 languages and held by 744 WorldCat member libraries worldwide
Concise undergraduate text focuses on problem solving, rather than elaborate proofs. The first three chapters present the basics of matrices, including addition, multiplication, and division. In later chapters the author introduces vectors and shows how to use vectors and matrices to solve systems of linear equations. 1961 edition. 20 blackandwhite illustrations
Relativity in illustrations by
Jacob T Schwartz(
Book
)
20 editions published between 1962 and 2013 in 3 languages and held by 644 WorldCat member libraries worldwide
With its answers to questions such as What is time? and What is space?, this clear, nontechnical treatment makes the principles of relativity more accessible to the general reader. The author gradually introduces Einstein's theory in terms of familiar concepts from high schoollevel geometry, utilizing more than 60 drawings to illuminate profound yet often simple ideas
20 editions published between 1962 and 2013 in 3 languages and held by 644 WorldCat member libraries worldwide
With its answers to questions such as What is time? and What is space?, this clear, nontechnical treatment makes the principles of relativity more accessible to the general reader. The author gradually introduces Einstein's theory in terms of familiar concepts from high schoollevel geometry, utilizing more than 60 drawings to illuminate profound yet often simple ideas
Lie groups, Lie algebras by
Melvin Hausner(
Book
)
23 editions published between 1968 and 1989 in English and Undetermined and held by 621 WorldCat member libraries worldwide
23 editions published between 1968 and 1989 in English and Undetermined and held by 621 WorldCat member libraries worldwide
Nonlinear functional analysis by
Jacob T Schwartz(
Book
)
32 editions published between 1964 and 1987 in 3 languages and held by 601 WorldCat member libraries worldwide
32 editions published between 1964 and 1987 in 3 languages and held by 601 WorldCat member libraries worldwide
Differential geometry and topology by
Jacob T Schwartz(
Book
)
28 editions published between 1966 and 2000 in 3 languages and held by 560 WorldCat member libraries worldwide
28 editions published between 1966 and 2000 in 3 languages and held by 560 WorldCat member libraries worldwide
W* algebras by
Jacob T Schwartz(
Book
)
27 editions published between 1967 and 1968 in English and Undetermined and held by 483 WorldCat member libraries worldwide
27 editions published between 1967 and 1968 in English and Undetermined and held by 483 WorldCat member libraries worldwide
Computational logic and set theory : applying formalized logic to analysis by
Jacob T Schwartz(
)
17 editions published between 2005 and 2014 in English and held by 448 WorldCat member libraries worldwide
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This mustread text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed
17 editions published between 2005 and 2014 in English and held by 448 WorldCat member libraries worldwide
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This mustread text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed
Lectures on the mathematical method in analytical economics by
Jacob T Schwartz(
Book
)
17 editions published between 1961 and 2018 in English and Undetermined and held by 441 WorldCat member libraries worldwide
"Early but still useful contribution to the science of mathematical economics explores the Leontif model and the technological basis of production, theory of business cycles, and neoclassical equilibrium theory"
17 editions published between 1961 and 2018 in English and Undetermined and held by 441 WorldCat member libraries worldwide
"Early but still useful contribution to the science of mathematical economics explores the Leontif model and the technological basis of production, theory of business cycles, and neoclassical equilibrium theory"
Mathematical aspects of computer science by
American Mathematical Society(
Book
)
24 editions published between 1966 and 1988 in English and Undetermined and held by 420 WorldCat member libraries worldwide
24 editions published between 1966 and 1988 in English and Undetermined and held by 420 WorldCat member libraries worldwide
Programming with sets : an introduction to SETL by
Jacob T Schwartz(
Book
)
13 editions published in 1986 in English and held by 404 WorldCat member libraries worldwide
The programming language SETL is a relatively new member of the socalled "veryhighlevel" class of languages, some of whose other wellknown members are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, recognized today as a main obstacle to future progress in the computer field, by allowing direct manipulation of large composite objects, considerably more complex than the integers, strings, etc., available in such wellknown mainstream languages as PASCAL, PL/I, ALGOL, and Ada. For this purpose, LISP introduces structured lists as data objects, APL introduces vectors and matrices, and SETL introduces the objects characteristic for it, namely general finite sets and maps. The direct availability of these abstract, composite objects, and of powerful mathematical operations upon them, improves programmer speed and productivity significantly, and also enhances program clarity and readability. The classroom consequence is that students, freed of some of the burden of petty programming detail, can advance their knowledge of significant algorithms and of broader strategic issues in program development more rapidly than with more conventional programming languages
13 editions published in 1986 in English and held by 404 WorldCat member libraries worldwide
The programming language SETL is a relatively new member of the socalled "veryhighlevel" class of languages, some of whose other wellknown members are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, recognized today as a main obstacle to future progress in the computer field, by allowing direct manipulation of large composite objects, considerably more complex than the integers, strings, etc., available in such wellknown mainstream languages as PASCAL, PL/I, ALGOL, and Ada. For this purpose, LISP introduces structured lists as data objects, APL introduces vectors and matrices, and SETL introduces the objects characteristic for it, namely general finite sets and maps. The direct availability of these abstract, composite objects, and of powerful mathematical operations upon them, improves programmer speed and productivity significantly, and also enhances program clarity and readability. The classroom consequence is that students, freed of some of the burden of petty programming detail, can advance their knowledge of significant algorithms and of broader strategic issues in program development more rapidly than with more conventional programming languages
Information, systems, and psychoanalysis : an evolutionary biological approach to psychoanalytic theory by
Emanuel Peterfreund(
Book
)
14 editions published in 1971 in English and held by 387 WorldCat member libraries worldwide
14 editions published in 1971 in English and held by 387 WorldCat member libraries worldwide
Theory of money by
Jacob T Schwartz(
Book
)
20 editions published between 1965 and 2018 in English and held by 290 WorldCat member libraries worldwide
This title, first published in 1965, provides an analysis of the forces and mechanisms governing the formation of the overall level of money prices. Even though this problem has a long history, and in spite of its obvious practical importance, it remains one of the most poorly understood questions in economic theory. This title will be of interest to students of monetary economics and the history of economic thought
20 editions published between 1965 and 2018 in English and held by 290 WorldCat member libraries worldwide
This title, first published in 1965, provides an analysis of the forces and mechanisms governing the formation of the overall level of money prices. Even though this problem has a long history, and in spite of its obvious practical importance, it remains one of the most poorly understood questions in economic theory. This title will be of interest to students of monetary economics and the history of economic thought
Algorithmic and geometric aspects of robotics(
Book
)
15 editions published between 1986 and 2016 in English and held by 233 WorldCat member libraries worldwide
Cover  Title  Copyright  Original Title  Original Copyright  Contents  Preface  Introduction  1. Why Robotics?  2. An Overview of the Contents of the Volume  3. Brief Review of Standard Terminology  1. The Challenge of Robotics for Computer Science  1. What is Robotics?  2. A New Science  3. Representations for Physical Objects and Processes  4. Manipulating Object Representations  5. Reasoning  6. Conclusions  References  2. Computational GeometryA User's Guide  1. Introduction  2. Hierarchical Search  3. Hierarchical Computation
15 editions published between 1986 and 2016 in English and held by 233 WorldCat member libraries worldwide
Cover  Title  Copyright  Original Title  Original Copyright  Contents  Preface  Introduction  1. Why Robotics?  2. An Overview of the Contents of the Volume  3. Brief Review of Standard Terminology  1. The Challenge of Robotics for Computer Science  1. What is Robotics?  2. A New Science  3. Representations for Physical Objects and Processes  4. Manipulating Object Representations  5. Reasoning  6. Conclusions  References  2. Computational GeometryA User's Guide  1. Introduction  2. Hierarchical Search  3. Hierarchical Computation
Programming languages and their compilers : preliminary notes by
W. J Cocke(
Book
)
16 editions published between 1969 and 1970 in English and Undetermined and held by 221 WorldCat member libraries worldwide
16 editions published between 1969 and 1970 in English and Undetermined and held by 221 WorldCat member libraries worldwide
Planning, geometry, and complexity of robot motion(
Book
)
11 editions published between 1986 and 1987 in English and held by 211 WorldCat member libraries worldwide
11 editions published between 1986 and 1987 in English and held by 211 WorldCat member libraries worldwide
On programming; an interim report on the SETL Project by
Jacob T Schwartz(
Book
)
22 editions published between 1973 and 1975 in English and held by 164 WorldCat member libraries worldwide
22 editions published between 1973 and 1975 in English and held by 164 WorldCat member libraries worldwide
Algebraic number theory by
Jacob T Schwartz(
Book
)
14 editions published in 1961 in 3 languages and held by 152 WorldCat member libraries worldwide
14 editions published in 1961 in 3 languages and held by 152 WorldCat member libraries worldwide
Linear operators by
Nelson Dunford(
Book
)
28 editions published between 1963 and 1988 in English and Italian and held by 113 WorldCat member libraries worldwide
28 editions published between 1963 and 1988 in English and Italian and held by 113 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Dunford, Nelson Author
 Rota, GianCarlo 19321999 Author
 Kac, Mark Author
 Hausner, Melvin 1928 Author
 Roitberg, Joseph Other
 Naoum, Adil Other Redactor
 Newman, Harry Editor
 Cantone, Domenico Author
 Omodeo, Eugenio
 Bade, William G. Other Editor Collector Contributor
Useful Links
Associated Subjects
Algebraic number theory Algebras, Linear Compilers (Computer programs) Compiling (Electronic computers) Computer programming Computer scienceMathematics Continuous groups Dreams Economics, Mathematical Engineering mathematics Fiber bundles (Mathematics) Formal languages Functional analysis Game theory Geometry, Differential Hilbert space History Homology theory Human information processing Information theory in psychology Lie algebras Lie groups Linear operators Logic, Symbolic and mathematical Machine theory Mathematical analysis Mathematics MathematicsData processing Matrices MoneyPhilosophy Nonassociative algebras Nonlinear functional analysis Nonlinear theories Number theory Philosophy Programming languages (Electronic computers) Psychoanalysis Relativity Relativity (Physics) Robotics RobotsMotion Robot vision Science SETL (Computer program language) Set theory Spectral theory (Mathematics) Topology Vector analysis Vector spaces Von Neumann algebras
Covers
Alternative Names
Jack Schwartz Amerikaans wiskundige
Jacob Schwartz matematico e informatico statunitense
Jacob T. Schwartz amerikansk matematikar
Jacob T. Schwartz amerikansk matematiker
Jacob T. Schwartz mathématicien américain
Jacob T. Schwartz USamerikanischer Mathematiker
Jacob T. Schwartz USamerikanischer Mathematiker und Informatiker
Jacob Theodore Schwartz
Schwartz, J.
Schwartz J.T.
Schwartz, J. T. 19302009
Schwartz, J. T. (Jacob T.)
Schwartz, J. T. (Jacob Theodore), 19302009
Schwartz, Jack
Schwartz, Jack 19302009
Schwartz, Jacob 19302009
Schwartz, Jacob T.
Schwartz, Jacob T. 19292009
Schwartz, Jacob Theodore.
Schwartz, Jacob Theodore 19302009
Švarc, Dž.
Svarc, Dž 19302009
Švarc, Dž. T.
Švarc, Dž. T. 19302009
Švarc, Džekob T. 19302009
Джекоб Шварц американский математик и информатик
Шварц, Дж..
Шварц Джекоб
جاكوب تي. شفارتز
جاکوب تی. شوارتز ریاضیدان آمریکایی
Languages