,

Automated Inequality Proving And Discovering

Specificaties
Gebonden, 344 blz. | EN
World Scientific Publishing Co Pte Ltd | e druk, 2016
ISBN13: 9789814759113
Rubricering
Juridisch :
World Scientific Publishing Co Pte Ltd e druk, 2016 9789814759113
Verwachte levertijd ongeveer 16 werkdagen

Samenvatting

This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering.

Specificaties

ISBN13:9789814759113
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:344
Uitgever:World Scientific Publishing Co Pte Ltd

Net verschenen

Rubrieken

    Personen

      Trefwoorden

        Automated Inequality Proving And Discovering