User contributions for Nahabedere
A user with 441 edits. Account created on 26 February 2005.
25 August 2024
- 08:1908:19, 25 August 2024 diff hist −3 Saša Stanišić his father was NOT from Serbia (i.e., Serbian), but of Serb ethnicity current
6 May 2024
- 18:3118:31, 6 May 2024 diff hist +90 List of optimization software →Freeware/free for academic use{{anchor|Freeware}}
8 April 2024
- 11:5711:57, 8 April 2024 diff hist −7 Jihlava →Notable people
8 December 2023
- 20:0820:08, 8 December 2023 diff hist +13 Ferenc Krausz https://www.attoworld.de/fileadmin/user_upload/tx_attoworld/persons/CurriculaVitae/CV_Contributions_FerencKrausz_FEB2023.pdf
25 September 2023
22 August 2023
- 19:5619:56, 22 August 2023 diff hist +2 m Second-order logic →Examples: oral forms replaced
2 May 2022
- 07:5807:58, 2 May 2022 diff hist +3 Joseph Wechsberg He was Moravian, Czechoslovakian, US-American, Austrian, Jewish, but certainly not Czech
15 March 2022
- 09:2309:23, 15 March 2022 diff hist −420 Prague In the English language, the term "nationality" is nowadays used as a synonym for "citizenship", which is SOMETHING ELSE than the Czech národnost (https://en.wikipedia.org/wiki/Nationality)
13 November 2021
- 20:5820:58, 13 November 2021 diff hist +41 Semolina pudding →Czech Republic and Slovakia: completely the same in Austria
16 October 2021
- 08:3108:31, 16 October 2021 diff hist −4 Milan Knížák corrected English
10 June 2021
- 14:4214:42, 10 June 2021 diff hist +43 Kartoffelkäse usual term in Austria
17 July 2020
- 21:0421:04, 17 July 2020 diff hist +21 Big O notation →Formal definition: formal definition made formal
18 November 2019
- 22:2822:28, 18 November 2019 diff hist −36 Strudel Undid revision 923856685 by HochBalHap12 (talk) Tag: Undo
2 July 2019
- 22:1522:15, 2 July 2019 diff hist −34 Strudel Undid revision 900713835 by HochBalHap12 (talk) Tag: Undo
26 November 2018
- 21:1621:16, 26 November 2018 diff hist +5 Euroscepticism in the Czech Republic →Contentious issues: the Czech Republic is a member of the EU, so it does not make sense to speak about the relationship between CZ and EU
- 21:0721:07, 26 November 2018 diff hist +4 Euroscepticism in the Czech Republic →Contentious issues: there are conflicts, but the relationship certainly is not hostile even with Hungary/Poland,
22 November 2018
- 22:1122:11, 22 November 2018 diff hist +6 Roux certainly butter is also used
11 November 2018
- 22:0722:07, 11 November 2018 diff hist +290 Barrier certificate converse
8 October 2018
- 21:0321:03, 8 October 2018 diff hist +19 Hybrid system →Hybrid Systems Verification: more precise formulation
- 21:0121:01, 8 October 2018 diff hist +176 Hybrid system →Hybrid Systems Verification: common techniques
- 20:5320:53, 8 October 2018 diff hist +1 m Hybrid system →Hybrid Systems Verification
12 September 2018
- 15:1815:18, 12 September 2018 diff hist +3 National Theatre (Prague) →Initial design and construction, 1844 to 1881: correct translation of český sněm, where český refers to the Kingdom of Bohemia
8 September 2018
- 19:1619:16, 8 September 2018 diff hist +249 Barrier certificate reference
- 19:0719:07, 8 September 2018 diff hist +273 N Barrier certificate initial page
17 December 2017
- 13:1913:19, 17 December 2017 diff hist +146 Hamilton–Jacobi–Bellman equation →The partial differential equation: clarification of notation
22 July 2017
- 21:5321:53, 22 July 2017 diff hist +77 Tarski's exponential function problem No edit summary
17 March 2017
- 11:4611:46, 17 March 2017 diff hist +2 Schur complement this is a definition, not an equality
22 February 2016
- 13:0913:09, 22 February 2016 diff hist +416 Talk:Zero set does this theorem have a name?
6 August 2015
- 21:2721:27, 6 August 2015 diff hist −16 Austrians nonsense without any evidence whatsoever
4 August 2015
- 20:4120:41, 4 August 2015 diff hist 0 m Peter Drucker →Biography
5 July 2015
- 21:2321:23, 5 July 2015 diff hist 0 Josef Stefan more precise (in some contexts, and also in central european tradition, nationality has a different meaning)
22 June 2015
- 20:4220:42, 22 June 2015 diff hist +205 Set inversion logical point of view
23 November 2014
- 14:4814:48, 23 November 2014 diff hist −14 Austrians No edit summary
6 October 2014
- 19:4119:41, 6 October 2014 diff hist +873 Decidability of first-order theories of the real numbers around undecidability
5 October 2014
13 September 2014
- 18:5518:55, 13 September 2014 diff hist +207 List of first-order theories →Rings and fields
- 18:3718:37, 13 September 2014 diff hist +77 Tarski–Seidenberg theorem No edit summary
- 18:3418:34, 13 September 2014 diff hist +193 Real closed field →Model theory: decidability and quantifier elimination
8 September 2014
- 18:3018:30, 8 September 2014 diff hist +358 Decidability of first-order theories of the real numbers No edit summary
- 18:1018:10, 8 September 2014 diff hist +611 Decidability of first-order theories of the real numbers revert to version without redirect
- 18:0618:06, 8 September 2014 diff hist +86 N Decidability of the first-order theory of the real numbers Nahabedere moved page Decidability of the first-order theory of the real numbers to Decidability of first-order theories of the real numbers: to make it clear that this is not only about the theory of real closed fields current
- 18:0618:06, 8 September 2014 diff hist 0 m Decidability of first-order theories of the real numbers Nahabedere moved page Decidability of the first-order theory of the real numbers to Decidability of first-order theories of the real numbers: to make it clear that this is not only about the theory of real closed fields
29 August 2014
- 21:0321:03, 29 August 2014 diff hist +524 User talk:David Eppstein →Decidability of the first-order theory of the real numbers
- 08:1408:14, 29 August 2014 diff hist +854 User talk:David Eppstein real numbers vs. real closed field
16 August 2014
- 13:2213:22, 16 August 2014 diff hist +2 Decidability of first-order theories of the real numbers No edit summary
- 13:1913:19, 16 August 2014 diff hist +83 Decidability of first-order theories of the real numbers example implementation
- 13:1513:15, 16 August 2014 diff hist 0 m Tarski–Seidenberg theorem No edit summary
- 13:1413:14, 16 August 2014 diff hist +112 Tarski–Seidenberg theorem decidability
- 13:1013:10, 16 August 2014 diff hist +76 Decidability of first-order theories of the real numbers links to tarski
- 13:0913:09, 16 August 2014 diff hist +138 Decidability of first-order theories of the real numbers implementations
