swMATH429MaRDI QIDQ13189FDOQ13189
Author name not available (Why is that?)
Official website: https://github.com/daly/axiom; https://fricas.github.io/history.html
Cited In (45)
- On the Number of Nonzeros Added when Gaussian Elimination is Performed on Sparse Random Matrices
- On an installation of Buchberger's algorithm
- On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation
- Implementation of a geometry theorem proving package in SCRATCHPAD II
- Operator method for the perturbative solution of ordinary differential equations
- Title not available (Why is that?)
- Integration of elementary functions
- Pseudo differential operators and integrable systems in AXIOM
- Computational problems in the theory of finite fields
- Some applications of computerized symbolic manipulation in the analysis of chemical engineering systems
- Title not available (Why is that?)
- Infinite structures in Scratchpad II
- Contractive methods for stiff differential equations part I
- Contractive methods for stiff differential equations Part II
- SIMATH
- HAP
- FriCAS
- CAS
- muMATH-83
- SuSy 2
- Gofer
- AFFIRM
- FESTER
- An Improved Multivariate Polynomial Factoring Algorithm
- MultivariatePowerSeries
- SCHOONSCHIP
- Macsyma: A personal history
- PSEUDO: applications of streams and lazy evaluation to integrable models
- Lazy and Forgetful Polynomial Arithmetic and Applications
- NARROWER
- Generating power of lazy semantics
- Decomposing algebraic sets using Gröbner bases
- History and basic features of the critical-pair/completion procedure
- Some problems in computational representation theory
- The transcendental Risch differential equation
- An algebraic study of the Klein bottle
- A system for axiomatic programming
- Improving CAS capabilities: new rules for computing improper integrals
- Rabin-Miller Primality Test: Composite Numbers Which Pass It
- Generic computation of the real closure of an ordered field.
- A rewrite-based type discipline for a subset of computer algebra
- Rational geometry in space
- Overview of the Mathemagix type system
- An algorithm for solving parametric linear systems
- An application of factoring
This page was built for software: IBM Scratchpad
