AXIOM

swMATH63MaRDI QIDQ12835FDOQ12835

Author name not available (Why is that?)

Official website: http://axiom-developer.org/

Described by source

• Unnamed Publication
• Open source computer algebra systems: Axiom

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

• Title not available (Why is that?)
• On second order homogeneous linear differential equations with Liouvillian solutions
• Title not available (Why is that?)
• 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?)
• Equality in computer algebra and beyond.
• Title not available (Why is that?)
• Effective algebraic geometry and normal forms of reversible mappings
• Type classes for mathematics in type theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exploring abstract algebra in constructive type theory
• Connecting the 3D DGS Calques3D with the CAS Maple
• Objects in algebraic programming system
• Algebraic structures as typed objects
• 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
• On the classification of foliations of degree three with one singularity
• Metalogical frameworks. II: Developing a reflected decision procedure
• Quadratic Lie algebras.
• Pseudo differential operators and integrable systems in AXIOM
• Efficient implementation of polynomial arithmetic in a multiple-level programming environment
• A perspective on symbolic mathematical computing and artificial intelligence
• Effective construction of algebraic geometry codes
• The character values of multiplicity-free irreducible constituents of a transitive permutation representation
• Title not available (Why is that?)
• 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
• Solving a system of algebraic equations with symmetries
• On initial value problems for ordinary differential-algebraic equations
• Algorithms – ESA 2004
• Sketches and parametrization
• Arcs in \(\mathrm{PG}(n,q)\) fixed by \(A_5\) and \(A_6\)
• Integrating computer algebra into proof planning
• 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)\)
• Future problem solving environments for computational science
• On a Java computer algebra system, its performance and applications
• MuPAD-Combinat, an open-source package for research in algebraic combinatorics
• On square-free factorization of multivariate polynomials over a finite field.
• Dynamic evaluation and algebraic closure in Axiom
• On Strong Pseudoprimes to Several Bases
• Title not available (Why is that?)
• Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A type system for computer algebra
• An object-oriented interpretation of the EAT system
• On the computation of minimal polynomials, cyclic vectors, and Frobenius forms
• Title not available (Why is that?)
• 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
• Evaluation of a Java Computer Algebra System
• Calculations with simplicial and cubical groups in AXIOM
• \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
• One dimensional quantum walks with memory
• 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
• Sketches and computation – II: dynamic evaluation and applications
• 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
• A bridge between dynamic geometry and computer algebra
• The adjacency graph of a real algebraic surface
• On a machine-checked proof for fraction arithmetic over a GCD domain
• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case
• Title not available (Why is that?)
• Microlocal diagonalization of strictly hyperbolic pseudodifferential systems and application to the design of radiation conditions in electromagnetism
• 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?)
• Fast arithmetic for triangular sets: from theory to practice
• Title not available (Why is that?)
• Commutative algebra in the Mizar system
• 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
• Quadratic Newton iteration for systems with multiplicity
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Skeptic's approach to combining HOL and Maple
• A constructive algebraic hierarchy in Coq.
• Gaussian elimination: a case study in efficient genericity with MetaOCaml
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: AXIOM