=Paper=
{{Paper
|id=Vol-2189/keyword_index
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2189/keyword_index.pdf
|volume=Vol-2189
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-2189/keyword_index.pdf</pdf>
<pre>
SC-square 2018                                                  Keyword Index


Keyword Index


                 algebraic extensions                     88
                 algebraic proof systems                  33
                 algorithms                               77
                 autocorrelation                           1
                 automatic proof checking                 61
                 autonomous driving                       95

                 boolean polynomials                      33

                 CoCoA and MathSAT                         88
                 computer algebra                          61
                 constraint solving                        95
                 constraint systems                        95
                 cylindrical algebraic decomposition    3, 19

                 D-optimal designs                         1
                 decision procedures                     110

                 economic reasoning                       48
                 equational constraints                   19

                 factorization                            88

                 Gröbner basis                        61, 88

                 Hadamard matrices                         1

                 incremental                               3
                 interval arithmetics                     88
                 interval propagation                    110

                 knot theory                              77

                 linear clauses                           33
                 logic                                    77

                 Maple                                   118
                 multiplier verification                  61

                 natural-style proofs                    122
                 non-linear arithmetic                   110
                 non-linear real arithmetic               48

                 polynomial calculus                      61

                                                                           ix
SC-square 2018                                                  Keyword Index




                 quantifier elimination              48, 110

                 real algebraic geometry                  77
                 real roots                               88

                 SAT solving                               33
                 satisfiability checking                  122
                 satisfiability modulo theories            48
                 SATsolvers                                 1
                 SMT                              3, 110, 118
                 SMT solving                           19, 77
                 SMTLIB                                   118
                 symbolic computation                 77, 122

                 traffic scenarios                        95




x

</pre>