Satisfiability Modulo Theories - Revision history

81.158.197.103: /* References */ Update link

2014-12-19T21:58:06Z

References: Update link

← Older revision		Revision as of 23:58, 19 December 2014
Line 1:		Line 1:
	~~Hello buddy. Allow me introduce myself. I am Ron~~ but I ~~don't like when people use my complete~~ name. ~~To perform badminton~~ is ~~something he really enjoys doing~~. Bookkeeping is ~~how he supports his family members and his wage has been really fulfilling~~. ~~Her family members life~~ in ~~Idaho~~.<br><br>~~Here is~~ my web~~-site ...~~ [http://~~superleague~~.~~taktikfuchs~~.~~org~~/index.php?mod=users&action=view&id=~~1645 http://superleague.taktikfuchs.org~~]		Royal Votaw is my name but I never really favored that name. Delaware is the only place I've been residing in. Bookkeeping is what she does. What she loves doing is taking part in croquet and she is attempting to make it a occupation.<br><br>Have a look at my web blog [http://Www.Holzkunst-Scholz.de/index.php?mod=users&action=view&id=7124 extended car warranty]

en>Jochen Burghardt: undid previous own edit (restored "citation") after criticism from David Eppstein

2014-02-16T19:39:41Z

undid previous own edit (restored "citation") after criticism from David Eppstein

← Older revision		Revision as of 21:39, 16 February 2014
Line 1:		Line 1:
	~~{{Unreferenced\|date=December 2009}}~~		Hello buddy. Allow me introduce myself. I am Ron but I don't like when people use my complete name. To perform badminton is something he really enjoys doing. Bookkeeping is how he supports his family members and his wage has been really fulfilling. Her family members life in Idaho.<br><br>Here is my web-site ... [http://superleague.taktikfuchs.org/index.php?mod=users&action=view&id=1645 http://superleague.taktikfuchs.org]

	~~In [[mathematics]], the~~ '''Nagata conjecture''' on curves, named after [[Masayoshi Nagata]], governs the minimal degree required for a [[Algebraic curve\|plane algebraic curve]] to pass through a collection of very general points with prescribed [[Multiplicity (mathematics)\|multiplicities]]. Nagata arrived at the conjecture via work on the [[Hilbert's problems\|14th problem of Hilbert]], which asks whether the invariant ring of a linear group action on the polynomial ring <math>k[x_1, \ldots x_n]</math> over some field <math>k</math> is ~~[[Finitely generated group\|finitely generated]]~~. ~~Nagata published the conjecture in a 1959 paper in the [[American Journal of Mathematics]], in which~~ he ~~presented a counterexample to Hilbert's 14th problem.~~

	~~More precisely suppose <math>p_1,\ldots,p_r</math> are very general points in the [[projective plane]] <math>P^2</math>~~ and ~~that <math>m_1,\ldots,m_r</math> are given positive integers~~. ~~The Nagata conjecture states that for <math>r > 9</math> any curve <math>C</math>~~ in ~~<math>P^2</math> that passes through each of the points <math>p_i</math> with multiplicity <math>m_i</math> must satisfy~~
	~~:<math>\mathrm{deg}\, C > {\sum_{i=1}^r m_i \over \sqrt{r}}~~.<~~/math~~>

	~~The only case when this is known to hold is when~~ <~~math>r</math~~> is ~~a perfect square (i~~.e. ~~is of the form <math>r=s^2<~~/~~math> for some integer <math>s<~~/~~math>), which was proved by [[Masayoshi Nagata\|Nagata]]~~. Despite much interest the other cases remain open. A more modern formulation of this conjecture is often given in terms of [[Seshadri constant]]s and has been generalised to other surfaces under the name of the [[Nagata–Biran conjecture]].

	~~The condition <math>r> 9<~~/~~math> is easily seen to be necessary~~. ~~The cases <math>r> 9<~~/~~math> and <math>r \le 9<~~/math> are distinguished by whether or not the [[canonical bundle\|anti-canonical bundle]] on the [[Blowing up\|blowup]] of <math>P^2</math> at a collection of <math>r</math> points is [[Numerically effective\|nef]].

	~~{{DEFAULTSORT:Nagata's Conjecture On Curves}}~~
	~~[[Category:Algebraic curves]]~~
	~~[[Category:Conjectures]~~]

en>Jeanqasaur: Added some information about applications of SMT solvers.

2013-10-23T17:10:41Z

Added some information about applications of SMT solvers.

← Older revision		Revision as of 19:10, 23 October 2013
Line 1:		Line 1:
	~~The writer~~ is ~~known by~~ the ~~name~~ of ~~Figures Lint~~. ~~My working day job~~ is a ~~librarian~~. ~~California~~ is ~~our birth place~~. ~~The factor she adores most~~ is ~~physique developing~~ and ~~now she~~ is ~~attempting~~ to ~~earn money with it~~.<br><br>~~Have~~ a ~~look at my web blog~~: [~~http~~:~~//chatbook.biz/blogs/post/922 at home std testing~~]		{{Unreferenced\|date=December 2009}}

			In [[mathematics]], the '''Nagata conjecture''' on curves, named after [[Masayoshi Nagata]], governs the minimal degree required for a [[Algebraic curve\|plane algebraic curve]] to pass through a collection of very general points with prescribed [[Multiplicity (mathematics)\|multiplicities]]. Nagata arrived at the conjecture via work on the [[Hilbert's problems\|14th problem of Hilbert]], which asks whether the invariant ring of a linear group action on the polynomial ring <math>k[x_1, \ldots x_n]</math> over some field <math>k</math> is [[Finitely generated group\|finitely generated]]. Nagata published the conjecture in a 1959 paper in the [[American Journal of Mathematics]], in which he presented a counterexample to Hilbert's 14th problem.

			More precisely suppose <math>p_1,\ldots,p_r</math> are very general points in the [[projective plane]] <math>P^2</math> and that <math>m_1,\ldots,m_r</math> are given positive integers. The Nagata conjecture states that for <math>r > 9</math> any curve <math>C</math> in <math>P^2</math> that passes through each of the points <math>p_i</math> with multiplicity <math>m_i</math> must satisfy
			:<math>\mathrm{deg}\, C > {\sum_{i=1}^r m_i \over \sqrt{r}}.</math>

			The only case when this is known to hold is when <math>r</math> is a perfect square (i.e. is of the form <math>r=s^2</math> for some integer <math>s</math>), which was proved by [[Masayoshi Nagata\|Nagata]]. Despite much interest the other cases remain open. A more modern formulation of this conjecture is often given in terms of [[Seshadri constant]]s and has been generalised to other surfaces under the name of the [[Nagata–Biran conjecture]].

			The condition <math>r> 9</math> is easily seen to be necessary. The cases <math>r> 9</math> and <math>r \le 9</math> are distinguished by whether or not the [[canonical bundle\|anti-canonical bundle]] on the [[Blowing up\|blowup]] of <math>P^2</math> at a collection of <math>r</math> points is [[Numerically effective\|nef]].

			{{DEFAULTSORT:Nagata's Conjecture On Curves}}
			[[Category:Algebraic curves]]
			[[Category:Conjectures]]

193.205.194.4: /* SMT solvers */

2012-07-25T09:34:21Z

SMT solvers

New page

The writer is known by the name of Figures Lint. My working day job is a librarian. California is our birth place. The factor she adores most is physique developing and now she is attempting to earn money with it.<br><br>Have a look at my web blog: [http://chatbook.biz/blogs/post/922 at home std testing]