Search Results for "group theory explorer"
Sort By:
Showing 22 open source projects for "group theory explorer"
View related business solutions-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
Boost application security and continuity with SKUDONET ADC, our Open Source Load Balancer, that maximizes IT infrastructure flexibility. Additionally, save up to $470 K per incident with AI and SKUDONET solutions, further enhancing your organization’s risk management and cost-efficiency strategies.
-
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
Ordinals
Rare and exotic sats
Ordinal theory concerns itself with satoshis, giving them individual identities and allowing them to be tracked, transferred, and imbued with meaning. Satoshis, not bitcoin, are the atomic, native currency of the Bitcoin network. One bitcoin can be sub-divided into 100,000,000 satoshis, but no further. Ordinal theory does not require a sidechain or token aside from Bitcoin, and can be used without any changes to the Bitcoin network. It works right now. ord is an index, block explorer... -
4
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... -
It protects your internal resources such as behind-the-firewall applications, teams, and devices.
-
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
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... -
7
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... -
8
Photobatch
Photobatch | A easy way to view photos from the command prompt
A easy way to view photos from the Command Prompt. Installation Go to the install link and install it. Then open it, and extract the file Then delete the original EXE FILE. NOT THE FOLDER. Note! Make sure you extract to this file location: C:\Users\Admin\Desktop or Photobatch will not be able to run. Setup First, type in the command prompt: cd C:\Users\Admin\Desktop\Photobatch Then, type install. and voilà! Adding photos It's easy! just open File Explorer and go to: This PC > Windows(C... -
9
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; -
Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
-
10
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. -
11
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 :... -
12
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. -
13
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. -
14
Black
File Manager
Lightweight file manager that enables you to perform basic operations, such as copying, moving, deleting or renaming files. -
15
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... -
16
File Explorer 3D
File Explorer 3D
24-Dec-2012 - Added screen margin navigation for touch screen devices, revised file select behaviour 04-Mar-2012 - Added Search, Sort and Filter capabilities File Explorer 3D is a file manager offering a 3D representation for all your files and folders. It allows you to manipulate files and folders in a similar way with the native Windows Explorer. As an extra feature it lets you easily see the size of a file or folder by middle clicking its 3D object. Another extra feature is the group... -
17
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... -
18
The IE URL Lock Browser Helper Object prevents users from navigating to web sites in Internet Explorer and Windows Explorer while permitting URLs that match a Perl-compatible regular expression stored in a registry list.
-
19
Enables launching of SSH clients from browsers/Explorer. Supports specification of user name, password, port, and command to be executed.
-
20
Group Explorer is mathematical visualization software for the abstract algebra classroom. Users can explore dozens of finite groups (and morphisms among them) visually and interactively.
-
21
-
22
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