swMATH63MaRDI QIDQ12835FDOQ12835
Author name not available (Why is that?)
Official website: http://axiom-developer.org/
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
