WorldCat Identities

Schwartz, Jacob T.

Overview
Works: 199 works in 927 publications in 6 languages and 10,751 library holdings
Genres: Popular works  Bibliography  History  Conference papers and proceedings 
Roles: Author, Editor, Collector, Other
Publication Timeline
.
Most widely held works by Jacob T Schwartz
Discrete thoughts : essays on mathematics, science, and philosophy by Mark Kac( Book )

54 editions published between 1986 and 2008 in 3 languages and held by 1,265 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 )

82 editions published between 1957 and 2010 in 3 languages and held by 1,228 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 )

37 editions published between 1961 and 2012 in 3 languages and held by 755 WorldCat member libraries worldwide

Follows the adventures of a cuckoo-clock cuckoo who, after escaping from his clock, finds that he can't get back in
Relativity in illustrations by Jacob T Schwartz( Book )

21 editions published between 1962 and 2013 in 3 languages and held by 652 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 fromhigh school-level geometry, utilizing more than 60 drawings toilluminate profound yet often simple ideas
Nonlinear functional analysis by Jacob T Schwartz( Book )

41 editions published between 1964 and 1987 in 3 languages and held by 645 WorldCat member libraries worldwide

Lie groups, Lie algebras by Melvin Hausner( Book )

24 editions published between 1959 and 1989 in English and Undetermined and held by 622 WorldCat member libraries worldwide

Differential geometry and topology by Jacob T Schwartz( Book )

27 editions published between 1966 and 2000 in 3 languages and held by 544 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

Computational logic and set theory : applying formalized logic to analysis by Jacob T Schwartz( )

17 editions published between 2005 and 2014 in English and Undetermined and held by 445 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 must-read 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. Topics and features: With a Foreword by Dr. Martin Davis, Professor Emeritus of the Courant Institute of Mathematical Sciences, New York University Describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics Presents an unique system for automated proof verification on the large scale Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers Includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma This ground-breaking work is essential reading for researchers and advanced graduates of computer science
Lectures on the mathematical method in analytical economics by Jacob T Schwartz( Book )

16 editions published between 1961 and 2018 in English and held by 434 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"--
Programming with sets : an introduction to SETL by Jacob T Schwartz( Book )

13 editions published in 1986 in English and held by 400 WorldCat member libraries worldwide

Mathematical aspects of computer science by American Mathematical Society( Book )

21 editions published between 1966 and 1988 in English and Undetermined and held by 390 WorldCat member libraries worldwide

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

Theory of money by Jacob T Schwartz( Book )

23 editions published between 1965 and 2017 in English and held by 302 WorldCat member libraries worldwide

Cover -- Half Title Page -- Title Page -- Copyright Page -- Original Title Page -- Original Copyright Page -- Preface -- Contents -- Lecture 19 Additional General Reflections On Keynesian Economics II. Theprice Level In Money Terms -- Some Generalities -- Price Policy In Inflationary And Deflationary Circumstances -- A Model Of Market Imperfections -- Empirical Data-Wages And Prices -- Remarks On Interest Rates-Long And Short Term -- Empirical Data: Prices And Monetary Conditions -- Addendum-Some Remarks On Investment -- Lecture 20 A Model Of The Price-Production Cycle -- Description Of The Model -- "Adiabatic" Approximation -- Aggregation -- Description Of The Aggregate Cycle, Rough Estimation Of Parameters -- Lecture 21 The Hyperinflationary Case -- Behavior Of Prices For M→ ∞ -- Behavior of Prices for Finite M-QuantityTheory of Prices -- Addendum: The Short-Term Rate Of Interest -- Addendum: The Price Theory of Keynes' "General Theory" from the Point of View of the Present Lectures -- Addendum: A Multi-Sector Price Theory Model Based On Imperfections Of Production -- Lecture 22 Rates Of Exchange -- Elementary Theory, Currency Controls -- Bilateral Tariffs -- Some Inessential Emendations And Some Remarks -- Multilateral Trade -- Appendix 1 Remarks On Mathematical Economics And Economics Generally -- Appendix 2 Estimated Multipliers For Tax Cuts Of Various Forms (Supplement To Lecture 18, Lectures On The Mathematical Method In Analytical Economics, For The End Of Section 18.5, Page 275.) -- Index
Linear operators by Nelson Dunford( Book )

52 editions published between 1957 and 1988 in English and Undetermined and held by 243 WorldCat member libraries worldwide

Algorithmic and geometric aspects of robotics( Book )

14 editions published between 1986 and 2016 in English and Undetermined and held by 225 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 Geometry-A User's Guide -- 1. Introduction -- 2. Hierarchical Search -- 3. Hierarchical Computation
Programming languages and their compilers : preliminary notes by W. J Cocke( Book )

15 editions published between 1969 and 1970 in English and held by 222 WorldCat member libraries worldwide

Planning, geometry, and complexity of robot motion( Book )

10 editions published between 1986 and 1987 in English and held by 211 WorldCat member libraries worldwide

Linear operators by Nelson Dunford( Book )

44 editions published between 1963 and 1988 in English and Italian and held by 166 WorldCat member libraries worldwide

On programming; an interim report on the SETL Project by Jacob T Schwartz( Book )

20 editions published between 1973 and 1975 in English and held by 162 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.34 for Relativity ... to 0.87 for Linear ope ...)

WorldCat IdentitiesRelated Identities
Discrete thoughts : essays on mathematics, science, and philosophy
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 US-amerikanischer Mathematiker

Jacob T. Schwartz US-amerikanischer Mathematiker und Informatiker

Jacob Theodore Schwartz

Schwartz, J.

Schwartz, J.T.

Schwartz, J. T. 1930-2009

Schwartz, J. T. (Jacob T.)

Schwartz, J. T. (Jacob Theodore), 1930-2009

Schwartz, Jack 1930-2009

Schwartz, Jacob 1930-2009

Schwartz, Jacob T.

Schwartz, Jacob T. 1929-2009

Schwartz, Jacob Theodore.

Schwartz, Jacob Theodore 1930-2009

Švarc, Dž.

Svarc, Dž 1930-2009

Švarc, Dž. T.

Švarc, Dž. T. 1930-2009

Švarc, Džekob T. 1930-2009

Джекоб Шварц американский математик и информатик

Шварц, Дж..

جاکوب تی. شوارتز ریاضی‌دان آمریکایی

Languages
Covers
Linear operatorsIntroduction to matrices and vectorsRelativity in illustrationsNonlinear functional analysisComputational logic and set theory : applying formalized logic to analysisLinear operatorsPlanning, geometry, and complexity of robot motionLinear operators