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