scientific article

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

computer algebra SCRATCHPAD symbolic computation system AXIOM

Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Related Items

A geometric approach to alternating $k$-linear forms, Formalizing mathematical knowledge as a biform theory graph: a case study, Employing C++ Templates in the Design of a Computer Algebra Library, Invariants for the FoCaL language, Cyclic caps in $\mathrm{PG}(3,q)$, Solving a system of algebraic equations with symmetries, On the computation of minimal polynomials, cyclic vectors, and Frobenius forms, Dynamic evaluation and algebraic closure in Axiom, Pseudo differential operators and integrable systems in AXIOM, Arcs in $\mathrm{PG}(n,q)$ fixed by $A_5$ and $A_6$, On the construction of arbitrary order schemes for the many dimensional wave equation, Commutative algebra in the Mizar system, A bridge between dynamic geometry and computer algebra, Trace forms and ideals on commutative algebras satisfying an identity of degree four, Univariate polynomial factorization over finite fields, On second order homogeneous linear differential equations with Liouvillian solutions, On square-free factorization of multivariate polynomials over a finite field., Indexed types, Equality in computer algebra and beyond., A constructive algebraic hierarchy in Coq., Efficient Finite Fields in the Maxima Computer Algebra System, Implementing a method for stochastization of one-step processes in a computer algebra system, On a machine-checked proof for fraction arithmetic over a GCD domain, Unnamed Item, Hidden verification for computational mathematics, On Strong Pseudoprimes to Several Bases, An algebraic study of the Klein bottle, The $HD$ and $H\bar D$ methods for accelerating the convergence of three-center nuclear attraction and four-center two-electron Coulomb integrals over $B$ functions and their convergence properties, Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code, Connecting the 3D DGS Calques3D with the CAS Maple, Basic Polynomial Algebra Subprograms, Generic, Type-Safe and Object Oriented Computer Algebra Software, The adjacency graph of a real algebraic surface, PSEUDO: applications of streams and lazy evaluation to integrable models, On the links between triangular sets and dynamic constructible closure, Evaluation of a Java Computer Algebra System, Calcul de résolvantes avec les modules de Cauchy, Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework, Rabin-Miller Primality Test: Composite Numbers Which Pass It, Exploring abstract algebra in constructive type theory, Triangular sets for solving polynomial systems: a comparative implementation of four methods, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, AXIOM, Refiner: A Problem-Solving Environment for Scientific Simulator Creation, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, Quadratic Lie Algebras, Examples of using dynamic constructible closure., Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective, Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey, Radiation-reaction in classical off-shell electrodynamics. I. The above mass-shell case, Sketches and parametrization, Modelling algebraic structures and morphisms in ACL2, Locales: a module system for mathematical theories, The basic polynomial algebra subprograms

Uses Software