Search Results for "order"
Sort By:
32 projects for "order" with 2 filters applied:
-
$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.
-
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.
-
1
Armadillo
fast C++ library for linear algebra & scientific computing
* Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads:... -
2
REDUCE
A Portable General-Purpose Computer Algebra System
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the... -
3
schur
Interactive Program For Calculating Properties Of Symmetric Functions
Schur is a standalone program for interactively calculating properties of Lie groups and symmetric functions. Schur has been designed to answer questions of relevance to a wide range of problems of interest to chemists, mathematicians, computer scientists,... -
4
sequoia-dap
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
...The program is multi-grid (finite differences or finite elements), multi-algebra (plug-in analysis kernels), multi-model (simple standardized interface). The program supports reduced-order data assimilation methods, as well as Ensemble assimilation approaches such as the Ensemble Kalman Filter. Recent additions include extensions towards simultaneous assimilation and downscaling (AMICO project), and a toolbox for ensemble assessment (SCRUM project). -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
-
6
MaxFEM
Software for electromagnetic simulation
...The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them. -
7
UNLocBoX
UNLocBox (Matlab convex optimization toolbox)
The UNLocboX is a matlab convex optimization toolbox part of the UnlocX project. It is composed of the most used algorithms such as forward backward, Douglas-Rachford, admm or ppxa. Moreover a collection of proximal operators is available in order to implement problems very efficiently. -
8
Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
...Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base. -
9
PortOpt
A portfolio-optimizer using Markowitz(1952) mean-variance model
PortOpt [Portfolio Optimizer] is a C++ program (with Python binding) implementing the Markowitz(1952) mean-variance model with agent's linear indifference curves toward risk in order to find the optimal assets portfolio under risk. You have to provide PortOpt (in text files or - if you use the api - using your own code) the variance/covariance matrix of the assets, their average returns and the agent risk preference. It returns the vector of assets' shares that composes the optimal portfolio. In order to minimise the variance it internally uses QuadProg++, a library that implement the algorithm of Goldfarb and Idnani for the solution of a (convex) Quadratic Programming problem by means of an active-set dual method. ... -
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
LightCAS
LightCAS is very lightweigth Computer Algebra System
...Its size is less that 50K of compiled code. LightCAS can parse, display, evaluate and simplify mathematical expressions. It can also compute derivatives, find solutions of one or second order expressions, solve systems of equations, compute Taylor series. Its code is intended to be full configurable for most applications. -
11
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
12
Ellipt2d is a finite element program for solving second order, real and complex, two-dimensional elliptic problems with user-defined operators. Because Ellipt2d is written in Python, the code can easily be adapted for specific problems.
-
13
PyDQP
Distributed QP Solver in Python
PyDQP implementes 11 different dual decomposition schemes, both first and second order, in order to solve quadratic programs in a distributed fashion. -
14
Kiel University Relation package
Fast C library for relation algebra using binary decision diagrams.
Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S. -
15
HASEM
Matrix c++ library solving any linear algebra problems
HASEM is a c++ template library, it can be easily configure as a expression template. HASEM solves any linear equation of any kind, it might be homogenous/none homogenous, compute the inverse of square/none square matrices, find LU decomposition, find determinant and rank of matrices, calculate the characteristic polynomial of matrices, find the eigenvalues and eigen vectors and so on. HASEM uses many methods, therefore, you are not limited to just one method, you have the choice to define... -
16
-
17
SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
-
18
Yet another library of convex optimization routines; this one works with the GNU scientific library. Focuses on interior point methods for linear programming, second order cone programing and semidefinite programming
-
19
The Lidy project is a small cross-platform library under LPGL licence, written in C language. It has been designed in order to facilitate the sparse matrices handling.
-
20
A 2-D inviscid flow and adjoint solver on unstructured triangular grids. It makes use of a vertex-centroid finite volume scheme which is second order accurate. The adjoint solver is developed using the automatic differentiation tool called TAPENADE. Code has been moved to https://github.com/cpraveen/euler2d
-
21
Python program for fitting rate constants to primarily kinetic data as 1st or 2nd order kinetics or autocatalysis. It also allows specific noise cancelling, data smoothing by fourrier transform, box averaging and flowing mean. For Python 2.6 or earlier.
-
22
OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter(as neural network)
-
23
MaCaCo (Mathematical Calculations Core) is a numerical analysis library written in C++ with an XML messaging based interface. It uses a daemon in order to attend requests and serve solutions to the asked problems.
-
24
RADLib is a graphics library. It was written in order to help developers design graphics applications easily and quickly. The library is available for .NET, Java, Delphi, Kylix.
-
25
mbFuzzIT enables the work with Fuzzy technology (fuzzy inference / fuzzy logic) in Java. In order to facilitate the creation of the inference mechanisms, mbFuzzIT containts a visual editor.
