Related papers: Hilbert++ Manual
We describe the input data and installation procedures of the code HFODD (v2.08k). The present write-up contains complete and comprehensive information that has originally been given in five independent publications. It is enhanced by the…
We describe the input data and installation procedures of the code HFODD (v2.40h). The present write-up contains complete and comprehensive information that has originally been given in six independent publications. It is enhanced by the…
The overview contains 450 references of books, chapters of monographs, papers, preprints and Ph.~D.~thesises which are concerned with the theory and/or various applications of Hilbert C*-modules. To show a way through this amount of…
This paper presents Holbert: a work-in-progress pedagogical proof assistant and online textbook platform, aimed at the educational use-case, specifically for the teaching of programming language theory. Holbert allows proof exercises and…
We report on our experiences exploring state of the art Groebner basis computation. We investigate signature based algorithms in detail. We also introduce new practical data structures and computational techniques for use in both signature…
This is the Users' Manual for the Fisher Matrix software Fisher4Cast and covers installation, GUI help, command line basics, code flow and data structure, as well as cosmological applications and extensions. Finally we discuss the extensive…
Here practical aspects of conducting research via computer simulations are discussed. The following issues are addressed: software engineering, object-oriented software development, programming style, macros, make files, scripts, libraries,…
In this paper we view some fundamentals of the theory of Hilbert C*-modules and examine some ways in which Hilbert C*-modules differ from Hilbert spaces.
A visual programming language uses pictorial tools such as diagrams to represent its structural units and control stream. It is useful for enhancing understanding, maintenance, verification, testing, and parallelism. This paper proposes a…
This handbook is a hands-on guide on how to approach text annotation tasks. It provides a gentle introduction to the topic, an overview of theoretical concepts as well as practical advice. The topics covered are mostly technical, but…
This paper presents a detailed operational manual for TLUSTY. It provides a guide for understanding the essential features and the basic modes of operation of the program. To help the user, it is divided into two parts. The first part…
User Manual for the hp3D Finite Element Software, available on GitHub at https://github.com/Oden-EAG/hp3d
A method of induction the distances with Hilbert structure is proposed. Some properties of the method are studied. Typical examples of corresponding metric spaces are discussed. Key words: Hilbert spaces; metric spaces; isometric embedding…
The aim of this document is to show how Fluidity can be used to set up typical indoor simulations under a range of conditions. Further information can also be found in the Fluidity manual and online http://fluidityproject.github.io/. The…
This is a brief introduction to the basic concepts of topology. It includes the basic constructions, discusses separation properties, metric and pseudometric spaces, and gives some applications arising from the use of topology in computing.
The aim of this paper is to present a self contained introduction to the Hubbard model and some of its applications.The paper consists of two parts: the first will introduce the basic notions of the Hubbard model starting from the…
The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is…
The aim of this note is to present an easy proof of Hilbert's Nullstellensatz using Groebner basis. I believe, that the proof has some methodical advantage in a course on Groebner bases. Key words: Hilbert's Nullstellensatz, Groebner bases.
This is a short introduction to quantum computers, quantum algorithms and quantum error correcting codes. Familiarity with the principles of quantum theory is assumed. Emphasis is put on a concise presentation of the principles avoiding…
Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to reveal defects in the code in an early stage of development. Many unit…