Found 774 Documents (Results 1–100)
Riemannian manifolds with entire Grauert tube are rationally elliptic. (English) Zbl 1542.53040
Reviewer: Jiawei Zhou (Beijing)
Classical and digital homotopy classes. (English) Zbl 07842531
Reviewer: Christopher Staecker (Fairfield)
Formal ternary laws and Buchstaber’s 2-groups. (English) Zbl 1540.14050
Reviewer: Marcus Zibrowius (Düsseldorf)
Weak graph map homotopy and its applications. (English) Zbl 1541.55009
Reviewer: Shiquan Ren (Singapore)
Bounds on cohomological support varieties. (English) Zbl 07829697
Reviewer: Janina C. Letz (Bielefeld)
On Higher Topological T-duality Functors. arXiv:2402.12039
Preprint, arXiv:2402.12039 [math-ph] (2024).
On the homotopy types of 2-connected and 6-dimensional CW-complexes. (English) Zbl 1540.55012
Reviewer: Xueqi Wang (Beijing)
Fundamental groupoids and homotopy types of non-compact surfaces. (English) Zbl 1543.57017
Ulan, Maria (ed.) et al., Groups, invariants, integrals, and mathematical physics. The Wisła 20–21 winter school and workshop, virtual. Cham: Birkhäuser. Tutor. Sch. Workshops Math. Sci., 155-175 (2023).
Reviewer: Osman Mucuk (Kayseri)
Analogues of the Atiyah-Wall exact sequences for cobordism groups of singular maps. (English) Zbl 1539.57032
Reviewer: Richárd Rimányi (Chapel Hill)
The universal operad acting on loop spaces, and generalisations. (English. French summary) Zbl 1527.18019
Reviewer: Hirokazu Nishimura (Tsukuba)
A new method to h-regularize finite topological spaces. (English) Zbl 07745188
Reviewer: Seithuti Philemon Moshokoa (Pretoria)
Homotopy types of \(\mathrm{Spin}^{\mathrm{c}} (n)\)-gauge groups over \(S^4\). (English) Zbl 1525.55008
Reviewer: Tseleung So (London, Ontario)
Determination of the homotopy type of a Morse-Smale diffeomorphism on an orientable surface by a heteroclinic intersection. (English) Zbl 1521.37022
Topological properties of closed \(\widetilde{\mathrm{G}}_2\), \(\mathrm{SL}(3;\mathbb{C})\) and \(\mathrm{SL}(3;\mathbb{R})^2\) forms on manifolds. arXiv:2309.16771
Preprint, arXiv:2309.16771 [math.AT] (2023).
Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans. (English) Zbl 1527.55017
Reviewer: Adrian Clough (Abu Dhabi)
Geometric approaches to persistent homology. (English) Zbl 1531.55006
Reviewer: Haibin Hang (Middletown)
The local cohomology spectral sequence for topological modular forms. (English) Zbl 1504.55005
Reviewer: Yifei Zhu (Shenzhen)
The homotopy classification of proper Fredholm maps of index one. (English) Zbl 1497.58003
Reviewer: Jacobo Pejsachowicz (Torino)
The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time. (English) Zbl 1496.55009
Reviewer: Benoît Fresse (Villeneuve d’Ascq)
On Hawaiian groups of the infinite dimensional Hawaiian earring. (English) Zbl 1492.55008
Reviewer: Francesco G. Russo (Rondebosch)
Perverse homotopy groups. arXiv:2211.06096
Preprint, arXiv:2211.06096 [math.AT] (2022).
A K-theory spectrum for cobordism cut and paste groups. arXiv:2210.00682
Preprint, arXiv:2210.00682 [math.AT] (2022).
Conference on topology, geometry, and dynamics. V. A. Rokhlin-100. The Euler International Mathematical Institute and Steklov Institute of Mathematics, St. Petersburg, Russia, August 19–23, 2019. (English) Zbl 1492.57002
Contemporary Mathematics 772. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5664-1/pbk; 978-1-4704-6451-6/ebook). x, 345 p. (2021).
MSC:
57-06
55-XX
57-XX
14-XX
11K50
11K55
22D40
37Axx
47A35
37-XX
60Fxx
60G10
53C65
60D05
57K10
19Lxx
18F25
57Txx
14L05
19L41
57R75
57R77
57R85
57R90
00B25
00B30
The degrees of maps between \((n-1)\)-connected \((2n+1)\)-dimensional manifolds or Poincaré complexes and their applications. (English. Russian original) Zbl 1491.55003
Sb. Math. 212, No. 10, 1360-1414 (2021); translation from Mat. Sb. 212, No. 10, 16-75 (2021).
Reviewer: Beatrice Bleile (Armidale)
Lifting coarse homotopies. (English) Zbl 1476.51008
Covers and direct limits: a contramodule-based approach. (English) Zbl 1492.18010
Reviewer: Radoslav M. Dimitrić (New York)
MSC:
18E10
16D40
16D90
16E30
16-02
18-02
16E50
16S90
18E35
13C13
13D09
16D50
16D70
16P50
13B30
16D80
16E45
18C10
18E05
18E40
20K35
55U40
Spaces of positive intermediate curvature metrics. (English) Zbl 1518.58007
Reviewer: Alexander Schmeding (Trondheim)
Homotopy types of gauge groups of \(\mathrm{PU}(p)\)-bundles over spheres. (English) Zbl 1464.55012
Reviewer: Kohhei Yamaguchi (Tokyo)
Making spaces wild (simply-connected case). (English) Zbl 1506.55012
Reviewer: Diego Mondéjar Ruiz (Madrid)
Coherence for monoidal groupoids in HoTT. (English) Zbl 1535.55026
Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 8, 20 p. (2020).
On the properties of the cobordism group of stably-framed immersions in codimension \(k\). (Russian. English summary) Zbl 1460.57035
Constructing higher inductive types as groupoid quotients. (English) Zbl 1498.03036
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 929-943 (2020).
Sequential colimits in homotopy type theory. (English) Zbl 1498.03035
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 845-858 (2020).
Lectures on factorization homology, \(\infty\)-categories, and topological field theories. With contributions by Araminta Amabel, Artem Kalmykov and Lukas Müller. (English) Zbl 1529.55001
SpringerBriefs in Mathematical Physics 39. Cham: Springer (ISBN 978-3-030-61162-0/pbk; 978-3-030-61163-7/ebook). xii, 84 p. (2020).
Reviewer: Daniel Moskovich (Beer-Sheva)
1-Dimensional intrinsic persistence of geodesic spaces. (English) Zbl 1443.55002
Reviewer: Bożena Piątek (Gliwice)
The construction of set-truncated higher inductive types. (English) Zbl 07515964
König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 261-280 (2019).
Dense products in fundamental groupoids. (English) Zbl 1495.55006
Reviewer: Andreas Zastrow (Gdańsk)
Algebraic filling inequalities and cohomological width. (English) Zbl 1459.57032
Reviewer: Thomas J. Bartsch (Gießen)
Stratified Whitehead’s theorem and knot invariants. (Théorème de Whitehead stratifié et invariants de nœuds.) (French. English summary) Zbl 1426.57004
String bordism and chromatic characteristics. (English) Zbl 1427.55004
Davis, Daniel G. (ed.) et al., Homotopy theory: tools and applications. A conference in honor of Paul Goerss’s 60th birthday, University of Illinois at Urbana-Champaign, Urbana, IL, USA, July 17–21, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 729, 239-254 (2019).
Reviewer: Geoffrey Powell (Angers)
Index theory in spaces of manifolds. (English) Zbl 1445.58012
Reviewer: Peter Haskell (Blacksburg)
The representation-ring-graded local cohomology spectral sequence for \(BP\mathbb{R}\langle 3\rangle\). (English) Zbl 1417.55011
Reviewer: David Barnes (Belfast)
On the homotopy types of \(\mathrm{Sp}(n)\) gauge groups. (English) Zbl 1415.55003
Reviewer: Kohhei Yamaguchi (Tokyo)
Spaces which invert weak homotopy equivalences. (English) Zbl 1417.55017
Reviewer: Corina Mohorianu (Iaşi)
Approximations of 1-dimensional intrinsic persistence of geodesic spaces and their stability. (English) Zbl 1412.55018
Reviewer: S. A. Seyed Fakhari (Tehran)
Finitary higher inductive types in the groupoid model. (English) Zbl 1525.03058
Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 119-134 (2018).
A syntax for higher inductive-inductive types. (English) Zbl 1462.68022
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 20, 18 p. (2018).
On higher inductive types in cubical type theory. (English) Zbl 1452.03036
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 255-264 (2018).
Impredicative encodings of (higher) inductive types. (English) Zbl 1452.03030
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 76-85 (2018).
Harmonic spinors and metrics of positive curvature via the Gromoll filtration and Toda brackets. (English) Zbl 1466.57013
Reviewer: Michael Wiemeler (Münster)
Topology of complexes of edge covering partite graphs and hypergraphs. (English) Zbl 1449.05080
Reviewer: Robert Jajcay (Terre Haute)
A smooth path-following algorithm for market equilibrium under a class of piecewise-smooth concave utilities. (English) Zbl 1409.90223
On the structure of algebraic cobordism. (English) Zbl 1403.14054
Reviewer: Rui Miguel Saramago (Porto Salvo)
Shift maps and their variants on inverse limits with set-valued functions. (English) Zbl 1386.54011
Reviewer: Thomas B. Ward (Leeds)
A Quillen’s Theorem A for strict \(\infty\)-categories. I: The simplicial proof. (Un théorème A de Quillen pour les \(\infty\)-catégories strictes. I : La preuve simpliciale.) (French. English summary) Zbl 1390.18011
Reviewer: Antonio R. Garzón (Granada)
Singularities and stable homotopy groups of spheres. II. (English) Zbl 1403.57025
Reviewer: Mark Grant (Aberdeen)
Singularities and stable homotopy groups of spheres. I. (English) Zbl 1400.57026
Reviewer: Mark Grant (Aberdeen)
Modelling and computing homotopy types: I. (English) Zbl 1423.55015
MSC:
55P15
18G55
Bordism of constrained Morse functions. arXiv:1803.11177
Preprint, arXiv:1803.11177 [math.GT] (2018).
The real projective spaces in homotopy type theory. (English) Zbl 1452.03033
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 86, 8 p. (2017).
Infinite loop spaces and positive scalar curvature. (English) Zbl 1377.53067
Reviewer: Ioan Pop (Iaşi)
Homotopy decompositions of gauge groups over real surfaces. (English) Zbl 1376.55007
Reviewer: Vagn Lundsgaard Hansen (Lyngby)
Notions of anonymous existence in Martin-Löf type theory. (English) Zbl 1377.03005
Reviewer: Anthony Bordg (Praha)
Epitopological and pseudotopological fundamental group functors. arXiv:1707.05601
Preprint, arXiv:1707.05601 [math.AT] (2017).
Constructions with non-recursive higher inductive types. (English) Zbl 1394.03010
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 595-604 (2016).
On open and closed strings. (English) Zbl 1375.55009
Rational pairing rank of a map. (English) Zbl 1359.55009
Reviewer: Hicham Yamoul (Salé)
Type theory in type theory using quotient inductive types. (English) Zbl 1347.68045
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 18-29 (2016).
A note on Rhodes and Gottlieb-Rhodes groups. (English) Zbl 1353.55008
Reviewer: Marek Golasiński (Olsztyn)
A new topological degree theory for pseudomonotone perturbations of the sum of two maximal monotone operators and applications. (English) Zbl 1344.47041
A Spectral ”schematization” of Homotopy Types. arXiv:1609.04290
Preprint, arXiv:1609.04290 [math.AG] (2016).
Univalent foundations of mathematics and paraconsistency. (English) Zbl 1423.03043
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 285-294 (2015).
Non-wellfounded trees in homotopy type theory. (English) Zbl 1433.03027
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 17-30 (2015).
Nonabelian algebraic topology. (English) Zbl 1336.55003
Reviewer: Martin Frankland (Osnabrück)
Cubical homotopy theory. (English) Zbl 1352.55001
New Mathematical Monographs 25. Cambridge: Cambridge University Press (ISBN 978-1-107-03025-1/hbk). xv, 631 p. (2015).
Reviewer: Jérôme Scherer (Lausanne)
An algebraic definition of \((\infty, N)\)-categories. (English) Zbl 1320.18004
Reviewer: Ittay Weiss (Suva)
The Gorenstein defect category. (English) Zbl 1327.13041
Reviewer: Radoslav M. Dimitrić (New York)
Eilenberg-MacLane spaces in homotopy type theory. (English) Zbl 1395.68249
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 66, 9 p. (2014).
Filter Results by …
Document Type
- Journal Articles (600)
- Collection Articles (117)
- Books (49)
- arXiv Preprints (8)
all
top 5
Author
- Porter, Timothy (21)
- Han, Sang-Eon (20)
- Hernández Paricio, Luis Javier (15)
- Demaria, Davide Carlo (12)
- Eda, Katsuya (10)
- Baues, Hans-Joachim (8)
- Rivas Rodríguez, María Teresa (8)
- Szűcs, András (8)
- Yamaguchi, Toshihiro (8)
- Barmak, Jonathan Ariel (7)
- Félix, Yves (6)
- Keesling, James Edgar (6)
- Koschorke, Ulrich (6)
- Ravenel, Douglas C. (6)
- Ray, Nigel (6)
- Brown, Ronald (5)
- Burzio, Marco (5)
- Halperin, Stephen (5)
- Minian, Elias Gabriel (5)
- Morita, Kiiti (5)
- Paoli, Simona (5)
- Yamaguchi, Kohhei (5)
- Blanc, David Abraham (4)
- Eccles, Peter John (4)
- Extremiana, J. I. (4)
- Göbel, Rüdiger (4)
- Golubyatnikov, Vladimir Petrovich (4)
- Karimov, Umed H. (4)
- Kobayashi, Teiichi (4)
- Lee, Sik (4)
- Madsen, Ib Henning (4)
- Mashayekhy, Behrooz (4)
- Milgram, Richard James (4)
- Mirebrahimi, Hanieh (4)
- Quick, Gereon (4)
- Repovš, Dušan D. (4)
- Schwartz, Lionel (4)
- Segal, Jack (4)
- Smith, Larry (4)
- Altenkirch, Thorsten (3)
- Avramov, Luchezar L. (3)
- Basu, Saugata (3)
- Botvinnik, Boris I. (3)
- Carter, J. Scott (3)
- Cherenack, Paul (3)
- Coquand, Thierry (3)
- Davis, Donald M. (3)
- Douglas, Roy R. (3)
- Dydak, Jerzy (3)
- Gandini, Pier Mario (3)
- Hajłasz, Piotr (3)
- Hastings, Harold M. (3)
- Hsiang, Wu-Chung (3)
- Jänich, Klaus (3)
- Kaposi, Ambrus (3)
- Kawamura, Kazuhiro (3)
- Kochman, Stanley O. (3)
- Kraus, Nicolai (3)
- Licata, Daniel R. (3)
- Lupton, Gregory M. (3)
- Paris, Luis (3)
- Rudyak, Yuli B. (3)
- Schafer, James A. (3)
- Seade, Jose Antonio (3)
- Shiga, Hiroo (3)
- Spiez, Stanislaw (3)
- Stolz, Stephan A. (3)
- Street, Ross H. (3)
- Taylor, Laurence Robert (3)
- Terpai, Tamás (3)
- Tillmann, Ulrike (3)
- van der Weide, Niels (3)
- Welker, Volkmar (3)
- Wilson, W. Stephen (3)
- Ahrens, Benedikt (2)
- Akhmet’ev, Pëtr Mikhaĭlovich (2)
- Al-Sabti, George (2)
- Arvasi, Zekeriya (2)
- Asok, Aravind (2)
- Awodey, Steve (2)
- Bai, Chengming (2)
- Baladze, Vladimer (2)
- Bökstedt, Marcel (2)
- Bott, Raoul Harry (2)
- Bruner, Robert R. (2)
- Bullejos, Manuel (2)
- Bunyatov, M. R. (2)
- Calder, Allan (2)
- Carfora, Mauro (2)
- Casacuberta, Carles (2)
- Cegarra, Antonio Martínez (2)
- Chataur, David (2)
- Cohen, Ralph L. (2)
- Conner, Greg (2)
- Dang, Chuangyin (2)
- Domínguez, Eladio (2)
- Dotti, Isabel Graziela (2)
- Drozd, Yuriĭ Anatoliĭovych (2)
- Ebert, Johannes Felix (2)
- Edwards, David A. (2)
- and 652 more Authors
all
top 5
Serial
- Trans. Am. Math. Soc. (28)
- Topology Appl. (18)
- Fundam. Math. (17)
- Proc. Am. Math. Soc. (17)
- J. Pure Appl. Algebra (15)
- Honam Math. J. (14)
- Math. Z. (12)
- Topology (11)
- Math. Proc. Camb. Philos. Soc. (9)
- Adv. Math. (9)
- Cah. Topologie Géom. Différ. Catégoriques (8)
- Algebr. Geom. Topol. (8)
- Homology Homotopy Appl. (7)
- Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. (7)
- Russ. Math. Surv. (6)
- J. Lond. Math. Soc., II. Ser. (6)
- Pac. J. Math. (6)
- Q. J. Math., Oxf. II. Ser. (6)
- C. R. Acad. Sci., Paris, Sér. I (6)
- Theory Appl. Categ. (6)
- Suppl. Rend. Circ. Mat. Palermo (2) (6)
- Math. Notes (5)
- Hiroshima Math. J. (5)
- J. Algebra (5)
- Manuscr. Math. (5)
- Osaka J. Math. (5)
- Proc. Lond. Math. Soc. (3) (5)
- Soobshch. Akad. Nauk Gruz. SSR (5)
- Bull. Am. Math. Soc. (5)
- Lect. Notes Math. (5)
- J. Homotopy Relat. Struct. (5)
- Bull. Aust. Math. Soc. (4)
- Commun. Algebra (4)
- J. Differ. Geom. (4)
- J. Math. Econ. (4)
- J. Reine Angew. Math. (4)
- Proc. Edinb. Math. Soc., II. Ser. (4)
- Simon Stevin (4)
- Rend. Semin. Mat., Torino (4)
- Discrete Comput. Geom. (4)
- Forum Math. (4)
- Appl. Categ. Struct. (4)
- Topol. Proc. (4)
- Bull. Belg. Math. Soc. - Simon Stevin (4)
- Geom. Topol. (4)
- J. Singul. (4)
- Commun. Math. Phys. (3)
- Usp. Mat. Nauk (3)
- J. Geom. Phys. (3)
- Acta Math. (3)
- Am. J. Math. (3)
- Atti Accad. Sci. Lett. Arti Palermo, IV. Ser., Parte I (3)
- Bull. Lond. Math. Soc. (3)
- Comment. Math. Helv. (3)
- Indiana Univ. Math. J. (3)
- Invent. Math. (3)
- J. Korean Math. Soc. (3)
- J. Math. Soc. Japan (3)
- Kodai Math. J. (3)
- Math. Scand. (3)
- Mem. Am. Math. Soc. (3)
- Proc. Japan Acad., Ser. A (3)
- Acta Appl. Math. (3)
- Ann. Soc. Sci. Brux., Sér. I (3)
- Glas. Mat., III. Ser. (3)
- Bull. Am. Math. Soc., New Ser. (3)
- C. R. Acad. Sci., Paris, Sér. A (3)
- Log. Methods Comput. Sci. (3)
- J. \(K\)-Theory (3)
- Int. J. Mod. Phys. B (2)
- Discrete Math. (2)
- Isr. J. Math. (2)
- J. Math. Phys. (2)
- Mat. Zametki (2)
- Mosc. Univ. Math. Bull. (2)
- Acta Math. Sin. (2)
- Bol. Soc. Mat. Mex., II. Ser. (2)
- Bull. Soc. Math. Fr. (2)
- Can. J. Math. (2)
- Funct. Anal. Appl. (2)
- Ill. J. Math. (2)
- J. Comb. Theory, Ser. A (2)
- Math. Ann. (2)
- Math. J. Okayama Univ. (2)
- Publ. Res. Inst. Math. Sci. (2)
- Rend. Ist. Mat. Univ. Trieste (2)
- Rev. Acad. Ci. Exactas Fís. Quím. Nat. Zaragoza, II. Ser. (2)
- Sib. Math. J. (2)
- Z. Anal. Anwend. (2)
- Geom. Funct. Anal. (2)
- J. Aust. Math. Soc., Ser. A (2)
- Math. USSR, Sb. (2)
- Mem. Fac. Sci., Kochi Univ., Ser. A (2)
- J. Math. Imaging Vis. (2)
- Comput. Optim. Appl. (2)
- J. Math. Sci., New York (2)
- Math. Res. Lett. (2)
- Sb. Math. (2)
- Doc. Math. (2)
- J. Group Theory (2)
- and 155 more Serials
all
top 5
Year of Publication
- 2024 (9)
- 2023 (10)
- 2022 (9)
- 2021 (11)
- 2020 (9)
- 2019 (11)
- 2018 (15)
- 2017 (8)
- 2016 (9)
- 2015 (8)
- 2014 (17)
- 2013 (11)
- 2012 (17)
- 2011 (17)
- 2010 (28)
- 2009 (19)
- 2008 (17)
- 2007 (12)
- 2006 (6)
- 2005 (11)
- 2004 (5)
- 2003 (6)
- 2002 (10)
- 2001 (10)
- 2000 (9)
- 1999 (10)
- 1998 (20)
- 1997 (8)
- 1996 (11)
- 1995 (7)
- 1994 (8)
- 1993 (11)
- 1992 (13)
- 1991 (11)
- 1990 (17)
- 1989 (14)
- 1988 (23)
- 1987 (12)
- 1986 (16)
- 1985 (24)
- 1984 (28)
- 1983 (20)
- 1982 (24)
- 1981 (18)
- 1980 (31)
- 1979 (31)
- 1978 (14)
- 1977 (17)
- 1976 (19)
- 1975 (20)
- 1974 (22)
- 1973 (13)
- 1972 (7)
- 1971 (4)
- 1970 (4)
- 1968 (1)
- 1967 (1)
- 1964 (1)
all
top 3
Main Field
- 55-XX (662)
- 57-XX (309)
- 18-XX (110)
- 54-XX (87)
- 20-XX (61)
- 14-XX (38)
- 58-XX (35)
- 68-XX (32)
- 53-XX (31)
- 03-XX (30)
- 05-XX (28)
- 13-XX (28)
- 16-XX (27)
- 52-XX (20)
- 47-XX (19)
- 06-XX (15)
- 32-XX (13)
- 19-XX (12)
- 37-XX (11)
- 81-XX (11)
- 22-XX (10)
- 46-XX (9)
- 11-XX (8)
- 17-XX (8)
- 91-XX (8)
- 74-XX (6)
- 49-XX (5)
- 51-XX (5)
- 65-XX (5)
- 82-XX (5)
- 01-XX (4)
- 90-XX (4)
- 00-XX (3)
- 30-XX (3)
- 76-XX (3)
- 83-XX (3)
- 12-XX (2)
- 26-XX (2)
- 28-XX (2)
- 35-XX (2)
- 60-XX (2)
- 94-XX (2)
- 08-XX (1)
- 15-XX (1)
- 33-XX (1)
- 34-XX (1)
- 45-XX (1)
- 62-XX (1)
Biographic Reference
all
top 3
Software
- Coq (9)
- cubicaltt (5)
- Agda (4)
- GitHub (3)
- Haskell (2)
- Ripser (2)
- UniMath (2)
- ALF (1)
- ANICK (1)
- Andromeda (1)
- Automath (1)
- BERGMAN (1)
- CHomP (1)
- Cubical agda (1)
- EAT (1)
- GAP (1)
- HoTT (1)
- Kenzo (1)
- Library of Triangulations (1)
- Macaulay2 (1)
- MathOverflow (1)
- MiniAgda (1)
- Nuprl (1)
- Ripser++ (1)
- SINGULAR (1)
- SageMath (1)
- Twelf (1)
- cart-cube (1)
- polymake (1)
