AXIOM

swMATH63MaRDI QIDQ12835FDOQ12835

Author name not available (Why is that?)

Described by source

• Open source computer algebra systems
• Unnamed Publication

Cited In (only showing first 100 items - show all)

• Title not available (Why is that?)
• Subtyping inheritance and its application in languages for symbolic computation systems
• 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
• Equality in computer algebra and beyond.
• Algorithms and proofs inheritance in the FOC language
• Type classes for mathematics in type theory
• $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
• Title not available (Why is that?)
• Symbolic computations for the solution of inverse/design problems with Maple
• Connecting the 3D DGS Calques3D with the CAS Maple
• Objects in algebraic programming system
• The Basic Polynomial Algebra Subprograms
• On the classification of foliations of degree three with one singularity
• A computer algebra system based on order-sorted algebra
• On coherence in computer algebra
• Metalogical frameworks. II: Developing a reflected decision procedure
• Title not available (Why is that?)
• A perspective on symbolic mathematical computing and artificial intelligence
• The character values of multiplicity-free irreducible constituents of a transitive permutation representation
• Closed form Laurent-Puiseux series of algebraic functions
• Constructing Carmichael numbers which are strong pseudoprimes to several bases
• Title not available (Why is that?)
• Sketches and parametrization
• Algebraic Structures as Typed Objects
• Arcs in \(\mathrm{PG}(n,q)\) fixed by \(A_5\) and \(A_6\)
• Computeralgebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cyclic caps in \(\mathrm{PG}(3,q)\)
• On square-free factorization of multivariate polynomials over a finite field.
• On Strong Pseudoprimes to Several Bases
• An overview of a formal framework for managing mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A type system for computer algebra
• Modelling algebraic structures and morphisms in ACL2
• On the computation of minimal polynomials, cyclic vectors, and Frobenius forms
• Title not available (Why is that?)
• Rabin-Miller Primality Test: Composite Numbers Which Pass It
• Examples of using dynamic constructible closure.
• Software for the algorithmic work with orthogonal polynomials and special functions
• On the links between triangular sets and dynamic constructible closure
• Calculations with simplicial and cubical groups in AXIOM
• 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
• Title not available (Why is that?)
• Formalizing mathematical knowledge as a biform theory graph: a case study
• ON FORMAL CONTINUED FRACTIONS RELATED TO POWER SERIES EXPANSION
• Hidden verification for computational mathematics
• On second order homogeneous linear differential equations with Liouvillian solutions
• Title not available (Why is that?)
• A bridge between dynamic geometry and computer algebra
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Title not available (Why is that?)
• Title not available (Why is that?)
• The adjacency graph of a real algebraic surface
• On a machine-checked proof for fraction arithmetic over a GCD domain
• Title not available (Why is that?)
• Title not available (Why is that?)
• Effective algebraic geometry and normal forms of reversible mappings
• Overview of the Mathemagix Type System
• Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case
• Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment
• Title not available (Why is that?)
• Exploring abstract algebra in constructive type theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Microlocal diagonalization of strictly hyperbolic pseudodifferential systems and application to the design of radiation conditions in electromagnetism
• One Dimensional Quantum Walks with Memory
• Title not available (Why is that?)
• Galois groups of second and third order linear differential equations
• Calcul de résolvantes avec les modules de Cauchy
• An algorithm for computing an integral basis in an algebraic function field
• Computation of kinematic paths and bifurcation points
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Indexed types
• Liouvillian and algebraic solutions of second and third order linear differential equations
• Title not available (Why is that?)
• Pseudo differential operators and integrable systems in AXIOM
• Commutative algebra in the Mizar system
• Effective construction of algebraic geometry codes
• Shuffle algebra and polylogarithms
• Triangular sets for solving polynomial systems: a comparative implementation of four methods
• Polynomial algorithms in computer algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Univariate polynomial factorization over finite fields
• On the construction of arbitrary order schemes for the many dimensional wave equation
• Formal algorithms applied to the study of the cyclicity of a generic algebraic polycycle with four hyperbolic crests
• Quadratic Newton iteration for systems with multiplicity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: AXIOM