Pages that link to "Item:Q2287903"
From MaRDI portal
The following pages link to Towards specifying symbolic computation (Q2287903):
Displaying 12 items.
- Symbolic bounded synthesis (Q453535) (← links)
- Symbolic computation using L-systems (Q757063) (← links)
- Symbolic evaluation with structural recursive symbolic constants (Q1101205) (← links)
- Computer-human interaction in symbolic computation. With a foreword by D. S. Scott (Q1129283) (← links)
- Symbolic computation of normal forms for semi-simple cases (Q1300766) (← links)
- Advances in the design of symbolic computation systems (Q1355985) (← links)
- (Q2722029) (← links)
- (Q4414739) (← links)
- (Q4435042) (← links)
- Algebraic Methodology and Software Technology (Q5313000) (← links)
- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations (Q5747899) (← links)
- Symbolic computation in automated program reasoning (Q6174522) (← links)