Search Results for "group theory"
Sort By:
Showing 10 open source projects for "group theory"
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.
-
SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
-
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... -
Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
-
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
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
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. -
8
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. -
9
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... -
Don’t settle when it comes to managing your clients’ IT infrastructure. Exceed their expectations with ConnectWise RMM, our MSP RMM software that provides proactive tools and NOC services—regardless of device environment. With the number of new vulnerabilities rising each year, smart patching procedures have never been more important. We automatically test and deploy patches when they are viable and restrict patches that are harmful. Get better protection for clients while you spend less time managing endpoints and more time growing your business. It’s tough to locate, afford, and retain quality talent. In fact, 81% of IT leaders say it’s hard to find the recruits they need. Add ConnectWise RMM, NOC services and get the expertise and problem resolution you need to become the advisor your clients demand—without adding headcount.
-
10
- Previous
- You're on page 1
- Next