Design and Implementation of Computer Algebra Systems and Software
Session Organizers:
Session Abstract:
This session is devoted to topics in the design and implementation of computer algebra systems and software libraries. The focus is on systems software issues for computer algebra, rather than on the specific algorithms to be supported.
Topics (including, but not limited to)
- Issues in choice of programming language for system implementation
- Issues in design of user-level programming language
- Data representations for algebric objects
- Type systems for algebra
- Deciding level of abstraction
-- specializing domains vs generic implementations
- Foreign function interfaces for mathematical objects
- Balancing and integrating interpreted, compiled and JIT code.
- Support for symbolic/numeric computation -- NaN-boxing, specialized floating point modes, and other strategies.
- Approaches to parallelism -- distributed computation, multi-cores and GPGPUs.
- Parallel implementations
- Read-only vs read-write data for mathematical objects
- Memory management strategies
- Strategies for cache-friendly implementation
- Inter-system data exchange
- Interaction with cloud services -- shared storage, AI queries, on-line databases.
- Use of local AI models
- Software engineering issues in structuring large libraries
- Profiling systems and libraries
Session Talks:
tba