• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Gradient conjecture     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Theorem106752293, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: yago:WikicatTheoremsInAnalysisyago:Abstraction100002137yago:Communication100033020yago:Message106598915yago:Proposition106750804yago:Statement106722453yago:Theorem106752293 New Facet based on Instances of this Class

In mathematics, the gradient conjecture, due to René Thom (1989), was proved in 2000 by three Polish mathematicians, Krzysztof Kurdyka (University of Savoie, France), Tadeusz Mostowski (Warsaw University, Poland) and Adam Parusiński (University of Angers, France). The conjecture states that given a real-valued analytic function f defined on Rn and a trajectory x(t) of the gradient vector field of f having a limit point x0 ∈ Rn, where f has an isolated critical point at x0, there exists a limit (in the projective space PRn-1) for the secant lines from x(t) to x0, as t tends to zero.