| Property |
Value |
| dbo:abstract
|
- Alexandre Alexandrovitch Razborov (russe : Алекса́ндр Алекса́ндрович Разбо́ров, né le 16 février 1963), connu aussi sous le nom de Sacha Razborov, est un mathématicien et un informaticien théoricien soviétique et russe. Il est le lauréat du prix Nevanlinna en 1990 pour son travail sur la théorie de la complexité, et en 2007 du prix Gödel avec Steven Rudich pour leur article « Natural proofs ». (fr)
- Alexandre Alexandrovitch Razborov (russe : Алекса́ндр Алекса́ндрович Разбо́ров, né le 16 février 1963), connu aussi sous le nom de Sacha Razborov, est un mathématicien et un informaticien théoricien soviétique et russe. Il est le lauréat du prix Nevanlinna en 1990 pour son travail sur la théorie de la complexité, et en 2007 du prix Gödel avec Steven Rudich pour leur article « Natural proofs ». (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:domain
| |
| dbo:employer
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:nationality
| |
| dbo:occupation
| |
| dbo:residence
| |
| dbo:thumbnail
| |
| dbo:university
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8539 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1985 (xsd:integer)
- 1987 (xsd:integer)
- 1989 (xsd:integer)
- 1990 (xsd:integer)
- 1994 (xsd:integer)
- 1998 (xsd:integer)
- 2003 (xsd:integer)
|
| prop-fr:champs
| |
| prop-fr:dateDeNaissance
| |
| prop-fr:diplôme
| |
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.114500 (xsd:double)
|
| prop-fr:domicile
| |
| prop-fr:format
| |
| prop-fr:fr
|
- Andrew MacLeish (fr)
- Andrew MacLeish (fr)
|
| prop-fr:institutions
|
- Institut de mathématiques Steklov, Université de Chicago, (fr)
- Institut de mathématiques Steklov, Université de Chicago, (fr)
|
| prop-fr:journal
| |
| prop-fr:lang
|
- en (fr)
- ru (fr)
- en (fr)
- ru (fr)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Montréal, Québec, Canada (fr)
- Seattle, Washington, USA (fr)
- Montréal, Québec, Canada (fr)
- Seattle, Washington, USA (fr)
|
| prop-fr:mois
|
- December (fr)
- mai (fr)
- May (fr)
- June (fr)
- April (fr)
- January (fr)
- December (fr)
- mai (fr)
- May (fr)
- June (fr)
- April (fr)
- January (fr)
|
| prop-fr:nom
|
- (fr)
- Alexander Razborov (fr)
- (fr)
- Alexander Razborov (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 4 (xsd:integer)
- 6 (xsd:integer)
|
| prop-fr:pages
|
- 80 (xsd:integer)
- 167 (xsd:integer)
- 204 (xsd:integer)
- 291 (xsd:integer)
- 333 (xsd:integer)
- 354 (xsd:integer)
- 485 (xsd:integer)
- 1226 (xsd:integer)
|
| prop-fr:prix
| |
| prop-fr:renomméPour
| |
| prop-fr:titre
|
- Lower Bounds for the Polynomial Calculus (fr)
- Natural proofs (fr)
- On the method of approximations (fr)
- Propositional proof complexity (fr)
- Lower bounds on the size of bounded depth circuits over a complete basis with logical addition (fr)
- Lower bounds on monotone complexity of the logical permanent (fr)
- Lower bounds for the monotone complexity of some Boolean functions (fr)
- Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits (fr)
- О системах уравнений в свободной группе (fr)
- Lower Bounds for the Polynomial Calculus (fr)
- Natural proofs (fr)
- On the method of approximations (fr)
- Propositional proof complexity (fr)
- Lower bounds on the size of bounded depth circuits over a complete basis with logical addition (fr)
- Lower bounds on monotone complexity of the logical permanent (fr)
- Lower bounds for the monotone complexity of some Boolean functions (fr)
- Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits (fr)
- О системах уравнений в свободной группе (fr)
|
| prop-fr:titreOuvrage
|
- Proceedings of the 26th Annual ACM Symposium on the Theory of Computing (fr)
- Proceedings of the 21st Annual ACM Symposium on the Theory of Computing (fr)
- Proceedings of the 26th Annual ACM Symposium on the Theory of Computing (fr)
- Proceedings of the 21st Annual ACM Symposium on the Theory of Computing (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 7 (xsd:integer)
- 31 (xsd:integer)
- 37 (xsd:integer)
- 41 (xsd:integer)
- 48 (xsd:integer)
- 50 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Alexandre Alexandrovitch Razborov (russe : Алекса́ндр Алекса́ндрович Разбо́ров, né le 16 février 1963), connu aussi sous le nom de Sacha Razborov, est un mathématicien et un informaticien théoricien soviétique et russe. Il est le lauréat du prix Nevanlinna en 1990 pour son travail sur la théorie de la complexité, et en 2007 du prix Gödel avec Steven Rudich pour leur article « Natural proofs ». (fr)
- Alexandre Alexandrovitch Razborov (russe : Алекса́ндр Алекса́ндрович Разбо́ров, né le 16 février 1963), connu aussi sous le nom de Sacha Razborov, est un mathématicien et un informaticien théoricien soviétique et russe. Il est le lauréat du prix Nevanlinna en 1990 pour son travail sur la théorie de la complexité, et en 2007 du prix Gödel avec Steven Rudich pour leur article « Natural proofs ». (fr)
|
| rdfs:label
|
- Alexander Alexandrowitsch Rasborow (de)
- Alexander Razborov (en)
- Alexander Razborov (es)
- Alexander Razborov (pt)
- Alexandre Razborov (fr)
- إلكسندر رازبوروف (ar)
- Разборов, Александр Александрович (ru)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- (fr)
- Alexander Razborov (fr)
- (fr)
- Alexander Razborov (fr)
|
| is dbo:doctoralStudent
of | |
| is dbo:influenced
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:étudiantsThèse
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
