Search Results for "higher math system"
Sort By:
59 projects for "higher math system" with 2 filters applied:
-
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.
-
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.
-
1
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. -
2
java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
-
3
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.
-
4
Automatic Drawing Generation
A canvas library for generating technical drawings
The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. ... -
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
-
6
newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
-
7
openCONFIGURATOR
An Open Source POWERLINK network configuration toolkit
openCONFIGURATOR is an open-source configuration framework for easy setup, configuration and maintenance of any POWERLINK (https://goo.gl/U9tjiy) network. It ideally complements openPOWERLINK, the open source POWERLINK protocol stack for master and slave. The project consists of a core library implementing the configuration algorithms and an eclipse plugin base user interface. For XDD tooling and validation support within eclipse please visit: https://goo.gl/NBytgg Please use the... -
8
experix laboratory control system
instrument control, data acquisition display and analysis
Experix is a command-line driven environment for laboratory data acquisition and device control and graphical presentation and analysis of data. Written in C for GNU-Linux . Tested on PC and Raspberry Pi. The core is written very generally in order to support applications by means of script files. Device interfaces: PCMCIA daq (2 devices tested) via kernel module with interrupt handler and memory-mapped data; USB daq (1 device tested) using libusbx; running an equipment servicing program... -
9
LAMA
Heterogeneous Software Development Accelerated
LAMA is a framework for developing hardware-independent, high performance code for heterogeneous computing systems. It facilitates the development of fast and scalable software that can be deployed on nearly every type of system with a single code base. By using LAMA for their application, software developers benefit from higher productivity and stay up to date with the latest hardware innovations, both leading to shorter time-to-market. The framework supports multiple target platforms within a distributed heterogeneous environment. It offers optimized device code on the backend side, high scalability through latency hiding and asynchronous execution across multiple nodes. ... -
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.
-
10
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. -
11
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,... -
12
Machinist Math Kit
Set of tools that help CNC machinists
A set of tools/calculators that help CNC machinists quickly handle math associated with machine technology. Will incorporate more calculators when they are ready the final product will probably be a single combined application. Currently available is a Mill Rate calculator that is recursive, meaning it changes the corresponding values as you manipulate the data. In the works is a Can Cycle calculator that functions the same way. -
13
Tinger Calc
Tinger Calc is a powerful scientific calculator environment.
Tinger Calc is a powerful scientific calculator environment. It supports elementary math ( +, -, *, /, ^), trigonometric functions (sin, sinh, asin, cos, cosh, acos, tan, tanh, atan), exponential functions (exp, ln, lg, sqrt), math constants (pi, e), system functions (exit, quit, print). The software support email: tingersoft@gmail.com. -
14
ApproxAdderLib
Library of Approximate Adders
We provide MATLAB and Verilog Models of GeAr, and previously proposed adders (ACA-I, ETAII, ACA-II and GDA) at http://sourceforge.net/projects/approxadderlib/ GeAr is a low latency Generic Accuracy Configurable Adder that provides a higher number of potential configurations compared to state-of-the-art approximate adders, thus enabling a high degree of flexibility and trade-off between performance and output quality. These MATALB and Verilog models can allow software programmer as well as... -
15
iMS2Flux is a command line based high-throughput processing tool set for stable isotope labelled mass spectral data targeting metabolic flux analysis. To get started simply download and unzip the iMS2Flux.zip file and follow the getting started document for your OS. Current version 7.2.1 (last updated 9/30/2014) - Completes support and correction functionality for a new user specified generic data class. See the change log for full details.
-
16
OPEN GENERAL SCIENTIFIC INTERFACES homepage : http://www.opengsi.org
-
17
Geomview
an interactive 3D viewing program
Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three- and higher-dimensional objects, and can also be used as a display engine by other programs to animate objects. Geomview supports OpenGL and uses a Motif X interface. -
18
math toolkit
A C++ and Python library for finance, statistics and linear algebra.
A lightweight C++ and Python library for finance, statistics and linear algebra. Finance features include compound rate present/future value, annuity, various present/future value coefficients ... Statistics features include mean, median, variance, standard deviation, covariance, correlation, linear regression, probabilities and random variates of various distributions ... Linear algebra features include matrix arithmetic, inverse, determinant, rank, linear system solution, lu/qr... -
19
QVision: Computer Vision Library for Qt
Computer vision and image processing library for Qt.
This library contains among other things a set of graphical widgets for video output, performance evaluation and augmented reality. The library also provides classes for several data types usually required by computer vision and image processing applications such as vectors, matrices, quaternions and images. Thanks to a large number of wrapper functions these objects can be used with highly efficient functionality from third party libraries such as OpenCV, GNU Scientific Library,... -
20
FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.
-
21
ME_DSS
Microemulsion Decision Support System
This application allow user to predict microemulsion region based on algorithm consisted of artificial neural networks and random forests. Those techniques combined create Decision Support System. Application was created as a part of project K/DSC/000033 subsidy for young researchers from Polish Ministry of Higher Education. -
22
FluxY
FluxY – a processing tool set for stable isotope label MS data
FluxY is a command line based high-throughput processing tool set for stable isotope labelled mass spectral data used for metabolic flux analysis. To get started simply download and unzip the FluxY.zip file and follow the getting started document in the Instructions folder. -
23
The Harmony of the World
A fair attempt at the Keplerian tradition to explore the solar system
...JAVA 2, system independent. Purpose:to encourage research in harmony in astronomy, math and music. Obstacles:math, DSP/synthesis, networks, astronomy. Features:audio, database, graphics Technologies: Telnet, .WAV audio, oggvorbis, other audio -
24
-
25
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.
