相关论文: Hilbert++ Manual
This is a short tutorial of the Case Management Model and Notation (CMMN) version 1.0. It is targeted to readers with knowledge of basic process or workflow modeling, and it covers the complete CMMN notation. A simple complaints process is…
Convenient and simple numerical techniques for performing quantum computations based on matrix representations of Hilbert space operators are presented and illustrated by various examples. The applications include the calculations of…
The aim of this text is to provide a clear description of the theory of Infra-nilmanifolds and their fundamental groups, the almost-Bieberbach groups. For most of the proofs of the results, we refer to the literature. Nevertheless, at…
This is a review of the vast area of explicit formulas for the (wild) Hilbert symbol (not only in the one-dimensional case but in the higher dimensional case as well). An extensive bilbiography is included.
The Mutation++ library provides accurate and efficient computation of physicochemical properties associated with partially ionized gases in various degrees of thermal nonequilibrium. With v1.0.0, users can compute thermodynamic and…
Quantum++ is a modern general-purpose multi-threaded quantum computing library written in C++11 and composed solely of header files. The library is not restricted to qubit systems or specific quantum information processing tasks, being…
The aim of this paper is to propose a strategy to implement the Minimal Model Program in modern computer algebra systems.
We introduce an abstract machine architecture for classical/quantum computations---including compilation---along with a quantum instruction language called Quil for explicitly writing these computations. With this formalism, we discuss…
The transfer learning toolkit wraps the codes of 17 transfer learning models and provides integrated interfaces, allowing users to use those models by calling a simple function. It is easy for primary researchers to use this toolkit and to…
We describe glsim, a C++ library designed to provide routines to perform basic housekeeping tasks common to a very wide range of simulation programs, such as reading simulation parameters or reading and writing self-describing binary files…
The purpose of this contribution is to give a very brief introduction to Quantum Mechanics for an audience of mathematicians. I will follow Segal's approach to Quantum Mechanics paying special attention to algebraic issues. The usual…
This tutorial intends to introduce readers with a background in AI to quantum machine learning (QML) -- a rapidly evolving field that seeks to leverage the power of quantum computers to reshape the landscape of machine learning. For…
This work has a methodological nature and is a set of lecture notes for undergraduate students. It is devoted to the study of the basic tools of quantum field theory on the example of the simplest cubic "toy" model. We introduce such…
A study of the existing libraries to read from configuration files (from C++)
This introduction to arithmetic coding is divided in two parts. The first explains how and why arithmetic coding works. We start presenting it in very general terms, so that its simplicity is not lost under layers of implementation details.…
We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from…
We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of…
Pipelined algorithms implemented in field programmable gate arrays are being extensively used for hardware triggers in the modern experimental high energy physics field and the complexity of such algorithms are increases rapidly. For…
Those seeking to reproduce a computational experiment often need to manually look at the code to see how to build necessary libraries, configure parameters, find data, and invoke the experiment; it is not automatic. Automatic…
This is an introduction to the Atlas of Lie Groups and Representations software, for computing representation and structure theory of real reductive groups. The user is led through the basic commands of the software, via numerous examples.…