The following pages link to (Q4023355):
Displaying 5 items.
- 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)
- The basic polynomial algebra subprograms (Q5270199) (← 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)