The following pages link to Jacob T. Schwartz (Q6482611):
Displaying 1 item.
- (Q556679) (redirect page) (← links)
- 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)
- Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions (Q3916545) (← links)
- Ultracomputers (Q3922148) (← links)
- Experience with the SETL Optimizer (Q3964000) (← links)
- (Q4039882) (← links)
- (Q4039883) (← links)
- (Q4039884) (← links)
- (Q4069751) (← links)
- Semantic and syntactic issues in programming (Q4076741) (← links)
- Automatic data structure choice in a language of very high level (Q4077428) (← links)
- (Q4080710) (← links)
- (Q4124291) (← links)
- Optimization of very high level languages—I (Q4134944) (← links)
- Optimization of very high level languages—II. Deducing relationships of inclusion and membership (Q4134945) (← links)
- (Q4136499) (← links)
- A Fast Switch (Q4141142) (← links)
- A note on monte carlo primality tests and algorithmic information theory (Q4186204) (← links)
- (Q4281682) (← links)
- (Q4385513) (← links)
- (Q4623450) (← links)
- (Q4707766) (← links)
- (Q4724471) (← links)
- (Q4769500) (← links)
- A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto del (Q4916221) (← links)
- (Q5180362) (← links)
- (Q5182693) (← links)
- Computational Logic and Set Theory (Q5198513) (← links)
- Verification: Theory and Practice (Q5305641) (← links)
- Compact analytic mappings of B‐spaces and a theorem of Jane Cronin (Q5328384) (← links)
- (Q5336643) (← links)
- Two finite, non‐hyperfinite, non‐isomorphic factors (Q5340347) (← links)
- (Q5343291) (← links)
- Large Parallel Computers (Q5507982) (← links)
- (Q5523220) (← links)
- Representations of the algebra of all operators in hilbert space, and related analytic function algebras (Q5527394) (← links)
- A remark on morse theory (Q5530437) (← links)
- Generalizing the Lusternik‐Schnirelman theory of critical points (Q5532250) (← links)
- On Nash's implicit functional theorem (Q5568359) (← links)
- (Q5573106) (← links)
- (Q5577921) (← links)
- (Q5581280) (← links)
- (Q5587145) (← links)
- (Q5592105) (← links)
- Type II factors in a central decomposition (Q5595489) (← links)
- (Q5601742) (← links)
- (Q5654646) (← links)
- (Q5657644) (← links)
- (Q5672142) (← links)
- (Q5680985) (← links)
- (Q5684255) (← links)
- (Q5687973) (← links)
- Do the integers exist? The unknowability of arithmetic consistency (Q5693417) (← links)
- On Generators of the Banach Algebras l 1 and L 1 (0, ∞) (Q5726924) (← links)
- Non‐isomorphism of a pair of factors of type III (Q5729479) (← links)
- (Q5732232) (← links)
- A Note on the Space L ∗ p (Q5805285) (← links)
- The Formula for Change in Variables in a Multiple Integral (Q5825828) (← links)
- De Rham's Theorem for Arbitrary Spaces (Q5847734) (← links)
- CONVERGENCE ALMOST EVERYWHERE OF OPERATOR AVERAGES (Q5848517) (← links)
- Two perturbation formulae (Q5849195) (← links)
