Search Results for "stable-diffusion"

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. Maxima has user-friendly front-ends, an online manual, plotting commands, and numerical...

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. REDUCE has a long and distinguished place in the...

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.

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

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/

Run Maxima programs via the web in batch mode. Maxima is a Computer Algebra System written in Lisp.

FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics

mupacs is a lisp mode for editing MuPAD code (automatic indentation, fontification, ...), as well as running MuPAD in a subshell, with support for debugger and online documentation

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

MATHOOL is an online and offline javascript application powered by REDUCE computer algebra system, JSXGraph and other open source javascript programs devoted to scientific calculations and graphic visualization.