Search Results for "cas computer algebra system"
Sort By:
Showing 69 open source projects for "cas computer algebra system"
View related business solutions-
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.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
SymPy
A computer algebra system written in pure Python
SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously improved. ... -
2
Oscar.jl
A comprehensive open source computer algebra system for computations
Welcome to the OSCAR project, a visionary new computer algebra system that combines the capabilities of four cornerstone systems: GAP, Polymake, Antic and Singular. OSCAR requires Julia 1.6 or newer. In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory. -
3
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
...It lets you create, rewrite and simplify symbolic expressions, and generate Julia code from them. SymbolicUtils.jl provides various utilities for symbolic computing. SymbolicUtils.jl is what one would use to build a Computer Algebra System (CAS). If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl. If you want to build a crazy CAS for your weird Octonian algebras, you've come to the right place. Symbols in SymbolicUtils carry type information. Operations on them propagate this information. A rule-based rewriting language can be used to find subexpressions that satisfy arbitrary conditions and apply arbitrary transformations on the matches. ... -
4
REDUCE
A Portable General-Purpose Computer Algebra System
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
Maxima -- GPL CAS based on DOE-MACSYMA
Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0, giving the symbolic results [x=r+s, x=-s]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats. -
6
DeepSeek Math
Pushing the Limits of Mathematical Reasoning in Open Language Models
...MATH, GSM8K, ARB), demonstration notebooks, prompt templates, and evaluation results on math benchmarks. The goal is to push DeepSeek’s performance in domains that require rigorous symbolic steps, calculus, linear algebra, number theory, or multi-step derivations. The repo may also include modules that integrate external computational tools (e.g. a CAS / computer algebra system) or calculator assistance backends to enhance correctness. Because math reasoning is a high bar for LLMs, DeepSeek-Math aims to showcase their model’s ability not just in natural text but in precise formal reasoning. -
7
Catlab.jl
A framework for applied category theory in the Julia language
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for... -
8
Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language, with a syntax similar to other modern programming languages. ... -
9
OpenBLAS
Optimized BLAS library based on GotoBLAS2 1.13 BSD version
...The reference BLAS is included inside the LAPACK package. Please refer to tools built under Windows using Cmake the cross-platform, open-source build system. The new build system was developed in collaboration with Kitware Inc. Machine-specific optimized BLAS libraries are available for a variety of computer architectures. These optimized BLAS libraries are provided by the computer vendor or by an independent software vendor. -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
ArrayFire
ArrayFire, a general purpose GPU library
ArrayFire is a general-purpose tensor library that simplifies the process of software development for the parallel architectures found in CPUs, GPUs, and other hardware acceleration devices. The library serves users in every technical computing market. Data structures in ArrayFire are smartly managed to avoid costly memory transfers and to take advantage of each performance feature provided by the underlying hardware. The community of ArrayFire developers invites you to build with us if... -
11
FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system.
-
12
moebinv
C++ libraries for manipulations in non-Euclidean geometry
...The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities of the GiNaC computer algebra system (http://ginac.de). Besides C++ libraries there is a Python wrapper, which can be used in interactive mode (https://codeocean.com/capsule/7952650/). Both libraries work in arbitrary dimensions and signatures of metric. Additionally, there are some 2D/3D-specific routines including a visualisation to PostScript files through Asymptote (http://asymptote.sourcefourge.net) software. ... -
13
a8cas
A portable library and tools for archiving images of Atari 8-bit tapes
A portable library and tools for archiving images of tapes with Atari 8-bit computer software. Provides a common interface for loading and saving tape images in various formats. Designed for use by emulators and Atari<->PC communication software. -
14
mozillux
Linux distribution to promote Mozilla
...It is easy to customize with the store application. Mozillux is finely tuned, with a very low system load average. It is fast, stable and highly secure. No adware, no spyware, no malware. Our latest release is available as shareware for download and your support is welcome. Please, report problems or solutions and improvements here. Thanks in advance for your help. Laurent CAS LittleBigOne -
15
mmmv_set_of_WinXP_SP3_x86_installers_t1
Yet another collection of WindowsXP ServicePack3 x86 binaries.
The binaries have been downloaded in 2023 summer and autumn from various places without checking the downloaded binaries for malware. There was an effort to download the binaries from original authors'/publishers' web sites, but if the original publishing web site could not be found or it lacked sufficiently old versions, then almost any random download site was used. -
16
JAYI - Just Another Yacas Interface is an interface for the computer algebra system Yacas. JAYI is based on WxMaxima design, and is a GUI for Yacas computer algebra system instead of maxima. JAYI provides menus and dialogs for many common yacas commands. JAYI is distributed under the Apache license. JAYI also consist of JAGPI - Just Another GnuPlot interface to plot graphs (2D/3D). As can be seen in features, JAYI interface with Yacas Computer Algebra System using RYacas. ...
-
17
Gap.app
Gap.app is a frontend and distribution for GAP on macOS
A native Macintosh front-end and distribution for the GAP computer algebra system. It provides a Mac-like command editing environment and save/load, while making available graphical libraries compatible with xgap. -
18
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
19
Combinatorial Game Suite
A computer algebra system for research in combinatorial game theory.
STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained. -
20
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).. By simple you can understand easy to program (smib is a dynamically typed language, with strong affinity to recursivity, programs are often short and powerful and maybe useful for teaching), and also easy to modify (source code is free, written in C language, and based on notions of stacks and lists). ...
-
21
This is a project aiming at creating programs for calculations in piecewise linear topology and mathematical physics—finite-dimensional topological quantum field theories—using GAP computer algebra system.
-
22
wxMaxima
Cross platform GUI for Maxima
wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/ -
23
Vector partition function - a mathematical project with focus on 1) symbolic computation (with the goal of becoming a complete computer algebra system); 2) computations in the area of Lie representation theory; 3) computations with vector partition functions.
-
24
yacas
Computer calculations made easy
...The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system comes with a library of scripts and extensive documentation. Yagy (http://sourceforge.net/p/yagy) provides full yacas experience wrapped in a simple and intuitive graphical interface. -
25
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
