プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
uma variedade de finsler não-trivial generaliza variedade riemaniana no sentido de que eles não são necessariamente infinitamente euclidiana.
finsler manifolds non-trivially generalize riemannian manifolds in the sense that they are not necessarily infinitesimally euclidean.
em geometria hiperbólica o quarto ângulo é agudo, na geometria euclidiana é um ângulo reto e em geometria elíptica é um ângulo obtuso.
in hyperbolic geometry the fourth angle is acute, in euclidean geometry it is a right angle and in elliptic geometry it is an obtuse angle.
dado o axioma de cantor-dedekind, esse algoritmo pode ser considerado como o algoritmo que comprova qualquer afirmação da geometria euclidiana.
given the cantor–dedekind axiom, this algorithm can be regarded as an algorithm to decide the truth of any statement in euclidean geometry.
este grupo de transformações é o de uma geometria magnífica chamada circular, próxima da geometria não euclidiana, mas isso é outra história!
this is the group of transformations of a magnificent geometry called conformal geometry, close to non-euclidean geometry , but that's another story!
=== geometria euclidiana ===provavelmente a mais antiga e mais famosa lista de axiomas são os 4 + 1 postulados de euclides da geometria plana.
=====euclidean geometry=====probably the oldest, and most famous, list of axioms are the 4 + 1 euclid's postulates of plane geometry.