The following pages link to IBM Scratchpad (Q13189):
Displayed 33 items.
- An algebraic study of the Klein bottle (Q504542) (← links)
- Macsyma: A personal history (Q655565) (← links)
- PSEUDO: applications of streams and lazy evaluation to integrable models (Q709591) (← links)
- Rational geometry in space (Q809189) (← links)
- On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation (Q831966) (← links)
- The transcendental Risch differential equation (Q919410) (← links)
- An application of factoring (Q1081302) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- On an installation of Buchberger's algorithm (Q1121950) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Computational problems in the theory of finite fields (Q1180998) (← links)
- An algorithm for solving parametric linear systems (Q1194335) (← links)
- Operator method for the perturbative solution of ordinary differential equations (Q1251757) (← links)
- Pseudo differential operators and integrable systems in AXIOM (Q1365899) (← links)
- Generating power of lazy semantics (Q1389632) (← links)
- Generic computation of the real closure of an ordered field. (Q1565819) (← links)
- Improving CAS capabilities: new rules for computing improper integrals (Q1740454) (← links)
- Some problems in computational representation theory (Q1813915) (← links)
- Decomposing algebraic sets using Gröbner bases (Q1823621) (← links)
- Some applications of computerized symbolic manipulation in the analysis of chemical engineering systems (Q2638835) (← links)
- Integration of elementary functions (Q2639105) (← links)
- Overview of the Mathemagix Type System (Q2799572) (← links)
- A System for Axiomatic Programming (Q2907330) (← links)
- Lazy and Forgetful Polynomial Arithmetic and Applications (Q3644102) (← links)
- (Q3790646) (← links)
- On the Number of Nonzeros Added when Gaussian Elimination is Performed on Sparse Random Matrices (Q4053004) (← links)
- An Improved Multivariate Polynomial Factoring Algorithm (Q4168687) (← links)
- Contractive methods for stiff differential equations part I (Q4195869) (← links)
- Contractive methods for stiff differential equations Part II (Q4195870) (← links)
- (Q4234280) (← links)
- Rabin-Miller Primality Test: Composite Numbers Which Pass It (Q4325735) (← links)
- Infinite structures in scratchpad II (Q5393320) (← links)
- Implementation of a geometry theorem proving package in SCRATCHPAD II (Q5393347) (← links)