<?xml version="1.0" encoding="UTF-8"?>

<modsCollection xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-3.xsd">
<mods version="3.3">

<genre>conference paper</genre>

<titleInfo><title>Turing Computability of (Non-)Linear Optimization</title></titleInfo>





<name type="personal">
  <namePart type="given">Vasco</namePart>
  <namePart type="family">Brattka</namePart>
  <role><roleTerm type="text">author</roleTerm> </role></name>
<name type="personal">
  <namePart type="given">Martin</namePart>
  <namePart type="family">Ziegler</namePart>
  <role><roleTerm type="text">author</roleTerm> </role></name>







<name type="corporate">
  <namePart></namePart>
  <identifier type="local">63</identifier>
  <role>
    <roleTerm type="text">department</roleTerm>
  </role>
</name>








<abstract lang="eng">We consider the classical LINEAR OPTIMIZATION Problem, but in the Turing rather than the RealRAM model. Asking for mere computability of a function&apos;s maximum over some closed domain, we show that the common presumptions &apos;full-dimensional&apos; and `bounded&apos; in fact cannot be omitted: The sound framework of Recursive Analysis enables us to rigorously prove this folkloristic observation! On the other hand, convexity of this domain may be weakened to connectedness, and even NON-linear functions turn out to be effectively optimizable.</abstract>

<originInfo><dateIssued encoding="w3cdtf">2001</dateIssued>
</originInfo>
<language><languageTerm authority="iso639-2b" type="code">eng</languageTerm>
</language>



<relatedItem type="host"><titleInfo><title>Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG&apos;01)</title></titleInfo>
<part><extent unit="pages">181-184</extent>
</part>
</relatedItem>


<extension>
<bibliographicCitation>
<short>V. Brattka, M. Ziegler, in: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184.</short>
<chicago>Brattka, Vasco, and Martin Ziegler. “Turing Computability of (Non-)Linear Optimization.” In &lt;i&gt;Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)&lt;/i&gt;, 181–84, 2001.</chicago>
<ieee>V. Brattka and M. Ziegler, “Turing Computability of (Non-)Linear Optimization,” in &lt;i&gt;Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)&lt;/i&gt;, 2001, pp. 181–184.</ieee>
<apa>Brattka, V., &amp;#38; Ziegler, M. (2001). Turing Computability of (Non-)Linear Optimization. In &lt;i&gt;Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)&lt;/i&gt; (pp. 181–184).</apa>
<bibtex>@inproceedings{Brattka_Ziegler_2001, title={Turing Computability of (Non-)Linear Optimization}, booktitle={Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)}, author={Brattka, Vasco and Ziegler, Martin}, year={2001}, pages={181–184} }</bibtex>
<ama>Brattka V, Ziegler M. Turing Computability of (Non-)Linear Optimization. In: &lt;i&gt;Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)&lt;/i&gt;. ; 2001:181-184.</ama>
<mla>Brattka, Vasco, and Martin Ziegler. “Turing Computability of (Non-)Linear Optimization.” &lt;i&gt;Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)&lt;/i&gt;, 2001, pp. 181–84.</mla>
</bibliographicCitation>
</extension>
<recordInfo><recordIdentifier>18168</recordIdentifier><recordCreationDate encoding="w3cdtf">2020-08-24T11:33:12Z</recordCreationDate><recordChangeDate encoding="w3cdtf">2022-01-06T06:53:26Z</recordChangeDate>
</recordInfo>
</mods>
</modsCollection>
