Higher order divisor problems
نویسندگان
چکیده
منابع مشابه
Higher Order Variational Problems
Higher order variational problems appear often in the engineering literature and in connection with the so-called gradient theories of phase transitions within elasto-plastic regimes. The study of equilibria of micromagnetic materials asks for mastery of second order energies (see [51], [91]; see also [31], [38], [44], [45], [61], [77], [78], [79], [108]), and the Blake-Zisserman model for imag...
متن کاملDecidable Higher-Order Unification Problems
Second order uni cation is undecidable in general Miller showed that uni cation of so called higher order patterns is decidable and unitary We show that the uni cation of a linear higher order pat tern s with an arbitrary second order term that shares no variables with s is decidable and nitary A few extensions of this uni cation problem are still decidable unifying two second order terms where...
متن کاملA Structured Set of Higher-Order Problems
We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as quick and easy criteria preceding the formal soundness and completeness analysis of proof systems under development. Our set of problems is structured according to different technical issues and along different notions of sema...
متن کاملSingular Discrete Higher Order Boundary Value Problems
We study singular discrete nth order boundary value problems with mixed boundary conditions. We prove the existence of a positive solution by means of the lower and upper solutions method and the Brouwer fixed point theorem in conjunction with perturbation methods to approximate regular problems. AMS subject classification: 39A10, 34B16.
متن کاملDecidable Higher-Order Uni cation Problems
Second-order uniication is undecidable in general. Miller showed that uniication of so-called higher-order patterns is decidable and unitary. We show that the uniication of a linear higher-order pattern s with an arbitrary second-order term that shares no variables with s is decidable and nitary. A few extensions of this uniication problem are still decidable: unifying two second-order terms, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Zeitschrift
سال: 2018
ISSN: 0025-5874,1432-1823
DOI: 10.1007/s00209-018-2046-9