scientific article
From MaRDI portal
Publication:4023355
zbMATH Open0758.68010MaRDI QIDQ4023355FDOQ4023355
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)
Cited In (55)
- Hidden verification for computational mathematics
- On second order homogeneous linear differential equations with Liouvillian solutions
- A bridge between dynamic geometry and computer algebra
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- Implementing a method for stochastization of one-step processes in a computer algebra system
- 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
- The adjacency graph of a real algebraic surface
- On a machine-checked proof for fraction arithmetic over a GCD domain
- Equality in computer algebra and beyond.
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
- Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case
- Exploring abstract algebra in constructive type theory
- Connecting the 3D DGS Calques3D with the CAS Maple
- Calcul de résolvantes avec les modules de Cauchy
- Indexed types
- Pseudo differential operators and integrable systems in AXIOM
- Commutative algebra in the Mizar system
- A geometric approach to alternating \(k\)-linear forms
- Title not available (Why is that?)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Refiner: A Problem-Solving Environment for Scientific Simulator Creation
- Univariate polynomial factorization over finite fields
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
- On the construction of arbitrary order schemes for the many dimensional wave equation
- Employing C++ Templates in the Design of a Computer Algebra Library
- A constructive algebraic hierarchy in Coq.
- Solving a system of algebraic equations with symmetries
- Sketches and parametrization
- Arcs in \(\mathrm{PG}(n,q)\) fixed by \(A_5\) and \(A_6\)
- AXIOM
- Invariants for the FoCaL language
- Basic Polynomial Algebra Subprograms
- Title not available (Why is that?)
- Quadratic Lie Algebras
- Cyclic caps in \(\mathrm{PG}(3,q)\)
- PSEUDO: applications of streams and lazy evaluation to integrable models
- On square-free factorization of multivariate polynomials over a finite field.
- Dynamic evaluation and algebraic closure in Axiom
- The basic polynomial algebra subprograms
- On Strong Pseudoprimes to Several Bases
- Locales: a module system for mathematical theories
- An algebraic study of the Klein bottle
- Efficient Finite Fields in the Maxima Computer Algebra System
- Modelling algebraic structures and morphisms in ACL2
- Trace forms and ideals on commutative algebras satisfying an identity of degree four
- On the computation of minimal polynomials, cyclic vectors, and Frobenius forms
- Rabin-Miller Primality Test: Composite Numbers Which Pass It
- Examples of using dynamic constructible closure.
- Generic, Type-Safe and Object Oriented Computer Algebra Software
- On the links between triangular sets and dynamic constructible closure
- Evaluation of a Java Computer Algebra System
- 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
- Formalizing mathematical knowledge as a biform theory graph: a case study
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
Uses Software
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Open source computer algebra systems 👍 👎
- Axioms of an experimental system 👍 👎
- Scientific Computation 👍 👎
- A System for Axiomatic Programming 👍 👎
- An Axiomatic System Suggested by Quantum Computation 👍 👎
- On the Performance of Axiom Systems 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023355)
