IBM Scratchpad

swMATH429MaRDI QIDQ13189FDOQ13189

Author name not available (Why is that?)

Cited In (33)

• 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
• A System for Axiomatic Programming
• Implementation of a geometry theorem proving package in SCRATCHPAD II
• Operator method for the perturbative solution of ordinary differential equations
• Infinite structures in scratchpad II
• Overview of the Mathemagix Type System
• 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?)
• Contractive methods for stiff differential equations part I
• Contractive methods for stiff differential equations Part II
• An Improved Multivariate Polynomial Factoring Algorithm
• Macsyma: A personal history
• PSEUDO: applications of streams and lazy evaluation to integrable models
• Lazy and Forgetful Polynomial Arithmetic and Applications
• 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
• 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
• An algorithm for solving parametric linear systems
• An application of factoring

This page was built for software: IBM Scratchpad