Publication:4023355
From MaRDI portal
zbMath0758.68010MaRDI QIDQ4023355
Publication date: 23 January 1993
68W30: Symbolic computation and algebraic computation
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
Related Items
Unnamed Item, On Strong Pseudoprimes to Several Bases, Rabin-Miller Primality Test: Composite Numbers Which Pass It, Refiner: A Problem-Solving Environment for Scientific Simulator Creation, Calcul de résolvantes avec les modules de Cauchy, 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, On the links between triangular sets and dynamic constructible closure, AXIOM, Commutative algebra in the Mizar system, A bridge between dynamic geometry and computer algebra, Univariate polynomial factorization over finite fields, Sketches and parametrization, Solving a system of algebraic equations with symmetries, On the computation of minimal polynomials, cyclic vectors, and Frobenius forms, Pseudo differential operators and integrable systems in AXIOM, 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., Examples of using dynamic constructible closure., Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey, Triangular sets for solving polynomial systems: a comparative implementation of four methods, Cyclic caps in \(\mathrm{PG}(3,q)\), Dynamic evaluation and algebraic closure 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, Hidden verification for computational mathematics, The adjacency graph of a real algebraic surface
Uses Software
