Old Web
English
Sign In
Acemap
>
authorDetail
>
Dimitri Ara
Dimitri Ara
Mathematics
Algebra
Homotopy
Pure mathematics
Discrete mathematics
9
Papers
11
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
The dendroidal category is a test category
2017
arXiv: Algebraic Topology
Dimitri Ara
Denis-Charles Cisinski
Ieke Moerdijk
Show All
Source
Cite
Save
Citations (0)
Higher quasi-categories vs higher Rezk spaces
2012
arXiv: Algebraic Topology
Dimitri Ara
Show All
Source
Cite
Save
Citations (0)
On homotopy types modelized by strict \infty-groupoids
2012
arXiv: Algebraic Topology
Dimitri Ara
Show All
Source
Cite
Save
Citations (0)
New Results - Implémentations de Caml
2002
Xavier Leroy
Jacques Garrigue
Damien Doligez
Luc Maranget
Jérôme Vouillon
Pierre Weis
Daniel de Rauglaudre
Jun Furuse
Maxence Guesdon
Dimitri Ara
Show All
Source
Cite
Save
Citations (4)
1