The following pages link to AXIOM (Q12835):
Displaying 20 items.
- (Q4934138) (← links)
- Calcul de résolvantes avec les modules de Cauchy (Q4947132) (← links)
- (Q4955411) (← links)
- Employing C++ Templates in the Design of a Computer Algebra Library (Q5041073) (← links)
- Categories as Type Classes in the Scala Algebra System (Q5168475) (← links)
- Basic Polynomial Algebra Subprograms (Q5178932) (← links)
- The application of differential characteristic set method to pseudo differential operator and Lax representation (Q5194438) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- Exploring abstract algebra in constructive type theory (Q5210799) (← links)
- ON FORMAL CONTINUED FRACTIONS RELATED TO POWER SERIES EXPANSION (Q5229571) (← links)
- Domains and expressions (Q5262773) (← links)
- (Q5301681) (← links)
- (Q5301691) (← links)
- (Q5431990) (← links)
- Algorithms – ESA 2004 (Q5464622) (← links)
- Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment (Q5747795) (← links)
- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations (Q5747899) (← links)
- 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 (Q5928904) (← links)
- On the links between triangular sets and dynamic constructible closure (Q5946465) (← links)
- Numerical evaluation of three-center two-electron Coulomb and hybrid integrals over \(B\) functions using the \(HD\) and \(H\overline{D}\) methods and convergence properties (Q5950898) (← links)
