IBM Scratchpad

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