Search Results for "group theory"
Sort By:
Showing 15 open source projects for "group theory"
View related business solutions-
From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
-
ConnectWise PSA (formerly Manage) allows you to stop working in separate systems, and helps you build a more profitable business. No more duplicate data entries, inefficient employees, manual invoices, and the inability to accurately track client service issues. Get a behind the scenes look into the award-winning PSA that automates processes for each area of business: sales, help desk, support, finance, and HR.
-
1
Nemo.jl
Julia bindings for various mathematical libraries (including flint2)
Nemo is a computer algebra package for the Julia programming language. It aims to cover commutative algebra, number theory and group theory. Julia bindings for various mathematical libraries (including flint2) -
2
Hecke.jl
Computational algebraic number theory
Hecke is a software package for algebraic number theory maintained by Claus Fieker, Tommy Hofmann and Carlo Sircana. It is written in julia and is based on the computer algebra packages Nemo and AbstractAlgebra. Hecke is part of the OSCAR project and the development is supported by the Deutsche Forschungsgemeinschaft DFG within the Collaborative Research Center TRR 195. -
3
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group... -
4
SAFEDC
semi-analytical finite element dispersion calculator of guided wave
SAFEDC is a freeware guided wave (GW)calculator developed by Dr. Menglong Liu's group from Harbin Institute of Technology, Shenzhen, China. Email liumenglong1988@gmail.com on SAFEDC. The function is as follows: 1. GW in isotropic plate. Acousto-elastic effect can be calculated, and result of dispersion cuve, displacement/stress/strain curve along the thickness, and static/dynamic mode shape can be output. 2. GW in anisotropic plate. laminate with arbitrary material and geometry parameters... -
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
5
computem
Transmission Electron Microscope Image Simulation
These programs calculate high resolution conventional and scanning transmission electron microscope (CTEM, STEM) images of thin specimens from first principles using the multislice method for electrons in the energy range of approximately 60 keV to 1000 keV. The fundamental theory and usage are described in "Advanced Computing in Electron Microscopy" (Springer 2020) and Acta Cryst. A72 (2016) p. 1 by Earl J. Kirkland. Please refer to these for the theory of calculation and how to use... -
6
Quaternion Lorentz
Complex quaternion calculator with Lorentz boosts and rotations
C++ code to perform the Lorentz boosts and rotations of special relativity using complex quaternions The interface is a complex quaternion console-based calculator with operations + - * / and functions for Lorentz boosts and rotations. THEORY Complex quaternions have form q = A + B * I + C * J + D * K A, B, C, D complex I * I = -1 J * J = -1 K * K = -1 I * J = K J * I = -K J * K = I K * J = -I K * I = J I * K = -J Transpose T takes I into -I, J into -J, K into -K (q1 q2)T = q2T... -
7
Transformer
Group theory research project
This C# library allow to : - generate group from set of elements; - get properties of group or group element; - create your own groups and elements; - provide generic interfaces for creators; -
8
ED_Sym
Exact diagonalization to the many-electron problem using group theory
Exact diagonalization to the many-electron problem using group theory in the Fock basis. -
9
iaaaat-ia
Non-Locality of Group Field Theory Symmetries and Representations.
Clinical Tinnitology : https://iaaaat-ia.sourceforge.io http://iaaaat-ia.eu3.biz http://iaaaat-ia.eu5.net http://iaaaat-ia.co.nf https://twitter.com/iaaaat medico/robotics : http://patentscope.wipo.int/search/en/WO2002096154 Phone 1 (Europe) : +45 91664237. phone 2 (Europe) : +45 71502125 phone 3 (Europe) : +45 31882731 fibtin2-System : Microsoft : https://sourceforge.net/projects/iaaaat-ia/files/iaaaat/iaaaat2.zip/download 3.7 MB (3910283 bytes). UNIX/Linux :... -
With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
-
10
egut
exceptional group unipotent toolkit
Collection of Java Classes for symbolically manipulating elements of split exceptional groups, with an emphasis on unipotent elements. Programs for performing various computations arising in the theory of Fourier coefficients and integral representations of L Langlands L functions in such groups. -
11
ISO GrAF
Experimental Java library for reading and writing GrAF/XML files.
The Graph Annotation Framework (GrAF) models linguistic annotations using a data model based on Graph theory and algorithms. The GrAF standard is a work product of ISO TC37SC4 Working Group 1. This Java library is NOT part of the GrAF standard and standoff annotation files produced by the library may not be GrAF compliant. -
12
BP (Bilinear Pairing)
library for Bilinear Pairing
A library encapsulating bilinear pairing computation and group computation in the cyclic groups G_1, G_2, G_T. The bilinear pairing is a bilinear, non-degenerate map between G_1 and G_2 to an element in G_T. The users can build complex pairing-based software by the Pairing library without much knowledge of elliptic curves or pairing or number theory. The library is smaller than 57 Kbytes, suitable for hand held devices. The size is only 3.7% of the size of the BPC library. Maximum supported... -
13
Water Retention on Magic Squares Solver
Water Retention on Magic Squares with Constraint-Based Local Search
A Constraint-Based Local Search solver for the Water Retention on Magic Squares-problem. The problem is a very hard combinatorial optimisation problem, invented by Craig Knecht. More can be read about it at: http://en.wikipedia.org/wiki/Water_retention_on_mathematical_surfaces Craig's website for the problem: http://www.knechtmagicsquare.paulscomputing.com/ The solver is mainly based on the theory and ideas from my bachelor thesis, which I wrote at Uppsala University, Sweden, for the Astra... -
14
-
15
This project aims to develop teaching aids for group theory in chemistry. It consists of two parts: SyMM a backend which determines the point group of a molecule and glSyMM which allows one to display the symmetry opperations on a molecule using OpenGL.
- Previous
- You're on page 1
- Next