swMATH1209MaRDI QIDQ13950FDOQ13950
Author name not available (Why is that?)
Official website: http://www.symbolics-dks.com/Macsyma-1.htm
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- ALPAL
- AXIOM
- Dill
- FAST16
- GENTRAN 90
- IBM Scratchpad
- Maple
- Mathematica
- Maxima
- MATHLAB
- CAMAL
- muMATH-79
- MuPAD
- NODES
- NP
- NSPCG
- Title not available (Why is that?)
- RAEEM
- RATH
- REDUCE
- TRIGMAN
- RICCIR
- SENAC
- SFA
- SHEEP
- SIMATH
- Title not available (Why is that?)
- Cayley
- GCDHEU
- BOSOR5
- ALTRAN
- ALDOR
- ALGOL 68
- PANDA
- MapleTensor
- FORMAC
- FORMINT
- SUPERCALC
- SYMMETRICA
- SYMMGRP
- SciNapse
- SoftLab
- SymbolicC++
- AQUARELS
- CAS/PI
- MAGDA
- DERIVE
- SOLGASMIX
- ANALITIK-91
- CRACKSTAR
- Mathcad
- GENTRAN
- MAGNUS
- wxMaxima
- Surf
- KSEG
- Mgfun
- EXCALC
- Logics' Explorer
- MUltlog
- Groebner
- FINGER
- HBFTrans2
- LISP
- SENAC
- ApplySym
- muMATH-83
- MathLibre
- MetMAP
- HBHGen
- LIE
- RATE
- ITENSOR
- GANITH
- VSPLAD
- PDEtools
- SYMMGRP.MAX
- SCOPE 1.5
- cheney-kincaid
- NAPACK
- LIE
- DDESpecialSolutions
- HIROTA.MAX
- PainleveTest
- PDESpecialSolutions
- PAINSING.MAX
- PDERecursionOperator
- Rif
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations
- FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
- Convergence of the equilibrium code SOLGASMIX
- Ricci calculus package in REDUCE
- Overview of the Mathemagix type system
- Main properties of the algorithmic language ANALITIK-91
- SFA, a package on symmetric functions considered as operators over the ring of polynomials for the computer algebra system MAPLE
This page was built for software: MACSYMA
