Search Results for "system 1"
Sort By:
Showing 69 open source projects for "system 1"
View related business solutions-
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.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
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... -
2
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. -
3
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... -
4
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,..... -
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.
-
5
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..
-
6
STEMCalc IV - Mathematics Swiss Knife
The Fourth Edition of STEMCalc and the biggest one yet!
+++DISCLAIMER+++ The project is still currently in beta, thus have bare functionality, and possible bugs. Anyone who can spare time and lend a helping hand as a beta-tester is very appreciated. Contact the author for more information. +++INTRO+++ STEMCalc IV is a simple, yet powerful, console-programmed calulator written in Java, performing one calculation with two numbers max at a time and other various functions. +++STORY+++ This is the fourth edition of the previously abandoned... -
7
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. -
8
Function Plotter
Plotting 2D mathematical functions
Function Plotter is a simple-to-use application that provides you with a quick and easy solution for plotting 2D mathematical functions. No advanced mathematics or programming knowledge is required, and the program can draw functions in milliseconds. It's based on Qt 5.5.0, OpenGL 2.0, and muparser 2.2.5. A complete list of all supported functions and operators is available on the muparser library website: www.beltoforion.de/article.php?a=muparser -
9
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,... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
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
-
11
Pixel Empires
A cellular automation simulation governed by probability.
This cellular automation simulation uses probability to control the growth and decay of different cells. This simulation uses cells of 6 different colors each of which is initially given one cell to be placed in a random location on the grid. 3 rules govern the evolution of this system: First, each cell will randomly select an empty cell around it or itself. If an empty cell is selected, a new cell will be formed in it. If the cell selects itself, it will not expand. In the next iteration, the new cells follow the same process. ... -
12
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... -
13
Carassius: Simple Petri Net Editor
Carassius is a tool for editing of Petri nets and graphs.
...It allows to create and edit models in a very simple manner. Carassius has features for model arrangements and formatting, thus it makes a model more readable and demonstrative. With Carassius one can simply construct the model and export automatically generated TeX-code for the paper. Suitable markup languages: PNML and graphML. System reqs: MS Windows and .NET Framework 4.0 or higher. Carassius is made in HSE PAIS Lab. -
14
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. -
15
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. -
16
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... -
17
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. -
18
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!” -
19
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. -
20
HELP TARZAN
A mathematical skill testing game specially for the kids.
Description: HELP TARZAN is a mathematical skill testing game specially for the kids. It is an educational software for all 32bit and 64bit Windows operating system. Recommendations: You must have installed .netframework 4.5 in your computer. Download Link of .NetFramework 4.5: http://www.microsoft.com/en-us/download/details.aspx?id=30653 or, http://www.filehippo.com/download_dotnet_framework_4/ If you have .NetFramework 3.5 then you may use the portable file / zipped file. Homepage: https://sourceforge.net/p/helptarzan Version: 1.0.0 Release date: September 26, 2013 Download info: For play HELP TARZAN you can download any one of them. ... -
21
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. ...
-
22
IMathSoft
The software for solving special problems of mathematics and physics
...The project "Infinite systems of matrix equations" consists in developing algorithms and software for solving systems of matrix equations. In the present version the project allows one to solve an infinite system of matrix equations which arises in the theory of stability preserving structural transformations of systems of second-order ODEs (see http://arxiv.org/abs/1204.1814). The project "Nonlinear Stourm-Liouville Problems with Distribution Potentials" is developed for solving nonlinear Sturm-Liouville problems with integrable potentials including Dirac delta function. ... -
23
Lightweight modelling program in which you can create, try and adjust your control (not only) system. Kernel of this program is MBricks - cross-platform collection of bricks. Created in Math Bricks system can be implemented in one *.h file.
-
24
-
25
MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
