Search Results for "all-in-one" - Page 3
Sort By:
316 programs for "all-in-one" with 2 filters applied:
-
Vertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
-
Calmerry is beneficial for businesses of all sizes, particularly those in high-stress industries, organizations with remote teams, and HR departments seeking to improve employee well-being and productivity
-
1
Logic Calculator
A Calculator to perform logical operations
The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions... -
2
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 pair... -
3
-
4
RPy is a very simple, yet robust, Python interface to the R Programming Language. It can manage all kinds of R objects and can execute arbitrary R functions (including the graphic functions).
-
Act! Premium is perfect for small and midsize businesses looking to market better, sell more, and create customers for life. With unparalleled flexibility and freedom of choice, Act! Premium accommodates the unique ways you do business. Whether it’s customizations to fit your specific business or industry processes or your preferences for deployment and access, the possibilities with Act! Premium are limitless.
-
5
This project provides a Fortran90 library and a python module for singular spectrum analyses such as PCA/EOF or MSSA. It is intended for people interested, for example, in analysing climate or financial variability.
-
6
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. -
7
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. -
8
Immutable Sparse Wave Trees (WaveTree)
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
... of that as Bits, subranges of them, and ints for sizes of its parts. Expansion ability for other kinds of compression, since Bits is a Java interface. Main functions on bits are substring, concat, number of 0 or 1 bits, and number of bits (size). All those operations can be done millions of times per second regardless of size because the AVL forest reuses existing branches recursively. Theres a scalar (originally for copy/pasting subranges of sounds) and a bit Java package. Sparse n dimensional matrix. -
9
hbgm
'Hierarchical Bond Graph Modelling of Biochemical Networks'
Scripts and supplementary data for the manuscript 'Hierarchical Bond Graph Modelling of Biochemical Networks': Peter J. Gawthrop(1), Joseph Cursons(1,2), and Edmund J. Crampin(1-4). (1) Systems Biology Laboratory, Melbourne School of Engineering, University of Melbourne, Victoria 3010, Australia. (2) ARC Centre of Excellence in Convergent Bio-Nano Science, Melbourne School of Engineering, University of Melbourne, Victoria 3010, Australia. (3) Department of Mathematics and Statistics... -
As your users rely more and more on Cloud and Internet-based technologies, reliable internet connectivity becomes more and more important to your business. With Bigleaf’s proven SD-WAN architecture, groundbreaking AI, and DDoS attack mitigation, you can finally deliver the reliable internet connectivity your business needs without the limitations of traditional networking platforms. Bigleaf’s Cloud Access Network and plug-and-play router allow for limitless control to and from anywhere your traffic needs to go. Bigleaf’s self-driving AI automatically identifies and adapts to any changing circuit conditions and traffic needs—addressing issues before they impact your users. Bigleaf puts you in the driver’s seat of every complaint and support call with full-path traffic and network performance data, delivered as actionable insights, reports, and alerts.
-
10
kmatrice
kmatrice es un programa de Algebra Lineal
kmatrice es un programa dirigido a los interesados en el Algebra Lineal y las matemáticas en general, sera de gran ayuda en la comprensión y el desarrollo de las operaciones que pueden ser realizadas con los renglones y las columnas de una matriz. -
11
SL2
SL2 (= SLSL) - A Simple Linear Systems Library
SL2 is a C++ template library for solving systems of linear equations, providing the most common algorithms for dense and sparse systems. It uses OpenMP for parallelization and has no other dependencies. As the name suggests, SL2's implementation is staightforward with a focus on clear concepts, easy usage and understandable code. -
12
Visual Integer Factor
Puzzle game demonstrating whats so hard about binary integer factoring
VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2... -
13
Make It True
Simple, effective algebra trainer
Make It True is a web application to practice fundamental algebra procedures used when manipulating equations. The application generates arbitrary equations containing 1-4 variables. It is for the student to provide values for these variables which make the equation true. For example, in the screenshot above the equation is: 18-64-c*d=4. The student must choose values for c and d which result in a true statement. One approach would be to solve for the product "c*d" and then choose 2 numbers... -
14
This is a Java library for manipulating Oriented Matroids.
-
15
Tail Probability Calculator
Tail probability calculator for continuous random variable
A suite of Matlab functions that calculate the tail probability / cdf / pdf / quantile of linear combination of random variables in one of the following classes: (1) symmetric random variables with support on the real axis (normal, Student's t, uniform and triangular); (2) random variables with support on the positive real axis (chi-squared and log-Lambert W x chi-squared distributions; inverse gamma distribution is temporarily disabled due to numerical issues). -
16
It's a program that plots Bode diagrams with an excellent precision. In this new version it's very easy to provide the function to plot thanks to a simply graphic interface in style "what you see is what you got". A smart output window allows to plot more than one graph at the same time, and easily compare them. The plotted graphs can be exported as images, in various format. Language supported: italian. Next version probably will include other languages; certainly english...
-
17
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
18
An object oriented Math library written in C++. This library contains set of template classes that are ready to be used. Currently a 2D Matrix, modular arithmetic, vector, and complex numbers are present. These systems can work together, you can create a matrix of complex numbers. Iterators for matrix and vector classes will be added soon. Please use SVN to access current version.
-
19
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance... -
20
ExactCalc
Software for exact computing based on interval arithmetic.
1/3 is not 0.33. Pi is not 3.14. Actually 1/3 is in interval [0.33, 0.34] and pi is in interval [3.14, 3.15]. During computation truncating error is accumulating. At end of computation it is needed to know real boundaries of result. The solution is given by interval arithmetic. Simply speaking, because 1/3 is in interval [0.33, 0.34] and 1/7 is in interval [0.14, 0.15], value 1/3 - 1/7 must be in [0.18, 0.2]. Computation can be arbitrary long and complex but interval arithmetic gives... -
21
resParser
Command line scientific calculator
... * Infinite number of variables * Specific functions for computation of resistors value (E12, E24) rounding, parallel computation, k = 000, M = 000000 * Store the status (hystory of the commands, variables status) between sessions This software is OPEN SOURCE and released under GPL license so you can feel FREE to use, copy, share, (but above all) to study, analyze and modify it as you like (within the terms of the license). -
22
EMsieve
A simple sieve/prefactor program for Eisenstein-Mersenne Primes
A simple sieve/prefactor program for the so-called Eisenstein-Mersenne Primes: 3^p +- 3^((p + 1)/2) + 1. See http://oeis.org/A125738, A125739 and [1] for a good introduction. Some easily established properties are: p must be prime; sign is minus for p=+-1 (mod 12), plus otherwise; composites only have factors of form 6kp+1 (integer k). Related probable primes (3^p -+ 3^((p + 1)/2) + 1)/7 are sieved at the same time. See http://oeis.org/A125743, A125744. After sieving, the Berrizbeitia-Iskra... -
23
binary Turing Machine
A Turing Machine Simulator
Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available) -
24
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. -
25
VisualMathEditor
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow...