Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

Gespeichert in:
Bibliographische Detailangaben
Datum:2018
Hauptverfasser: M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Format: Artikel
Sprache:English
Veröffentlicht: 2018
Schriftenreihe:Cybernetics and Systems Analysis
Online Zugang:http://jnas.nbuv.gov.ua/article/UJRN-0000926962
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS