Symbolic computing
From MaRDI portal
Recommendations
Cites work
Cited in
(10)- Symbolic evaluation with structural recursive symbolic constants
- Advances in the design of symbolic computation systems
- Symbolic computation with monotone operators
- Programming and symbolic computation in Maude
- Computability and human symbolic output
- scientific article; zbMATH DE number 45082 (Why is no real title available?)
- Mittel zur rationalisierung der aktuariellen arbeit
- scientific article; zbMATH DE number 1396170 (Why is no real title available?)
- Symbolic computation in automated program reasoning
- Symbolic computation using L-systems
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)