Correspondence between the classical and quantum dynamics of simple systems

Download

035494.pdf

Date

1994

Author

Abdel Jalil, Pasl

Metadata

Show full item record

Item Usage Stats

46
views

0
downloads

URI

https://hdl.handle.net/11511/8945

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

Application of finite state automaton theory to variable-lenght codes under constraints Sarpel, I Murat; Gönenç, Güney; Department of Electrical and Electronics Engineering (1993)
Investigation of fluid structure coupling in enclosed spaces by finite element methods Akagündüz, Yaşar Haldun; Çalışkan, Mehmet; Department of Mechanical Engineering (2002)
Application of density-functional theory to atomic resonances Erkoç, Şakir; Jansen, HJF (1999-03-01) Density-functional theory in the local-spin-density approximation has been applied to calculate the energy positions of law-lying resonance (autoionization) states of neutral atoms and positive ions. This method is very convenient fur a quick, approximate prediction of excitation energies in collision experiments. [S1050-2947(99)05401-3]
Proof of the basic theorem on concept lattices in Isabelle/HOL Sertkaya, Barış; Oğuztüzün, Mehmet Halit S.; Tiefenbach, Andreas; Department of Computer Engineering (2003) Formel Concept Analysis is an emerging field of applied mathematics based on a lattice-theoretic formalization of the notions of concept and conceptual hierarchy. It thereby facilitates mathematical thinking for conceptual data analysis and knowledge processing. Isabelle, on the other hand, is a generic interactive theory development environment for implementing logical formalisms. It has been instantiated to support reasoning in several object-logics. Specialization of Isabelle for Higher Order Logic is ca...
Proof of the basic theorem on concept lattices in Isabelle/HOL Sertkaya, B; Oğuztüzün, Mehmet Halit S. (2004-01-01) This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book "Formal Concept Analysis" by Canter and Wille, in the Isabelle/HOL Proof Assistant. As a by-product, the underlying lattice theory by Kammueller has been extended.

Citation Formats

P. Abdel Jalil, “Correspondence between the classical and quantum dynamics of simple systems,” Middle East Technical University, 1994.