Automated and readable simplification of trigonometric expressions (Q2426094)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated and readable simplification of trigonometric expressions |
scientific article |
Statements
Automated and readable simplification of trigonometric expressions (English)
0 references
17 April 2008
0 references
simplification of trigonometric expressions
0 references
combination rules
0 references
rule lists
0 references
pattern matching
0 references
automated reasoning
0 references
readable proof
0 references