Search Results for "cai"
Sort By:
Showing 43 open source projects for "cai"
View related business solutions-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
MatCont
Numerical Bifurcation Analysis Toolbox in Matlab
MatCont is a Matlab software project for the numerical continuation and bifurcation study of continuous and discrete parameterized dynamical systems. Leaders of the project are Willy Govaerts (Gent,B) and Yuri A. Kuznetsov (Utrecht,NL) and Hil G.E. Meijer (UT, Enschede, NL). Matcont for ODEs and MatcontM for Maps Publishing a paper using our software? That's great. Please do us a favour and cite: New features of the software MatCont for bifurcation analysis of dynamical systems. A.... -
2
Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).
-
3
The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).
-
4
JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual"...
-
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
That project (RMOL) aims at giving developers concerned by the Revenue Management arena a library delivering a reference implementation for most of the published algorithms and methods. That library is intended to be used in simulated environment: it does not intend to be used in real world production systems.
-
6
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
-
7
Algebra Helper shows how signs change when moving a quantity from one side of an equation to the other. Algebra Helper is implemented in JavaScript.
-
8
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
9
Myrtle
A simple programmable spreadsheet for learning statistics.
Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and... -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
-
11
Pw.mac is an enhancement to Maxima, so you will have to get Maxima. Pw.mac enables Maxima to handle integration, differentiation, computation of products, sums and powers, plotting, transforming and simplifying piecewise continuous functions.
-
12
Software de Mapas de Argumentos con interfaz gráfica diseñado con el objetivo específico (aunque no excluyente) de analizar la estructura argumentativa de demostraciones matemáticas, utilizando el modelo de Toulmin. Además, el contenido de los elementos puede ser tanto texto como imágenes, lo que permite guardar como imagen expresiones matemáticas escritas en LaTeX (utilizando software de apoyo como KLatexFormula). Se puede imprimir el diagrama y exportarlo a formato imagen (varios...
-
13
MathJax is a modular javascript framework for including mathematics in web pages. It can take input in various formats, like TeX and MathML, and can produce output in various forms, such as MathML or HTML-with-CSS. Components are loaded as needed.
-
14
-
15
A simple program that solves linear equation systems. As of now only numerical coefficients are supported. The program is very simple and not suited for big matrices, since it uses laplace's method.
-
16
IMathAS is a web-based math assessment and homework system. It is a course/learning management system (CMS/LMS/VLE) and testing system featuring algorithmic questions, similar to WebWork, Webassign, and publisher systems like iLrn, MathXL, etc.
-
17
Geoplan-Geospace is a 2D and 3D interactive geometry software to create and manipulate interactive figures for eLearning. It features euclidean geometry objects (lines, circles), numerical functions, numerical sequences, geometrical transformations.
-
18
G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.
-
19
QtEukleides is a versatile graphical front-end for creating geometrical constructions and figures using the Eukleides language.
-
20
-
21
Quad Genius Pro is an interactive java-based graphical software designed by me at IIT Guwahati for school students of classes sixth to ninth to help them solve quadratic and linear equations and learn through the process.
-
22
We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.
-
23
Applications for mobile phones with Java installed (KVM MIPS 2), which functions as a calculator to solve basic problems offered to scientists of computing.
-
24
MathWorx is a JavaScript library of mathematical objects, also including 2D plotting functionality and will eventually have 3D object compatibility. A GUI editor will be made based on these libraries to ease the development of interactive math pages.
-
25
yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.
