Search Results for "group theory explorer"
Sort By:
Showing 19 open source projects for "group theory explorer"
View related business solutions-
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.
-
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.
-
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... -
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
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
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... -
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
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 :... -
9
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... -
HR Onboarding SoftwareWorkBright is a cloud-based new hire onboarding solution that provides assistance for the processing and induction of new employees before their first day on the job. Simple and easy-to-use, this paperless digital onboarding platform enables new employees to upload photos of relevant documents, fill out their W4s, capture signatures electronically, and complete all paperwork from their tablets, laptops, or smartphones. With WorkBright, organizations can seamlessly eliminate manual data entry, streamline the form correction workflow efficiently, deliver automated reminders, and more.
-
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
Black
File Manager
Lightweight file manager that enables you to perform basic operations, such as copying, moving, deleting or renaming files. -
13
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... -
14
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... -
15
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... -
16
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.
-
17
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.
-
18
Enables launching of SSH clients from browsers/Explorer. Supports specification of user name, password, port, and command to be executed.
-
19
- Previous
- You're on page 1
- Next