Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 873296 (Why is no real title available?)
- scientific article; zbMATH DE number 2077079 (Why is no real title available?)
- Trace forms and ideals on commutative algebras satisfying an identity of degree four
- A system for axiomatic programming
- On the computation of minimal polynomials, cyclic vectors, and Frobenius forms
- Modelling algebraic structures and morphisms in ACL2
- Schémas compacts d'ordre élevé: application aux problèmes bidimensionnels de diffusion-convection instationnaire I
- scientific article; zbMATH DE number 1759393 (Why is no real title available?)
- Examples of using dynamic constructible closure.
- Software for the algorithmic work with orthogonal polynomials and special functions
- Computations with Clifford and Grassmann algebras
- Rabin-Miller Primality Test: Composite Numbers Which Pass It
- Calculations with simplicial and cubical groups in AXIOM
- On the links between triangular sets and dynamic constructible closure
- Evaluation of a Java Computer Algebra System
- Overview of the Mathemagix type system
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Employing C++ templates in the design of a computer algebra library
- One dimensional quantum walks with memory
- Basic polynomial algebra subprograms
- Domains and expressions: an interface between two approaches to computer algebra
- 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
- scientific article; zbMATH DE number 1086651 (Why is no real title available?)
- Fast arithmetic for triangular sets: from theory to practice
- 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
- scientific article; zbMATH DE number 1092340 (Why is no real title available?)
- On second order homogeneous linear differential equations with Liouvillian solutions
- Subtyping inheritance and its application in languages for symbolic computation systems
- A bridge between dynamic geometry and computer algebra
- scientific article; zbMATH DE number 819107 (Why is no real title available?)
- scientific article; zbMATH DE number 1161467 (Why is no real title available?)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- scientific article; zbMATH DE number 1453130 (Why is no real title available?)
- Categories as type classes in the Scala algebra system
- 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
- The adjacency graph of a real algebraic surface
- scientific article; zbMATH DE number 1254236 (Why is no real title available?)
- scientific article; zbMATH DE number 814089 (Why is no real title available?)
- On a machine-checked proof for fraction arithmetic over a GCD domain
- Equality in computer algebra and beyond.
- Some realizations of algorithms for nonlinear input-output systems
- Computer algebra in the life sciences
- Effective algebraic geometry and normal forms of reversible mappings
- scientific article; zbMATH DE number 1004901 (Why is no real title available?)
- Algorithms and proofs inheritance in the FOC language
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- scientific article; zbMATH DE number 1254282 (Why is no real title available?)
- Type classes for mathematics in type theory
- Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case
- scientific article; zbMATH DE number 1254279 (Why is no real title available?)
- The application of differential characteristic set method to pseudo differential operator and Lax representation
- Connecting the 3D DGS Calques3D with the CAS Maple
- Symbolic computations for the solution of inverse/design problems with Maple
- scientific article; zbMATH DE number 2103528 (Why is no real title available?)
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- scientific article; zbMATH DE number 417578 (Why is no real title available?)
- Exploring abstract algebra in constructive type theory
- Logic and dependent types in the Aldor computer algebra system
- Objects in algebraic programming system
- scientific article; zbMATH DE number 1263390 (Why is no real title available?)
- scientific article; zbMATH DE number 1263618 (Why is no real title available?)
- A review of symbolic solvers
- Some human interaction issues in computer algebra
- Algebraic structures as typed objects
- 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
- scientific article; zbMATH DE number 1294625 (Why is no real title available?)
- scientific article; zbMATH DE number 1263433 (Why is no real title available?)
- An algorithm for computing an integral basis in an algebraic function field
- A formal framework for managing mathematics
- Calcul de résolvantes avec les modules de Cauchy
- Computation of kinematic paths and bifurcation points
- Indexed types
- Liouvillian and algebraic solutions of second and third order linear differential equations
- scientific article; zbMATH DE number 1262431 (Why is no real title available?)
- A computer algebra system based on order-sorted algebra
- On coherence in computer algebra
- scientific article; zbMATH DE number 517393 (Why is no real title available?)
- scientific article; zbMATH DE number 1925949 (Why is no real title available?)
- On the classification of foliations of degree three with one singularity
- scientific article; zbMATH DE number 873141 (Why is no real title available?)
- Unique factorization domains in the Java computer algebra system
- Metalogical frameworks. II: Developing a reflected decision procedure
- Commutative algebra in the Mizar system
- Pseudo differential operators and integrable systems in AXIOM
- scientific article; zbMATH DE number 870531 (Why is no real title available?)
- Quadratic Lie algebras.
- Fast arithmetic for triangular sets: from theory to practice
- A perspective on symbolic mathematical computing and artificial intelligence
- scientific article; zbMATH DE number 1262427 (Why is no real title available?)
- scientific article; zbMATH DE number 1354470 (Why is no real title available?)
- Shuffle algebra and polylogarithms
- Object-oriented mathematical modelling—Applied to machine elements
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Efficient implementation of polynomial arithmetic in a multiple-level programming environment
- Polynomial algorithms in computer algebra
This page was built for software: AXIOM
