ALDOR

swMATH1220MaRDI QIDQ13960FDOQ13960

Author name not available (Why is that?)

Cited In (26)

• PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007.
• Overview of the Mathemagix Type System
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Paraldor project
• Title not available (Why is that?)
• Logic and dependent types in the Aldor computer algebra system
• Title not available (Why is that?)
• Unique factorization domains in the Java computer algebra system
• Triangular sets for solving polynomial systems: a comparative implementation of four methods
• Type specialization in Aldor
• Generic, type-safe and object oriented computer algebra software
• Rule-Based Simplification in Vector-Product Spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Domains and expressions
• On the performance of parametric polymorphism in Maple
• Title not available (Why is that?)
• On a Java computer algebra system, its performance and applications
• From Untyped to Polymorphically Typed Objects in Mathematical Web Services
• Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
• Title not available (Why is that?)
• On the links between triangular sets and dynamic constructible closure
• Evaluation of a Java Computer Algebra System
• Title not available (Why is that?)

This page was built for software: ALDOR