Search Results for "theory"
Sort By:
Showing 74 open source projects for "theory"
View related business solutions-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
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. -
2
Oscar.jl
A comprehensive open source computer algebra system for computations
...In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory. -
3
Algebraic graphs
Algebraic graphs
Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this Haskell Symposium paper and the corresponding talk for the motivation behind the library, the underlying theory and implementation details. We can give semantics to the constructors in terms of the pair (V, E) of graph vertices and edges. Alga can handle graphs comprising millions of vertices and billions of edges in a matter of seconds, which is fast enough for many applications. We believe there is a lot of potential for improving the performance of the library, and this is one of our top priorities. ... -
4
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on Elementary Number Theory' (TAKAGI, Teiji) in Python-NZMATH language. ... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
Napkin
An Infinitely Large Napkin
...It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. Because it is written in LaTeX (with supporting Asymptote or other tools), readers can compile their own version, and the repository integrates diagrams, flowcharts, and supplementary files. -
6
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
7
Fractal Zoomer
A Fractal Zoomer with various functions.
An application that lets you render some of the most known fractal functions, like the Mandelbrot set and many more! It comes with alot of options to further enhance your fractal experience! Its easy to use and does not require installation. A java version higher than 1.8 is required to be installed. -
8
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
9
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
RootGraph
Graphic interface with algorithms to compute line and root graphs
Simple and intuitive graphic interface for graph theory with algorithms to compute line and root graphs of a given graph. - Double click to add a new node. - Left click a node and drag to change the position of the node. - Select a node with left click and add an edge with the next node you select. - Right click a node to delete it. Made in C++ using the wxWidgets library. -
11
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use. -
12
Algorithms Math Models
MATLAB implementations of algorithms
...The repository gathers implementations and case studies across many topics commonly used in contest solutions: optimization (linear, integer, goal and nonlinear programming), heuristic and metaheuristic methods (simulated annealing, genetic algorithms, immune algorithms), neural networks and time-series methods, interpolation and regression, graph theory, cellular automata, grey systems, fuzzy models, partial/ordinary differential equations, and multivariate analysis, among others. The codebase is organized into topic folders (e.g., HeuristicAlgorithm, IntegerProgramming, NeuralNetwork, TimeSeries) and includes dozens of worked examples and links to textbook/source materials that the author used to assemble the collection. -
13
A library of tools for doing computation in game theory.
-
14
GenReg
Generation of regular graphs
Efficient, complete and non-redundant generation of regular graphs as described in M. Meringer: Fast Generation of Regular Graphs and Construction of Cages. Journal of Graph Theory 30, 137-146, 1999. -
15
Combinatorial Game Suite
A computer algebra system for research in combinatorial game theory.
STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained. -
16
-
17
Finite Transform Library
A Library is for Finite Transforms
The Library is for Finite Transforms such as the Number Theoretic Transform (NTT) and Finite Radon Transform (FRT). Current modules include NTTW for NTTs with high resolution (microsecond) timing, basic array and imaging. The transforms are optimised for performance. -
18
CCruncher
Open-Source Project for Credit Risk Modeling
CCruncher is a project for quantifying portfolio credit risk using the copula approach. It is a framework consisting of two elements: a technical document that explains the theory, and a software program that implements it. CCruncher evaluates the portfolio credit risk by sampling the portfolio loss distribution and computing the Expected Loss (EL), Value at Risk (VaR) and Expected Shortfall (ES) statistics. The portfolio losses are obtained simulating the default times of obligors and simulating the EADs and LGDs of their assets. -
19
A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
-
20
-
21
libnova
Celestial Mechanics Engine
libnova is a general purpose, double precision, celestial mechanics, astrometry and astrodynamics library. -
22
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... -
23
Econball
Equation of stock trading simplified to game of moving resizing balls
...Think of it as a 2d seesaw surface that never tilts because the masses of balls are adjusted to always balance. This is the early start of a game based on that econ theory. Econ is boring in number and symbol form, but as a realtime game its more like dancing. -
24
Chordalysis
Log-linear analysis (data modelling) for high-dimensional data
...However, due to its exponential nature, previous approaches did not allow scale-up to more than a dozen variables. We present here Chordalysis, a log-linear analysis method for big data. Chordalysis exploits recent discoveries in graph theory by representing complex models as compositions of triangular structures, also known as chordal graphs. Chordalysis makes it possible to discover the structure of datasets with thousands of variables on a standard desktop computer. Associated papers at ICDM 2013, ICDM 2014 and SDM 2015 can be found at http://www.francois-petitjean.com/Research/ YourKit is supporting Chordalysis open source project with its full-featured Java Profiler. ... -
25
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
