Cited in
(40)- scientific article; zbMATH DE number 1860742 (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 1811825 (Why is no real title available?)
- scientific article; zbMATH DE number 1222424 (Why is no real title available?)
- scientific article; zbMATH DE number 1254038 (Why is no real title available?)
- scientific article; zbMATH DE number 1389645 (Why is no real title available?)
- On a Java computer algebra system, its performance and applications
- scientific article; zbMATH DE number 1860750 (Why is no real title available?)
- scientific article; zbMATH DE number 6532530 (Why is no real title available?)
- scientific article; zbMATH DE number 1538013 (Why is no real title available?)
- Domains and expressions: an interface between two approaches to computer algebra
- Unique factorization domains in the Java computer algebra system
- scientific article; zbMATH DE number 5117546 (Why is no real title available?)
- AXIOM
- LinBox
- Evaluation of a Java Computer Algebra System
- STAR/MPI
- XSSR
- SciMark
- jscl-meditor
- Orbital library
- JAS
- CMPSm
- Symja
- OpenAxiom
- OOLACA
- sumit
- Alma
- Type specialization in Aldor
- Generic, type-safe and object oriented computer algebra software
- On the performance of parametric polymorphism in Maple
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Rule-Based Simplification in Vector-Product Spaces
- Overview of the Mathemagix type system
- Logic and dependent types in the Aldor computer algebra system
- From Untyped to Polymorphically Typed Objects in Mathematical Web Services
- scientific article; zbMATH DE number 1253978 (Why is no real title available?)
- PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007.
- On the links between triangular sets and dynamic constructible closure
- The Paraldor project
This page was built for software: ALDOR
