Symbolic computing
From MaRDI portal
Recommendations
Cites work
Cited in
(10)- scientific article; zbMATH DE number 1396170 (Why is no real title available?)
- Programming and symbolic computation in Maude
- Symbolic computation using L-systems
- Symbolic computation with monotone operators
- Symbolic evaluation with structural recursive symbolic constants
- Advances in the design of symbolic computation systems
- Computability and human symbolic output
- scientific article; zbMATH DE number 45082 (Why is no real title available?)
- Mittel zur rationalisierung der aktuariellen arbeit
- Symbolic computation in automated program reasoning
This page was built for publication: Symbolic computing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578835)