相关论文: Hilbert++ Manual

This is a graduate-level introduction to C*-algebras, Hilbert C*-modules, vector bundles, and induced representations of groups and C*-algebras, with applications to quantization theory, phase space localization, and configuration space…

This is a very gentle introductory course on quantum mechanics aimed at the first years of the undergraduate level. The basic concepts are introduced, with many applications and illustrations. Contains 12 short chapters of equal length,…

In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for…

This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our approach can guide the programmer in adding specifications…

We give a brief introduction to the software KnotPlot. The goals of this chapter are twofold: 1) to help a new user get started with using KnotPlot and 2) to provide veteran users with additional background and functionality available in…

This is a preliminary version of the textbook on integrable systems. The work has been partly supported by Grant Nr.10/2006-RU, Austrian Academic Exchange Service \"OAD and Grant P20164-N18, Austrian Science Fund FWF

A step-by-step presentation of the code for a small theorem prover introduces theorem-proving techniques. The programming language used is Standard ML. The prover operates on a sequent calculus formulation of first-order logic, which is…

This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from…

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.

This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language,…

It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of…

This paper provides the reader with a very brief introduction to some of the theory and methods of text data mining. The intent of this article is to introduce the reader to some of the current methodologies that are employed within this…

We present a pedagogical work-in-progress. This textbook aims to introduce Hilbert space representations for quantum and classical dynamics, outlining the mathematical foundations, practical guidance, and Python implementation of dynamical…

The implementation of the compiler of the UPLNC language is presented with a full source code listing.

The main purpose of this paper is to propose six programs in C++ for matrix computations and solving recurrent equations systems with entries in min plus algebra.

This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.

I describe a method for computer algebra that helps with laborious calculations typically encountered in theoretical microhydrodynamics. The program mimics how humans calculate by matching patterns and making replacements according to the…

We show how to efficiently compute Hilbert modular forms as orthogonal modular forms, generalizing and expanding upon the method of Birch.

A introduction to the syntax and Semantics of Answer Set Programming intended as an handout to [under]graduate students taking Artificial Intlligence or Logic Programming classes.

In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert…