The following pages link to (Q4002498):
Displaying 5 items.
- Implementing a computer algebra system in Haskell (Q990498) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases (Q1912176) (← links)
- (Q3783551) (← links)
- (Q4023927) (← links)