The following pages link to Jacob T. Schwartz (Q556679):
Displayed 50 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds (Q760006) (← links)
- (Q810490) (redirect page) (← links)
- Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs (Q810491) (← links)
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608) (← links)
- A survey of motion planning and related geometric algorithms (Q1123032) (← links)
- Metamathematical extensibility for theorem verifiers and proof-checkers (Q1131849) (← links)
- Finding effective ``Force targets'' for two-dimensional, multifinger frictional grips (Q1188112) (← links)
- (Q1228193) (redirect page) (← links)
- An introduction to the set theoretical language SETL (Q1228194) (← links)
- \(T\)-theorem proving. I (Q1914165) (← links)
- Discrete thoughts. Essays on mathematics, science, and philosophy. Revised and corrected edition with the assistance of Peter Renz (Q2468815) (← links)
- On the two-dimensional Davenport-Schinzel problem (Q2638785) (← links)
- Perturbations of spectral operators, and applications. I. Bounded perturbations (Q2652037) (← links)
- (Q2756725) (← links)
- (Q3028378) (← links)
- On the “piano movers'” problem I. The case of a two-dimensional rigid polygonal body moving amidst polygonal barriers (Q3217189) (← links)
- On the piano movers' problem: V. The case of a rod moving in three-dimensional space amidst polyhedral obstacles (Q3217190) (← links)
- Weak Compactness and Vector Measures (Q3229648) (← links)
- ON MAUTNER'S EIGENFUNCTION EXPANSION (Q3232551) (← links)
- Riemann’s method in the theory of special functions (Q3237306) (← links)
- (Q3240490) (← links)
- A Vector-Valued Random Ergodic Theorem (Q3252173) (← links)
- (Q3254057) (← links)
- Another proof of E. Hopf's ergodic lemma (Q3261645) (← links)
- (Q3264436) (← links)
- Some non-selfadjoint operators (Q3274372) (← links)
- Some non-selfadjoint operators II. A family of operators yielding to Friedrichs' method (Q3282225) (← links)
- Free Quantized Lorentzian Fields (Q3287093) (← links)
- On spectral operators in Hilbert space with compact imaginary part (Q3290885) (← links)
- A remark on inequalities of Calderon-Zygmund type for vector-valued functions (Q3291772) (← links)
- (Q3437734) (← links)
- (Q3489977) (← links)
- (Q3629625) (← links)
- (Q3682458) (← links)
- Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator (Q3705420) (← links)
- (Q3721314) (← links)
- (Q3728849) (← links)
- (Q3741005) (← links)
- Decision algorithms for some fragments of analysis and related areas (Q3803084) (← links)
- (Q3832091) (← links)
- Subdiagonalization of operators in Hilbert space with compact imaginary part (Q3846476) (← links)
- Some results on the spectra and spectral resolutions of a class of singular integral operators (Q3847200) (← links)
- Compact positive mappings in Lebesgue spaces (Q3847690) (← links)
- (Q3862391) (← links)
- An Automatic Technique for Selection of Data Representations in SETL Programs (Q3899465) (← links)
- Fast Probabilistic Algorithms for Verification of Polynomial Identities (Q3899517) (← links)
- Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions (Q3900014) (← links)
- (Q3905254) (← links)
- Programming by Refinement, as Exemplified by the SETL Representation Sublanguage (Q3914400) (← links)