Search Results for "system 1"
Sort By:
Showing 78 open source projects for "system 1"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
MathCode
A Frontier Mathematical Coding Agent
...The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
2
JAX
Composable transformations of Python+NumPy programs
With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and... -
3
Minsky
System dynamics program with additional features for economics
...Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate. -
4
Euler Math Toolbox
Numerical and Symbolic Math Tool
Euler is a powerful all-in-one numerical software and includes Maxima for seamless symbolic computations. Euler supports Latex for math display, Povray for photo-realistic 3D scenes, Python, Matplotlib and C for scripting, and contains a full programming language. Features include libraries for numerical algorithms, optimization, plotting in 2D and 3D, graphics export, a complete help system, tutorials and examples. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
csm-hzb
An EPICS device support for one and two dimensional interpolation.
This module contains two parts: The first is a generic (EPICS-independent) library implementing one- and two-dimensional interpolation tables, including procedures to load and store them from a file system. The second is an EPICS record type specifically designed to make it easy to do conversion via interpolation table and other means. The cvtRecord uses the csm library to achieve conversion via tables. -
6
TAVIA
Open statistics and scientific graphing
TAVIA is a free and open-source desktop application for statistical analysis, scientific graphing, reproducible workflows, and research project management. It combines editable data tables, statistical tests, regression, dose-response analysis, publication-quality graphs, reports, project history, and reproducibility tools in one workspace. Analyses and graphs remain linked to their source data so results can be refreshed when data changes. TAVIA supports Windows, Linux, and macOS, includes... -
7
basic_numerical_methods
Didactic application to aid students in learning Numerical Methods;
A practical tool (for students and engineers) to foresee the result of calculus exercises. Calculation and visualization numerical methods for nonlinear equation, ODE, integration, linear system, polynomial fitting,..... -
8
This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..
-
9
smib is one of the smallest and simplest computer algebra system in the world, but simple does not mean simplistic. Using smib you can explore many branches of mathematics (e.g. number theory, algebra, calculus, numerical analysis, differential geometry, probability and stochastic calculus) and also some physics (e.g. electromagnetism and quantum mechanics)..
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Polynomial System Solver
pss5 is a polynomial system solver, under development.
The objective of this project is to build a general-purpose polynomials system solver. While a few of those programs are available, this one will incorporate recent mathematical advances on mixed volume computations, sparse condition numbers and condition-metric homotopy. -
11
AirTSP
Simulated Airline Travel Solution Provider Library
...AirTSP/AirTSP is the one of the components of the Travel Market Simulator (http://www.travel-market-simulator). However, it may be used in a stand-alone mode. -
12
n-chinese-remainders
chinese remainder theorem - progressive solving, n-soln, extras
"chinese remainder" solves a system of equations over modulus quickly. crtwo is an improvement to Mathematica's release. crtwo: solves Chinese Remainder a pair at a time, (uses gcd), yet is still fast. Which means crtwo, unlike text book soln, uses an algorithm to solve or fail one mod equation at a time. showing win or fail of each eqn and solving other sawtooth intersections is possible, due to that. -
13
Primes
Calculate primes by using extremely fast sorting
This project considers the problem of calculating primes as a sorting problem. It includes the most efficient tree-based sorting algorithm that is possible and shows that finding a new prime can be done by sorting the differences between the previous primes in the right way. Unfortunately it has turned out that going this way is even more slowly than trying to find primes by brute force. So it can only be used as a test with heavy load for the sorting algorithm, which can be used for... -
14
Econball
Equation of stock trading simplified to game of moving resizing balls
The econ theory is the value of buy and sell are usually equal, at whatever free market price at the time, so if we trade between 2 things, holding the total of those 2 equal eachother, then you can buy without anyone selling, or sell without anyone buying. Just change from one equal valued type to the other, and the total of all the A's and all the B's are scaled instantly to be the same amounts. Those who change to the majority side lose, and those who change to the minority side win,... -
15
CPPLapack is a c++ class wrapper for BLAS, LAPACK and PARDISO. Its special features are the followings. [1]User-friendly interface [2]Hi-speed matrix calculations using BLAS and LAPACK [3]Minimized number of copy times using Smart Temporary system
-
16
quickplot
interactive 2D plotter
Quickplot is a fast interactive 2D plotter with infinite zooming, value picking, pipe input, and unlimited plots displayed. Quickplot is meant for looking at your data quickly and of secondary importance is making static pictures of your data. -
17
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
18
Kontinuum Calculator
Calculate various aspects of the Kontinuum RPG system.
Kontinuum is a calculator program that enables the user to calculate all probabilistic aspects of the Kontinuum RPG system, especially the dice rules. -
19
LightCAS
LightCAS is very lightweigth Computer Algebra System
LightCAS is lightweight 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. -
20
MRA
A general recommender system with basic models and MRA
Multi-categorization Recommendation Adjusting (MRA) is to optimize the results of recommendation based on traditional(basic) recommendation models, through introducing objective category information and taking use of the feature that users always get the habits of preferring certain categories. Besides this, there are two advantages of this improved model: 1) it can be easily applied to any kind of existing recommendation models. And 2) a controller is set in this improved model to provide... -
21
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. -
22
Soothsayer
Capacity exhaustion prediction from RRD files
Predict if storage utilised will reach capacity within defined period (maximum 5 years), using recent historical data contained within RRD files (maximum -1 year). Produces HTML (or partial HTML) and, more importanly, a PNG RRD Graph showing the prediction and, should the capacity be reached, an annotation indicating when. Optionally email out exception notices. -
23
EnvStats
An R Package for Environmental Statistics
...The EnvStats package, along with the R software environment, provides comprehensive and powerful software for environmental data analysis. EnvStats brings the major environmental statistical methods found in the literature and regulatory guidance documents into one statistical package, along with an extensive hypertext help system that explains what these methods do, how to use these methods, and where to find them in the environmental statistics literature. Also included are numerous built-in data sets from regulatory guidance documents and the environmental statistics literature. EnvStats combined with other R packages (e.g., for spatial analysis) provides the environmental scientist, statistician, researcher, and technician with tools to “get the job done!” -
24
LogicCalculus
A logic IDE for the sentential logic and the predicate logic.
LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table. -
25
Respol: A software package for computing projections of resultant polytopes Description: Respol is C++ software to compute a projection of the Newton polytope of the resultant of a given polynomial system. These are indirectly defined high-dimensional polytopes. Related Papers: [1] I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda. An oracle-based, output sensitive algorithm for projections of resultant polytopes. International J. Computational Geometry & Applications (Special issue) World Scientific, 2013. [2] I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda. ...
