Suche
Anzeige der Dokumente 11-12 von 12
Habilitation
Computing Ground States for Fermi-Bose Mixtures through Efficient Numerical Methods
(2023-05)
In this work, we will first review the Quantum Mechanics theory to derive the main equations. Next, we will analyze these equations by Functional Analysis methods to find conditions for existence, uniqueness, multiplicity, and other properties as positivity. Next, we will review and develop some numerical methods for solving the nonlinear Schrödinger equation, its time version, generalizations with rotational terms, and systems of NLSE (NLSS). We notice that the main problem to run numerical methods is the memory ...
Preprint
Church-Rosser groups and growing context-sensitive groups
(2006)
A finitely generated group is called a Church-Rosser group (growing context-sensitive group) if it admits a finitely generated presentation for which the word problem is a Church-Rosser (growing context-sensitive) language. Although the Church-Rosser languages are incomparable to the context-free languages under set inclusion, they strictly contain the class of deterministic context-free languages. As each context-free group language is actually deterministic context-free, it follows that all context-free groups are ...