About: Global Optimization Toolbox for Maple     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Není k dispozici (cs)
  • As surveyed in [2], many mathematical and engineering problems require a complete search. An example is the 300- year-old Kepler problem of finding the densest packing of equal spheres in three-dimensional Euclidean space, for which a computer-assisted proof is discussed in [3]. The proof involves reducing the problem to several thousand linear programs and using interval calculations to ensure rigorous handling of rounding errors for establishing the correctness of inequalities. Many other difficult problems, such as the traveling salesman and protein folding problems, are global optimization problems.
  • As surveyed in [2], many mathematical and engineering problems require a complete search. An example is the 300- year-old Kepler problem of finding the densest packing of equal spheres in three-dimensional Euclidean space, for which a computer-assisted proof is discussed in [3]. The proof involves reducing the problem to several thousand linear programs and using interval calculations to ensure rigorous handling of rounding errors for establishing the correctness of inequalities. Many other difficult problems, such as the traveling salesman and protein folding problems, are global optimization problems. (en)
Title
  • Global Optimization Toolbox for Maple
  • Není k dispozici (cs)
  • Global Optimization Toolbox for Maple (en)
skos:prefLabel
  • Global Optimization Toolbox for Maple
  • Není k dispozici (cs)
  • Global Optimization Toolbox for Maple (en)
skos:notation
  • RIV/68407700:21230/06:03120774!RIV07-GA0-21230___
http://linked.open.../vavai/riv/strany
  • 106;110
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/06/0652)
http://linked.open...iv/cisloPeriodika
  • 5
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 477119
http://linked.open...ai/riv/idVysledku
  • RIV/68407700:21230/06:03120774
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Maple; Optimization Toolbox (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • US - Spojené státy americké
http://linked.open...ontrolniKodProRIV
  • [EA33527AC395]
http://linked.open...i/riv/nazevZdroje
  • IEEE CONTROL SYSTEMS MAGAZINE
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 26
http://linked.open...iv/tvurceVysledku
  • Henrion, Didier
issn
  • 0272-1708
number of pages
http://localhost/t...ganizacniJednotka
  • 21230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software