|
|
|
Symbolic Computation: Computer Algebra System, Automated Theorem Prover, Computer-Assisted Proof, Proof Checker, Model Checker, Symbolic-Numeric Compu
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
März 2026
|
| Genre: |
Schulbücher |
| ISBN: |
9786130524043 |
|
EAN-Code:
|
9786130524043 |
| Verlag: |
Omniscriptum |
| Einband: |
Kartoniert |
| Sprache: |
English
|
| Dimensionen: |
H 220 mm / B 150 mm / D 6 mm |
| Gewicht: |
143 gr |
| Seiten: |
84 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| Please note that the content of this book primarily consists of articles
available from Wikipedia or other free sources online. Symbolic
computation or algebraic computation, relates to the use of machines,
such as computers, to manipulate mathematical equations and expressions
in symbolic form, as opposed to manipulating the approximations of
specific numerical quantities represented by those symbols. Such a
system might be used for symbolic integration or differentiation,
substitution of one expression into another, simplification of an
expression, etc. Symbolic computation is also sometimes referred to as
symbolic manipulation, symbolic processing, symbolic mathematics, or
symbolic algebra, but these terms also refer to non-computational
manipulation. |
|
Newsfeed | 
Facebook | 
Twitter
