Search Results for "group theory explorer"
Sort By:
Showing 13 open source projects for "group theory explorer"
View related business solutions-
Top-Rated Free CRM SoftwareHubSpot 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.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
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
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... -
Save hundreds of developer hours with components built for SaaS applications.Whether you want full self-service analytics or simpler multi-tenant security, Qrvey’s embeddable components and scalable data management remove the guess work.
-
5
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... -
6
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 :... -
7
CurvatureFilter
Curvature Filters are efficient solvers for Variational Models
These curvature filters were developed by Yuanhao Gong during his PhD studies. MC filter and TV filter are exactly the same as described in the paper. However, the GC filter is slightly modified. Please cite the following papers if you use a curvature filter in your work. Traditional solvers, such as gradient descent or Euler Lagrange Euqation, start at the total energy and use diffusion scheme to carry out the minimization. When the initial condition is the original image, the data fitting... -
8
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. -
9
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. -
Digital Payments by Deluxe Payment ExchangeSave time, money and your sanity. Deluxe Payment Exchange+ (DPX+) is our integrated payments solution that streamlines and automates your accounts payable (AP) disbursements. DPX+ ensures secure payments and offers suppliers alternate ways to receive funds, including mailed checks, ACH, virtual credit cards, debit cards, or eCheck payments. By simply integrating with your existing accounting software like QuickBooks®, you’ll implement efficient payment solutions for AP with ease—without costly development fees or untimely delays.
-
10
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... -
11
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.
-
12
-
13
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