Search Results for "b-tree"
Sort By:
Showing 66 open source projects for "b-tree"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
BasicBSpline.jl
Basic (mathematical) operations for B-spline functions
Basic (mathematical) operations for B-spline functions and related things with Julia. -
2
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
3
GIT quick statistics
An efficient way to access various statistics in git repository
...You can change to the legacy color scheme by toggling the variable _MENU_THEME between default and legacy. You can set variable _GIT_LIMIT for limited output. It will affect the "changelogs" and "branch tree" options. You can also exclude files from the stats. Note that it works with any alphanumeric, glob, or regex that git respects. -
4
MatCont
Numerical Bifurcation Analysis Toolbox in Matlab
...Meijer and B. Sautois, MCMDS 2008, Vol. 14, No. 2, pp 147-175 In case you're stuck, use the forum, but to get a good answer provide: 1. What command do you give when this appears? Provide the exact steps. Stating "no convergence" is not enough. 2. Most procedures are explained in the Tutorials. There is a manual with detailed descriptions of the data. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
Foreval
Foreval is parser & compiler of mathematical expressions
...Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.395A): Examples for Delphi, Lazarus , GCC (Codeblock), (Builder, MSVC - in b.366). Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting & finding roots F(x), Fourier series. Old version (v.8.4.17.250): Examples for Delphi, FPC, Builder, MSVC , GCC (Codeblock) , VB6, FreeBasic. Download files: Foreval_all.7z (Foreval v9 + Foreval v8 + ForevalZ + all examples + doc) - recommend ForevalG9.7z (Foreval v9 + examples v9+ doc) (math parser, math expression parser, evaluate formula, evaluator, symbolic, differentiation, derivative , complex) -
6
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
7
CART
Reversible cellular automata
Reversible and irreversible cellular automata simulator for Windows and Linux. May use MCell *.dll and Golly https://sourceforge.net/projects/golly *.tree and *.rle files. Adapted for work with generalizations of reversible second-order cellular automata discussed in http://arxiv.org/abs/1311.4297 -
8
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
9
Equation Math Solver
Equation Math Solver
Equation Solver is a piece of software designed to help you execute second (a*x^2+b*x+c=0) and first (b*x+c=0) degree equations, along with simple linear systems (a1*x+b1*y+c1=0 and a2*x+b2*y+c2=0). It doesn't come packed with complicated options or configuration parameters, making it accessible to math students who don't have heavy PC experience. My blog: https://vegettadbz.blogspot.com/ -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
TopDeg
Program for topological degree calculation.
The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/ -
11
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data... -
12
dupost
Dual Porosity Stokes model implemented with FEniCS
A coupled dual porosity Stokes model implemented with FEniCS. References: 1. C. Douglas, X. Hu, B. Bai, X. He, M. Wei and J. Hou, "A Data Assimilation Enabled Model for Coupling Dual Porosity Flow with Free Flow," 2018 17th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES), Wuxi, 2018, pp. 304-307. doi: 10.1109/DCABES.2018.00085 2. Hu X., Douglas C.C. (2019) An Implementation of a Coupled Dual-Porosity-Stokes Model with FEniCS. ... -
13
FunctionalCalculator
A functional maths program calculating with functions
...The User-Functions can have arguments given by matrices, infinitely differentiable functions, complex numbers or arbitrary precision integers. Among the User-Functions you find: * The integral of f(x) from a to b * The derivative of f(x) * The Ternary Conditional * The gcd of two integers * Solve a System of Linear Equations FunctionalCalculator has a Grammar, which allows you to define you own recursive (meta) functions. The desktop edition has a functional and procedural scripting language based on this grammar and a plotter for complex functions and for real functions. -
14
octave-intinf
Infinite-precision integer arithmetic for Octave, written in Octave
...It may or may not work in Matlab. The supported operations are: >> s = a = intinf (126) % Creation of intinf-class object from integer or string >> b = intinf ('-792716404922304611755050042308687') >> c = a + b % Addition >> d = a - b % Subtraction >> e = c * d % Multiplication >> f = (e - a^2) / b % Exponentiation, division >> f == -b % Logical operators >> [q, r] = intinf_divide (b^2, a) % Divsion and remainder >> x = intinf_rand (100) % Random number (here, with 100 digits) TODO: * Better errors... -
15
A package for computations with finite automata (rooted tree automorphisms) for the GAP system, http://www.gap-system.org.
-
16
einspline is a C library for the creation and evaluation of interpolating cubic basis splines (B-splines) in 1D, 2D, and 3D. It supports both uniform and nonuniform meshes, single and double precision, and real and complex data.
-
17
popt4jlib
Parallel Optimization Library for Java
popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known... -
18
D_2D and D_3D are plotting programs with unique features, useful for data visualization and analysis. Input data should be provided as ASCII files formatted as x,y pairs or x,y,z triplets. Graphic output can be in DXF vector format, or raster image.
-
19
TransMatrix
Matrix transformations
Software modificable para transformar matrices de tres columnas [A (grupo 1), B (grupo 2) y C (conexiones entre nodos de ambos grupos)] a matrices completas y simétricas. -
20
hn++
Two Neighbours and Hermitian Neighbours in C++
Two-Neighbours (based on the work of B. Hemkemeier) and Hermitian Neighbours (based on the work of A. Schiemann) rewritten in modern C++. Based on a geometrical method used by Witt and Kneser, HN++ (contains TN and HN) classifies genera of lattices. Building upon those ideas and the older celebrated programs TN and HN, HN++ contains various methods to analyse invariants of the constructed lattices as well as more randomized algorithms to quickly search through large genera. -
21
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ... -
22
Matrix factorization is applied to the B-spline basis to construct an orthonormal basis. Data can be approximated by a linear combination of the orthonormal basis functions. Constraints are imposed such that the fitted function is linear at the boundary points, as in natural cubic spline.
-
23
n-chinese-remainders
chinese remainder theorem - progressive solving, n-soln, extras
...showing win or fail of each eqn and solving other sawtooth intersections is possible, due to that. crAll2@crtwo provides n soln near x for CR using width of soln crchart3 shows sawtooth CR waves and visible soln align1: solves i m2 == j m2 + b -> {i,j,dist} (like PowerMod->i but b is any and gcd(m1,m2) not req.) other funs: Euclidians, showFactors, changeBaseArr, caesar, rsa, inverseMod, IntToModTups (large number math for PC's) crfindnSolnAfterxInEqm (solve saw wave LL,RL,LR,... intersects) congruence, plots, y-shifted triangular wave solve, testing (for historic reasons files are also in https://sourceforge.net/projects/periodictablemm/) -
24
Community Detection Modularity Suite
Suite of community detection algorithms based on Modularity
...Press, S. Teukolsky, W. Vetterling, B. Flanne -
25
Primes
Calculate primes by using extremely fast sorting
...And as already mentioned, it's just the most efficient tree-based sorting algorithm that you can get. But furthermore this way of finding primes interestingly leaves a hard nut to crack for mathematicians: In very rare cases it finds numbers that are not primes. For all primes below one million this phenomenon arises in exactly two cases: 31213 which is 7 * 7 * 7 * 7 * 13 336141 which is 3 * 3 * 13 * 13 * 13 * 17 Who can explain, why?
