英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

cubical    
a. 立方体的,立方的

立方体的,立方的

cubical
立方

cubical
立方

cubical
adj 1: shaped like a cube [synonym: {cubelike}, {cube-shaped},
{cubical}, {cubiform}, {cuboid}, {cuboidal}]

cube-shaped \cube-shaped\ cubical \cubical\adj.
Shaped like or approximately like a cube.

Syn: cubelike, cubiform, cuboid, cuboidal.
[WordNet 1.5]


Cubic \Cu"bic\ (k?"b?k), Cubical \Cu"bic*al\ (-b?-kal), a. [L.
cubicus, Gr. ?????: cf. F. cubique. See {Cube}.]
1. Having the form or properties of a cube; contained, or
capable of being contained, in a cube.
[1913 Webster]

2. (Crystallog.) Isometric or monometric; as, cubic cleavage.
See {Crystallization}.
[1913 Webster]

{Cubic equation}, an equation in which the highest power of
the unknown quantity is a cube.

{Cubic foot}, a volume equivalent to a cubical solid which
measures a foot in each of its dimensions.

{Cubic number}, a number produced by multiplying a number
into itself, and that product again by the same number.
See {Cube}.

{Cubical parabola} (Geom.), two curves of the third degree,
one plane, and one on space of three dimensions.
[1913 Webster]


请选择你想看的字典辞典：
单词字典翻译
Cubical查看　Cubical　在百度字典中的解释百度英翻中〔查看〕
Cubical查看　Cubical　在Google字典中的解释Google英翻中〔查看〕
Cubical查看　Cubical　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Good Rules for Good Cubicle Etiquette - MRA
    Don’t loiter outside someone’s cube while you wait for him or her to finish a phone call or read their computer screen while you are standing there Come back at another time
  • Cubical Homotopy Theory
    Cubical Homotopy Theory Graduate students and researchers alike will benefit from this treatment of various classical and modern topics in the homotopy theory of topological spaces, with an emphasis on cubical diagrams The book contains more than 300 examples and provides detailed explanations of many fundamental results
  • Cubical Homology - Springer
    Cubical Homology In Chapter 1 we have provided a heuristic introduction to homology using graphs that are made up of vertices (zero-dimensional cubes) and edges (one dimensional cubes) Before that we motivated the need for a computational theory of homology using examples from image processing where it was natural to think of the images as being presented in terms of pixels (two-dimensional
  • CUBICAL MODEL CATEGORIES AND QUASI-CATEGORIES Contents Introduction
    [Isa09] and are In cubical many dierent categories this paper we just focus sets with connections
  • A Cubical Approach to Synthetic Homotopy Theory
    In this paper, we describe a cubical approach to developing homotopy theory within type theory The identity type is complemented with higher-dimensional cube types, such as a type of squares, dependent on four points and four lines, and a type of three-dimensional cubes, dependent on the boundary of a cube
  • Efficient Evaluation for Cubical Type Theories - GitHub Pages
    Previous approaches: optimizing cubical type formers computation rules, definitions within CTTs E伷䌏ciencyissuesinCTTs
  • Introduction A CUBICAL APPROACH TO - uwo. ca
    Introduction A CUBICAL APPROACH TO STRAIGHTENING KRZYSZTOF KAPULKIN AND VLADIMIR VOEVODSKY Abstract For a suitable choice of the cube category, we construct a Grothendieck topology on it such that sheaves with respect to this topology are exactly simplicial sets (thus establishing simplicial sets as a re ective subcategory of cubical sets) We then extend the construction of the homotopy
  • Cubical Methods in Homotopy Type Theory and Univalent Foundations
    A Mörtberg Cubical Methods October 7, 202117 51 Computing with HoTT UF Problem: by adding axioms like univalence and existence of various HITs we break the good computational properties of type theory This e˙ectively turns it into a programming language where we cannot run all programs
  • CUBICAL APPROXIMATION FOR DIRECTED TOPOLOGY
    In our directed setting, cubical sets with structure reminiscent of higher categories serve as analogues of Kan complexes Along the way, we prove appropriate simplicial and cubical ap-proximation theorems and give criteria for two di erent homotopy relations on directed maps in the literature to coincide
  • A Cubical Type Theory - GitHub Pages
    Cubical Type Theory: Overview Type theory where we can directly argue about n-dimensional cubes (points, lines, squares, cubes, ) Based on a constructive model of type theory in cubical sets with connections and diagonals Id,





中文字典-英文字典  2005-2009