Pages that link to "Item:Q1389634"
From MaRDI portal
The following pages link to Towards the Mathematics Software Bus (Q1389634):
Displaying 7 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- Mathematical computing on network (Q2725985) (← links)
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge (Q3644710) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)
- Mediated Access to Symbolic Computation Systems (Q5505524) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)