相关论文: Hilbert++ Manual

The two reference lists contain 54/22 references of papers and preprints concerned with the theory and/or various applications of Hilbert modules over Hilbert $*$-algebras and over (non-self-adjoint) operator algebras. They are far from…

We present the manual for FeynMaster 2.1, a multitasking software for particle physics studies. This new version includes additional functions and is compatible with recent versions of related software. It can be downloaded in…

SModelS is a tool for the automatic interpretation of simplified-model results from the LHC. Version 1.0 of the code is now publicly available. This document provides a quick user guide for installing and running SModelS v1.0.

This document provides and in-depth introduction to the mlr framework for machine learning experiments in R.

This paper describes how to implement a documentation technique that helps readers to understand large programs or collections of programs, by providing local indexes to all identifiers that are visible on every two-page spread. A detailed…

This article aims to explore the most recent developments in the study of the Hilbert matrix, acting as an operator on spaces of analytic functions and sequence spaces. We present the latest advances in this area, aiming to provide a…

We describe algorithms for computing geometric invariants for Hilbert modular surfaces, and we report on their implementation.

With this report we provide users of an easy manual to facilitate the proper download and use of a sophisticated, high precision, few-body code originally developed by S. Mikkola, and later largely improved and implemented to treat a…

The thesis concerns Hilbert schemes of points and apart from mathematical results, contains small open problems and history sections, see the introduction for more details. The thesis has not been edited since 2017, see first page for more…

This paper is a tutorial introducing the underlying technology and the use of the tool Liquid Haskell, a type-checker for the functional language Haskell that can help programmers to verify non-trivial properties of their programs with a…

This is the manual and user guide for the Rivet system for the validation and tuning of Monte Carlo event generators for high energy physics. As well as the core Rivet library, this manual describes the usage of the rivet program and the…

This user manual has been written to describe the open source code WM to be distributed associated with a research article submitted to the information technology journal 45001-ITJ-ANSI, entitled: "Maintenance and Reengineering of software:…

Quantum trajectory methods can be used for a wide range of open quantum systems to solve the master equation by unraveling the density operator evolution into individual stochastic trajectories in Hilbert space. This C++ class library…

These informal notes briefly discuss some basic topics involving Lipschitz functions, connectedness, and Hausdorff content in particular.

We provide new families of minimal codes in any characteristic. Also, an inductive construction of minimal codes is presented.

This is a tutorial in applied and computational topology and topological data analysis. It is illustrated with numerous computational examples that utilize Gudhi library. It is under constant development, so please do not consider this…

This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial…

This paper presents algorithms and pseudocode for encoding and decoding 3D Hilbert orderings.

The BTeV Collaboration is starting to develop its C++ based offline software suite, an integral part of which is a series of tutorials. These tutorials are targeted at a diverse audience, including new graduate students, experienced…

Although many active scientific codes use modern Fortran, most contemporary scientific software "libraries" are implemented in C and C++. Providing their numerical, algorithmic, or data management features to Fortran codes requires writing…