Quasi convex-concave extensions

Publikationstyp
Book part
Publikationsdatum
2001
Sprache
English
Author
Jansson, Christian 
Institut
Zuverlässiges Rechnen E-19 
TORE-URI
http://hdl.handle.net/11420/8759
End Page
117
Article Number
128
Citation
Symbolic algebraic methods and verification methods: 117–128 (2001)
Publisher DOI
10.1007/978-3-7091-6280-4_12
Publisher
Springer
DDC Class
004: Informatik
510: Mathematik