Showing 21 - 40 results of 112 for search 'proof theory', query time: 0.05s Refine Results
  1. 21

    A presentation of the torus-equivariant quantum K-theory ring of flag manifolds of type A, Part II: quantum double Grothendieck polynomials by Toshiaki Maeno, Satoshi Naito, Daisuke Sagaki

    Published 2025-01-01
    “…In our previous paper, we gave a presentation of the torus-equivariant quantum K-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. …”
    Get full text
    Article
  2. 22
  3. 23

    An Algorithm for Fuzzification of WordNets and its Application in Sentiment Analysis by Yousef Alizadeh-Q, ‌‌Behrouz Minaei Bidgoli, Sayyed Ali Hossayni, Mohammad-R Akbarzadeh-T, Diego Reforgiato Recupero, Aldo Gangemi

    Published 2024-03-01
    “…In this study, we present an algorithm for constructing fuzzy version of WLDs of any language, given a corpus of documents and a word-sense-disambiguation system of that language. A theoretical proof is also proposed for the validity of results of the proposed algorithm. …”
    Get full text
    Article
  4. 24
  5. 25

    Die 1983 Afrikaanse Bybelvertaling in die lig van huidige tendense en behoeftes by A. H. Snyman

    Published 2003-06-01
    “… At a symposium on current trends in Bible translation held in August 2001 it became clear that linguistic-based theories, which dominated translation work when the 1983 Afrikaans translation came on the scene, have been replaced by functionalist approaches and descriptive translation studies (DTS). …”
    Get full text
    Article
  6. 26

    A note on an application of discrete Morse theoretic techniques on the complex of disconnected graphs by Anupam Mondal, Pritam Chandra Pramanik

    Published 2025-06-01
    “…Robin Forman’s highly influential 2002 paper A User’s Guide to Discrete Morse Theory presents an overview of the subject in a very readable manner. …”
    Get full text
    Article
  7. 27
  8. 28
  9. 29
  10. 30
  11. 31
  12. 32
  13. 33

    The difference vectors for convex sets and a resolution of the geometry conjecture by Alwadani, Salihah, Bauschke, Heinz H., Revalski, Julian P., Wang, Xianfu

    Published 2021-07-01
    “…The geometry conjecture, which was posed nearly a quarter of a century ago, states that the fixed point set of the composition of projectors onto nonempty closed convex sets in Hilbert space is actually equal to the intersection of certain translations of the underlying sets.In this paper, we provide a complete resolution of the geometry conjecture. Our proof relies on monotone operator theory. We revisit previously known results and provide various illustrative examples. …”
    Get full text
    Article
  14. 34

    Relatively bounded and compact perturbations of nth order differential operators by Terry G. Anderson

    Published 1998-01-01
    “…A perturbation theory for nth order differential operators is developed. …”
    Get full text
    Article
  15. 35
  16. 36
  17. 37

    Security of differential phase shift QKD from relativistic principles by Martin Sandfuchs, Marcus Haberland, V. Vilasini, Ramona Wolf

    Published 2025-01-01
    “…The proof combines techniques from quantum information theory, quantum optics, and relativity. …”
    Get full text
    Article
  18. 38

    An application of the Sakai's theorem to the characterization of H*-algebras by Borut Zalar

    Published 1995-01-01
    “…This proof completely avoids structure theory.…”
    Get full text
    Article
  19. 39

    Linkage Analysis between Solid-Fluid Coupling and the Strength Reduction Method for Karst Cave Water Inrush in Mines by Yanlin Zhao, Jian Liao, Qiang Liu, Yang Li, Jianchao Cheng

    Published 2020-01-01
    “…The conception for the safety factor of the water-proof rock pillar introduced, the relation of the safety factor, Karst cave water pressure, and thickness of the water-proof rock pillar are studied. …”
    Get full text
    Article
  20. 40

    A weak invariance principle and asymptotic stability for evolution equations with bounded generators by E. N. Chukwu, P. Smoczynski

    Published 1995-01-01
    “…In the case of a normal infinitesimal generator Z in a Hilbert space, strong asymptotic stability is proved under the following assumptions Z*+Z is weakly negative definite and Ker Z={0}. The proof is based on spectral theory.…”
    Get full text
    Article