Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
borsuk quest
ant annihilatio
Last Update: 2011-05-25
Usage Frequency: 1
Quality:
a primeira prova foi dada por karol borsuk, em 1933, onde a formulação do problema foi atribuída a ulam.
the first proof was given by (), where the formulation of the problem was attributed to ulam.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
karol borsuk (varsóvia, 8 de maio de 1905 — varsóvia, 24 de janeiro de 1982) foi um matemático polonês.
karol borsuk (may 8, 1905 – january 24, 1982) was a polish mathematician.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
(em verdade, este teorema é equivalente ao teorema de borsuk-ulam)* o teorema do sanduíche de presunto: para quaisquer conjuntos compacto formula_74 em r"n" podemos sempre encontrar um hiperplano dividindo cada um deles em dois subconjuntos de mesma medida.
(this is equivalent to the borsuk–ulam theorem)* the ham sandwich theorem: for any compact sets "a"1, ..., "an" in r"n" we can always find a hyperplane dividing each of them into two subsets of equal measure.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting