Srivastava, Tanya Kaushal Lifting automorphisms on Abelian varieties as derived autoequivalences. (English) Zbl 07343931 Arch. Math. 116, No. 5, 515-527 (2021). MSC: 14F05 14J50 14G17 11G10 14D15 14K99 PDF BibTeX XML Cite \textit{T. K. Srivastava}, Arch. Math. 116, No. 5, 515--527 (2021; Zbl 07343931) Full Text: DOI
Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César; Anderson, Gregory; Bobot, François Formal analysis of the compact position reporting algorithm. (English) Zbl 07317637 Formal Asp. Comput. 33, No. 1, 65-86 (2021). MSC: 68U35 65Y04 68P30 68Q60 68W40 PDF BibTeX XML Cite \textit{A. Dutle} et al., Formal Asp. Comput. 33, No. 1, 65--86 (2021; Zbl 07317637) Full Text: DOI
Terakado, Yasuhiro Canonical subgroups of generalized Drinfeld modules. (English) Zbl 07304555 Res. Number Theory 7, No. 1, Paper No. 8, 21 p. (2021). Reviewer: Andrea Bandini (Pisa) MSC: 11F52 11G09 11F33 14L05 14L15 PDF BibTeX XML Cite \textit{Y. Terakado}, Res. Number Theory 7, No. 1, Paper No. 8, 21 p. (2021; Zbl 07304555) Full Text: DOI
Gorchinskiy, Sergeĭ O.; Osipov, Denis V. Iterated Laurent series over rings and the Contou-Carrère symbol. (English. Russian original) Zbl 1457.19005 Russ. Math. Surv. 75, No. 6, 995-1066 (2020); translation from Usp. Mat. Nauk 75, No. 6, 3-84 (2020). Reviewer: Wilberd van der Kallen (Utrecht) MSC: 19D45 13J05 14L15 19F05 13F25 PDF BibTeX XML Cite \textit{S. O. Gorchinskiy} and \textit{D. V. Osipov}, Russ. Math. Surv. 75, No. 6, 995--1066 (2020; Zbl 1457.19005); translation from Usp. Mat. Nauk 75, No. 6, 3--84 (2020) Full Text: DOI
Oort, Frans Finite group schemes and \(p\)-divisible groups. (English) Zbl 1455.14089 ICCM Not. 8, No. 1, 55-78 (2020). MSC: 14L15 14L05 20J15 PDF BibTeX XML Cite \textit{F. Oort}, ICCM Not. 8, No. 1, 55--78 (2020; Zbl 1455.14089) Full Text: DOI
Nasu, Hirokazu Corrigendum to “Obstructions to deforming curves on a 3-fold, III: deformations of curves lying on a \(K3\) surface”. (English) Zbl 07301525 Int. J. Math. 31, No. 12, Article ID 2092001, 6 p. (2020). MSC: 14C05 14H10 14D15 PDF BibTeX XML Cite \textit{H. Nasu}, Int. J. Math. 31, No. 12, Article ID 2092001, 6 p. (2020; Zbl 07301525) Full Text: DOI
Parys, Paweł A type system describing unboundedness. (English) Zbl 07290417 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{P. Parys}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020; Zbl 07290417) Full Text: Link
Vanhaecke, Arnaud The Dieudonné crystal of \(\mathbb{F}\)-vector schemes. (Le cristal de Dieudonné des schémas en \(\mathbb{F}\)-vectoriels.) (English) Zbl 07290300 Bull. Soc. Math. Fr. 148, No. 3, 439-465 (2020). MSC: 14L05 14L15 14F30 20G05 PDF BibTeX XML Cite \textit{A. Vanhaecke}, Bull. Soc. Math. Fr. 148, No. 3, 439--465 (2020; Zbl 07290300) Full Text: DOI
Beraldo, Dario The spectral gluing theorem revisited. (English) Zbl 07242500 Épijournal de Géom. Algébr., EPIGA 4, Article No. 9, 34 p. (2020). Reviewer: Richard Derryberry (Waterloo) MSC: 14D24 22E57 14F08 14H60 PDF BibTeX XML Cite \textit{D. Beraldo}, Épijournal de Géom. Algébr., EPIGA 4, Article No. 9, 34 p. (2020; Zbl 07242500) Full Text: arXiv
Higuchi, Nobuhiro On the boundary components of central streams in the two slopes case. (English) Zbl 07227755 Kodai Math. J. 43, No. 2, 366-408 (2020). MSC: 14L15 14L05 14K10 PDF BibTeX XML Cite \textit{N. Higuchi}, Kodai Math. J. 43, No. 2, 366--408 (2020; Zbl 07227755) Full Text: DOI Euclid
Bhaskar, Siddharth; Chandlee, Jane; Jardine, Adam; Oakden, Christopher Boolean monadic recursive schemes as a logical characterization of the subsequential functions. (English) Zbl 1437.68042 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020). MSC: 68N30 03B70 03D05 68Q45 PDF BibTeX XML Cite \textit{S. Bhaskar} et al., Lect. Notes Comput. Sci. 12038, 157--169 (2020; Zbl 1437.68042) Full Text: DOI
Jeż, Artur Recompression: technique for word equations and compressed data. (English) Zbl 1437.68098 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 44-67 (2020). MSC: 68Q45 03B25 03D05 68P30 68Q70 68W40 PDF BibTeX XML Cite \textit{A. Jeż}, Lect. Notes Comput. Sci. 12038, 44--67 (2020; Zbl 1437.68098) Full Text: DOI
Álvarez, Nicolás; Carton, Olivier On normality in shifts of finite type. (English) Zbl 07217005 Theory Comput. Syst. 64, No. 5, 783-798 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 37B15 37B51 11K16 68Q45 68P30 PDF BibTeX XML Cite \textit{N. Álvarez} and \textit{O. Carton}, Theory Comput. Syst. 64, No. 5, 783--798 (2020; Zbl 07217005) Full Text: DOI
Reichstein, Zinovy; Tossici, Dajano Special groups, versality and the Grothendieck-Serre conjecture. (English) Zbl 07206341 Doc. Math. 25, 171-188 (2020). MSC: 20G05 14L05 20G10 20G15 20G35 PDF BibTeX XML Cite \textit{Z. Reichstein} and \textit{D. Tossici}, Doc. Math. 25, 171--188 (2020; Zbl 07206341) Full Text: DOI
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand’s theorem as higher order recursion. (English) Zbl 07189164 Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03D05 03F30 PDF BibTeX XML Cite \textit{B. Afshari} et al., Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020; Zbl 07189164) Full Text: DOI
Manetti, Marco; Meazzini, Francesco Deformations of algebraic schemes via Reedy-Palamodov cofibrant resolutions. (English) Zbl 1431.14007 Indag. Math., New Ser. 31, No. 1, 7-32 (2020). Reviewer: Simon Felten (Mainz) MSC: 14D15 16W50 18N40 32G05 PDF BibTeX XML Cite \textit{M. Manetti} and \textit{F. Meazzini}, Indag. Math., New Ser. 31, No. 1, 7--32 (2020; Zbl 1431.14007) Full Text: DOI
Jha, Abhinav; John, Volker A study of solvers for nonlinear AFC discretizations of convection-diffusion equations. (English) Zbl 1443.65343 Comput. Math. Appl. 78, No. 9, 3117-3138 (2019). MSC: 65N30 PDF BibTeX XML Cite \textit{A. Jha} and \textit{V. John}, Comput. Math. Appl. 78, No. 9, 3117--3138 (2019; Zbl 1443.65343) Full Text: DOI
Baruch, Gilad; Klein, Shmuel T.; Shapira, Dana New approaches for context sensitive flash codes. (English) Zbl 1434.68150 Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 45-57 (2019). MSC: 68P30 68Q45 PDF BibTeX XML Cite \textit{G. Baruch} et al., Lect. Notes Comput. Sci. 11601, 45--57 (2019; Zbl 1434.68150) Full Text: DOI
Romagny, Matthieu; Tossici, Dajano Smooth affine group schemes over the dual numbers. (Schémas en groupes affines et lisses sur les nombres duaux.) (English. French summary) Zbl 1439.14128 Épijournal de Géom. Algébr., EPIGA 3, Article No. 5, 38 p. (2019). MSC: 14L15 14D15 14L17 PDF BibTeX XML Cite \textit{M. Romagny} and \textit{D. Tossici}, Épijournal de Géom. Algébr., EPIGA 3, Article No. 5, 38 p. (2019; Zbl 1439.14128) Full Text: Link
Bauer, Tilman; Carlson, Magnus Tensor products of affine and formal abelian groups. (English) Zbl 07152815 Doc. Math. 24, 2525-2582 (2019). MSC: 14L17 16W30 14L05 PDF BibTeX XML Cite \textit{T. Bauer} and \textit{M. Carlson}, Doc. Math. 24, 2525--2582 (2019; Zbl 07152815) Full Text: DOI arXiv
Oort, Frans (ed.) Questions in arithmetic algebraic geometry. (English) Zbl 1428.14005 Oort, Frans (ed.), Open problems in arithmetic algebraic geometry. Based on the presentations at the conference ‘Arithmetic and geometry of abelian varieties’, 1995. With appendices by Frans Oort. Somerville, MA: International Press; Beijing: Higher Education Press. Adv. Lect. Math. (ALM) 46, 295-331 (2019). MSC: 14-06 11-06 14Gxx 14Kxx 14L05 11Gxx 00A27 PDF BibTeX XML Cite \textit{F. Oort} (ed.), in: Open problems in arithmetic algebraic geometry. Based on the presentations at the conference `Arithmetic and geometry of abelian varieties', 1995. With appendices by Frans Oort. Somerville, MA: International Press; Beijing: Higher Education Press. 295--331 (2019; Zbl 1428.14005)
Jelisiejew, Joachim; Sienkiewicz, Łukasz Białynicki-Birula decomposition for reductive groups. (English. French summary) Zbl 1446.14030 J. Math. Pures Appl. (9) 131, 290-325 (2019). Reviewer: Andrzej Weber (Warszawa) MSC: 14L30 14D15 20G05 20M32 PDF BibTeX XML Cite \textit{J. Jelisiejew} and \textit{Ł. Sienkiewicz}, J. Math. Pures Appl. (9) 131, 290--325 (2019; Zbl 1446.14030) Full Text: DOI arXiv
Cais, Bryden (ed.) Perfectoid spaces. Lectures from the 20th Arizona winter school, University of Arizona, Tuscon, AZ, USA, March 11–17, 2017. With an introduction by Peter Scholze. (English) Zbl 1428.14002 Mathematical Surveys and Monographs 242. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5015-1/hbk; 978-1-4704-5411-1/ebook). xii, 297 p. (2019). MSC: 14-06 11-06 11F80 11G25 14C30 14F30 14F40 14G20 14G22 14G35 14G40 14L05 00B25 PDF BibTeX XML Cite \textit{B. Cais} (ed.), Perfectoid spaces. Lectures from the 20th Arizona winter school, University of Arizona, Tuscon, AZ, USA, March 11--17, 2017. With an introduction by Peter Scholze. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1428.14002) Full Text: DOI
Bourqui, David; Sebag, Julien Finite formal model of toric singularities. (English) Zbl 1440.14017 J. Math. Soc. Japan 71, No. 3, 805-829 (2019). MSC: 14B20 14E18 14M25 PDF BibTeX XML Cite \textit{D. Bourqui} and \textit{J. Sebag}, J. Math. Soc. Japan 71, No. 3, 805--829 (2019; Zbl 1440.14017) Full Text: DOI Euclid
Nasu, Hirokazu Obstructions to deforming curves on a prime Fano 3-fold. (English) Zbl 1427.14012 Math. Nachr. 292, No. 8, 1777-1790 (2019). Reviewer: Scott Nollet (Fort Worth) MSC: 14C05 14H10 14D15 PDF BibTeX XML Cite \textit{H. Nasu}, Math. Nachr. 292, No. 8, 1777--1790 (2019; Zbl 1427.14012) Full Text: DOI arXiv
Yan, Jingchen; Wang, Yating; Goto, Yuichi; Cheng, Jingde An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness. (English) Zbl 07116584 Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer (ISBN 978-3-030-16457-7/pbk; 978-3-030-16458-4/ebook). Lecture Notes in Computer Science 11445, 399-408 (2019). MSC: 68P25 68P30 94A60 94Bxx PDF BibTeX XML Cite \textit{J. Yan} et al., Lect. Notes Comput. Sci. 11445, 399--408 (2019; Zbl 07116584) Full Text: DOI
Hartmann, Annabelle Equivariant motivic integration on formal schemes and the motivic zeta function. (English) Zbl 1441.14155 Commun. Algebra 47, No. 4, 1423-1463 (2019). MSC: 14L30 14D15 14G22 14G10 14E18 PDF BibTeX XML Cite \textit{A. Hartmann}, Commun. Algebra 47, No. 4, 1423--1463 (2019; Zbl 1441.14155) Full Text: DOI arXiv
Lipnowski, Michael; Tsimerman, Jacob Cohen-Lenstra heuristics for étale group schemes and symplectic pairings. (English) Zbl 07089337 Compos. Math. 155, No. 4, 758-775 (2019). Reviewer: Nikolaj M. Glazunov (Kyïv) MSC: 14L15 11G20 11S31 20G05 20J05 14H10 15B51 PDF BibTeX XML Cite \textit{M. Lipnowski} and \textit{J. Tsimerman}, Compos. Math. 155, No. 4, 758--775 (2019; Zbl 07089337) Full Text: DOI arXiv
Margaux, Benedictus Formal torsors under reductive group schemes. (English) Zbl 1440.14221 Rev. Unión Mat. Argent. 60, No. 1, 217-224 (2019). MSC: 14L30 14D15 14L15 PDF BibTeX XML Cite \textit{B. Margaux}, Rev. Unión Mat. Argent. 60, No. 1, 217--224 (2019; Zbl 1440.14221) Full Text: Link
Kobayashi, Naoki Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. (English) Zbl 1429.68120 Theor. Comput. Sci. 777, 409-416 (2019). MSC: 68Q45 11U05 68N30 68Q42 PDF BibTeX XML Cite \textit{N. Kobayashi}, Theor. Comput. Sci. 777, 409--416 (2019; Zbl 1429.68120) Full Text: DOI
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria Full sets of pictures to encode pictures. (English) Zbl 1423.68240 Theor. Comput. Sci. 777, 55-68 (2019). MSC: 68Q45 68P05 68P30 PDF BibTeX XML Cite \textit{M. Anselmo} et al., Theor. Comput. Sci. 777, 55--68 (2019; Zbl 1423.68240) Full Text: DOI
Bertapelle, A.; Mazzari, N. On deformations of 1-motives. (English) Zbl 07036960 Can. Math. Bull. 62, No. 1, 11-22 (2019). MSC: 14L15 14C15 14L05 PDF BibTeX XML Cite \textit{A. Bertapelle} and \textit{N. Mazzari}, Can. Math. Bull. 62, No. 1, 11--22 (2019; Zbl 07036960) Full Text: DOI
Li, Jinghao; Vasiu, Adrian Purity of crystalline strata. (English) Zbl 1451.14063 Tunis. J. Math. 1, No. 4, 519-538 (2019). Reviewer: Andrea Marrama (Duisburg) MSC: 14F30 14L05 11G10 14G35 11G18 14K10 14K99 14L15 PDF BibTeX XML Cite \textit{J. Li} and \textit{A. Vasiu}, Tunis. J. Math. 1, No. 4, 519--538 (2019; Zbl 1451.14063) Full Text: DOI
Piontkovski, Dmitri Algebras of linear growth and the dynamical Mordell-Lang conjecture. (English) Zbl 1450.16034 Adv. Math. 343, 141-156 (2019). MSC: 16W50 14L30 11B37 68Q45 PDF BibTeX XML Cite \textit{D. Piontkovski}, Adv. Math. 343, 141--156 (2019; Zbl 1450.16034) Full Text: DOI arXiv
He, Xuhua Some results on affine Deligne-Lusztig varieties. (English) Zbl 1441.14147 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1345-1365 (2018). MSC: 14L05 20G25 11G18 14G35 20G40 14L30 20C08 20F55 PDF BibTeX XML Cite \textit{X. He}, in: Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1345--1365 (2018; Zbl 1441.14147) Full Text: DOI
Glazunov, Nikolaĭ Mikhaĭlovich Duality in abelian varieties and formal groups over local fields. (Russian. English summary) Zbl 1439.14010 Chebyshevskiĭ Sb. 19, No. 1(65), 44-56 (2018). MSC: 14-03 01A70 01A60 14L15 14K05 14L05 PDF BibTeX XML Cite \textit{N. M. Glazunov}, Chebyshevskiĭ Sb. 19, No. 1(65), 44--56 (2018; Zbl 1439.14010) Full Text: DOI MNR
Cohen, Gil; Haeupler, Bernhard; Schulman, Leonard J. Explicit binary tree codes with polylogarithmic size alphabet. (English) Zbl 1427.68141 Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 535-544 (2018). MSC: 68Q45 12D10 68P30 68W30 PDF BibTeX XML Cite \textit{G. Cohen} et al., in: Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC '18, Los Angeles, CA, USA, June 25--29, 2018. New York, NY: Association for Computing Machinery (ACM). 535--544 (2018; Zbl 1427.68141) Full Text: DOI
Nobuhiro, Higuchi; Shushi, Harashita On specializations of minimal \(p\)-divisible groups. (English) Zbl 1420.14105 Yokohama Math. J. 64, 1-20 (2018). MSC: 14L15 14L05 14K10 PDF BibTeX XML Cite \textit{H. Nobuhiro} and \textit{H. Shushi}, Yokohama Math. J. 64, 1--20 (2018; Zbl 1420.14105) Full Text: DOI
Harashita, Shushi On \(p\)-divisible groups with saturated Newton polygons. (English) Zbl 1423.14259 Nagoya Math. J. 232, 96-120 (2018). MSC: 14L05 14L15 14D15 PDF BibTeX XML Cite \textit{S. Harashita}, Nagoya Math. J. 232, 96--120 (2018; Zbl 1423.14259) Full Text: DOI
Bertapelle, Alessandra; González-Avilés, Cristian D. The Greenberg functor revisited. (English) Zbl 1446.11123 Eur. J. Math. 4, No. 4, 1340-1389 (2018). MSC: 11G25 14G20 PDF BibTeX XML Cite \textit{A. Bertapelle} and \textit{C. D. González-Avilés}, Eur. J. Math. 4, No. 4, 1340--1389 (2018; Zbl 1446.11123) Full Text: DOI arXiv
Ahrens, Benedikt; Matthes, Ralph Heterogeneous substitution systems revisited. (English) Zbl 1433.68220 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018). MSC: 68Q65 18C50 68V15 68V20 PDF BibTeX XML Cite \textit{B. Ahrens} and \textit{R. Matthes}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018; Zbl 1433.68220) Full Text: DOI
Ito, Kazuhiro Existence of supersingular reduction for families of \(K3\) surfaces with large Picard number in positive characteristic. (English) Zbl 1405.14092 Hiroshima Math. J. 48, No. 1, 67-79 (2018). Reviewer: David McKinnon (Waterloo) MSC: 14J28 14C22 14D05 14G17 14F22 PDF BibTeX XML Cite \textit{K. Ito}, Hiroshima Math. J. 48, No. 1, 67--79 (2018; Zbl 1405.14092) Full Text: Euclid arXiv
Fujiwara, Kazuhiro; Kato, Fumiharu Foundations of rigid geometry. I. (English) Zbl 1400.14001 EMS Monographs in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-135-4/hbk; 978-3-03719-635-9/ebook). xxxiv, 829 p. (2018). Reviewer: Elmar Große-Klönne (Berlin) MSC: 14-02 14A20 14G22 PDF BibTeX XML Cite \textit{K. Fujiwara} and \textit{F. Kato}, Foundations of rigid geometry. I. Zürich: European Mathematical Society (EMS) (2018; Zbl 1400.14001) Full Text: DOI arXiv
Cheng, Chuangxun Breuil \(\mathcal {O}\)-windows and \(\pi \)-divisible \(\mathcal {O}\)-modules. (English) Zbl 1423.14257 Trans. Am. Math. Soc. 370, No. 1, 695-726 (2018). MSC: 14L05 14L15 14K10 PDF BibTeX XML Cite \textit{C. Cheng}, Trans. Am. Math. Soc. 370, No. 1, 695--726 (2018; Zbl 1423.14257) Full Text: DOI
Suzuki, Ryota; Fujima, Koichi; Kobayashi, Naoki; Tsukada, Takeshi Streett automata model checking of higher-order recursion schemes. (English) Zbl 1441.68135 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 32, 18 p. (2017). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{R. Suzuki} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 32, 18 p. (2017; Zbl 1441.68135) Full Text: DOI
Hague, Matthew; Meyer, Roland; Muskalla, Sebastian Domains for higher-order games. (English) Zbl 1441.68125 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017). MSC: 68Q45 68Q55 91A80 PDF BibTeX XML Cite \textit{M. Hague} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017; Zbl 1441.68125) Full Text: DOI
Douvropoulos, Theodosios; Jelisiejew, Joachim; Nødland, Bernt Ivar Utstøl; Teitler, Zach The Hilbert scheme of 11 points in \(\mathbb{A}^3\) is irreducible. (English) Zbl 1390.14020 Smith, Gregory G. (ed.) et al., Combinatorial algebraic geometry. Selected papers from the 2016 apprenticeship program, Ottawa, Canada, July–December 2016. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-7485-6/hbk; 978-1-4939-7486-3/ebook). Fields Institute Communications 80, 321-352 (2017). MSC: 14C05 14D15 PDF BibTeX XML Cite \textit{T. Douvropoulos} et al., Fields Inst. Commun. 80, 321--352 (2017; Zbl 1390.14020) Full Text: DOI
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan Algorithmic compression of finite tree languages by rigid acyclic grammars. (English) Zbl 1407.68251 ACM Trans. Comput. Log. 18, No. 4, Article No. 26, 20 p. (2017). MSC: 68Q45 68P30 68Q25 68Q42 PDF BibTeX XML Cite \textit{S. Eberhard} et al., ACM Trans. Comput. Log. 18, No. 4, Article No. 26, 20 p. (2017; Zbl 1407.68251) Full Text: DOI
Kulikov, Vik. S.; Shustin, E. I. On \(G\)-rigid surfaces. (English. Russian original) Zbl 1396.14040 Proc. Steklov Inst. Math. 298, 133-151 (2017); translation from Tr. Mat. Inst. Steklova 298, 144-164 (2017). Reviewer: Edoardo Ballico (Povo) MSC: 14L30 14J50 14D15 14E20 PDF BibTeX XML Cite \textit{Vik. S. Kulikov} and \textit{E. I. Shustin}, Proc. Steklov Inst. Math. 298, 133--151 (2017; Zbl 1396.14040); translation from Tr. Mat. Inst. Steklova 298, 144--164 (2017) Full Text: DOI
Eggert, Sebastian; van der Meyden, Ron Dynamic intransitive noninterference revisited. (English) Zbl 1377.68107 Formal Asp. Comput. 29, No. 6, 1087-1120 (2017). MSC: 68Q45 68P30 PDF BibTeX XML Cite \textit{S. Eggert} and \textit{R. van der Meyden}, Formal Asp. Comput. 29, No. 6, 1087--1120 (2017; Zbl 1377.68107) Full Text: DOI
Nasu, Hirokazu Obstructions to deforming curves on a 3-fold, III: Deformations of curves lying on a \(K 3\) surface. (English) Zbl 1378.14003 Int. J. Math. 28, No. 13, Article ID 1750099, 30 p. (2017); corrigendum ibid. 31, No. 12, Article ID 2092001, 6 p. (2020). MSC: 14C05 14H10 14D15 PDF BibTeX XML Cite \textit{H. Nasu}, Int. J. Math. 28, No. 13, Article ID 1750099, 30 p. (2017; Zbl 1378.14003) Full Text: DOI arXiv
Switala, Nicholas On the de Rham homology and cohomology of a complete local ring in equicharacteristic zero. (English) Zbl 1405.13033 Compos. Math. 153, No. 10, 2075-2146 (2017). Reviewer: Aleksandr G. Aleksandrov (Moskva) MSC: 13D45 14F40 PDF BibTeX XML Cite \textit{N. Switala}, Compos. Math. 153, No. 10, 2075--2146 (2017; Zbl 1405.13033) Full Text: DOI arXiv
Gagie, Travis; Manzini, Giovanni; Sirén, Jouni Wheeler graphs: a framework for BWT-based data structures. (English) Zbl 1380.68145 Theor. Comput. Sci. 698, 67-78 (2017). MSC: 68P05 68P30 68Q25 68Q45 68R10 PDF BibTeX XML Cite \textit{T. Gagie} et al., Theor. Comput. Sci. 698, 67--78 (2017; Zbl 1380.68145) Full Text: DOI
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier Collapsible pushdown automata and recursion schemes. (English) Zbl 1407.68256 ACM Trans. Comput. Log. 18, No. 3, Paper No. 25, 42 p. (2017). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Hague} et al., ACM Trans. Comput. Log. 18, No. 3, Paper No. 25, 42 p. (2017; Zbl 1407.68256) Full Text: DOI
Kock, Anders Affine combinations in affine schemes. (English. French summary) Zbl 1407.14002 Cah. Topol. Géom. Différ. Catég. 58, No. 2, 115-130 (2017). Reviewer: Robert Dawson (Halifax) MSC: 14B10 14B20 14R10 51K10 PDF BibTeX XML Cite \textit{A. Kock}, Cah. Topol. Géom. Différ. Catég. 58, No. 2, 115--130 (2017; Zbl 1407.14002) Full Text: arXiv
Mashhadi, Samaneh New multi-stage secret sharing in the standard model. (English) Zbl 1410.94114 Inf. Process. Lett. 127, 43-48 (2017). MSC: 94A62 94A60 94A55 PDF BibTeX XML Cite \textit{S. Mashhadi}, Inf. Process. Lett. 127, 43--48 (2017; Zbl 1410.94114) Full Text: DOI
Lê, Quy Thuong A short survey on the integral identity conjecture and theories of motivic integration. (English) Zbl 1376.14019 Acta Math. Vietnam. 42, No. 2, 289-310 (2017). MSC: 14E18 03C60 14B20 14G22 32S45 11S80 14N35 PDF BibTeX XML Cite \textit{Q. T. Lê}, Acta Math. Vietnam. 42, No. 2, 289--310 (2017; Zbl 1376.14019) Full Text: DOI
Hennion, Benjamin Higher dimensional formal loop spaces. (Espaces des lacets formels de dimension supérieure.) (English. French summary) Zbl 1391.18020 Ann. Sci. Éc. Norm. Supér. (4) 50, No. 3, 609-663 (2017). Reviewer: Julie Bergner (Riverside) MSC: 18F99 55U40 55U35 14A15 14A20 PDF BibTeX XML Cite \textit{B. Hennion}, Ann. Sci. Éc. Norm. Supér. (4) 50, No. 3, 609--663 (2017; Zbl 1391.18020) Full Text: DOI Link
Albert, Pilar; Mayordomo, Elvira; Moser, Philippe Bounded pushdown dimension vs Lempel Ziv information density. (English) Zbl 1360.68453 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 95-114 (2017). MSC: 68P30 68Q45 PDF BibTeX XML Cite \textit{P. Albert} et al., Lect. Notes Comput. Sci. 10010, 95--114 (2017; Zbl 1360.68453) Full Text: DOI arXiv
Barcucci, Elena; Bernini, Antonio; Bilotta, Stefano; Pinzani, Renzo Cross-bifix-free sets in two dimensions. (English) Zbl 1359.68157 Theor. Comput. Sci. 664, 29-38 (2017). MSC: 68Q45 68P30 94A45 PDF BibTeX XML Cite \textit{E. Barcucci} et al., Theor. Comput. Sci. 664, 29--38 (2017; Zbl 1359.68157) Full Text: DOI arXiv
Caruso, Xavier Estimation of the dimensions of some Kisin varieties. (Estimation des dimensions de certaines variétés de Kisin.) (French. English summary) Zbl 1375.14165 J. Reine Angew. Math. 723, 1-77 (2017). Reviewer: Laurent Berger (Lyon) MSC: 14M15 14L15 11F80 14L05 13J05 14Q15 PDF BibTeX XML Cite \textit{X. Caruso}, J. Reine Angew. Math. 723, 1--77 (2017; Zbl 1375.14165) Full Text: DOI
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor The diagonal problem for higher-order recursion schemes is decidable. (English) Zbl 1401.68158 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). 96-105 (2016). MSC: 68Q45 03B25 68Q42 68Q85 PDF BibTeX XML Cite \textit{L. Clemente} et al., in: 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). 96--105 (2016; Zbl 1401.68158) Full Text: DOI
Tabuada, Gonçalo Algebraic \(K\)-theory with coefficients of cyclic quotient singularities. (English. French summary) Zbl 1380.19001 C. R., Math., Acad. Sci. Paris 354, No. 5, 449-452 (2016). MSC: 19E08 13F25 19D25 16G70 PDF BibTeX XML Cite \textit{G. Tabuada}, C. R., Math., Acad. Sci. Paris 354, No. 5, 449--452 (2016; Zbl 1380.19001) Full Text: DOI
Achter, Jeffrey D. The distribution of torsion subschemes of abelian varieties. (English) Zbl 1370.14023 J. Inst. Math. Jussieu 15, No. 4, 693-710 (2016). Reviewer: Nikolaj M. Glazunov (Kyïv) MSC: 14G17 14K10 14L05 14L15 PDF BibTeX XML Cite \textit{J. D. Achter}, J. Inst. Math. Jussieu 15, No. 4, 693--710 (2016; Zbl 1370.14023) Full Text: DOI
Getzler, Ezra The derived Maurer-Cartan locus. (English) Zbl 1368.14005 Enseign. Math. (2) 62, No. 1-2, 261-284 (2016). Reviewer: Julian Holstein (Lancaster) MSC: 14B20 18G55 PDF BibTeX XML Cite \textit{E. Getzler}, Enseign. Math. (2) 62, No. 1--2, 261--284 (2016; Zbl 1368.14005) Full Text: DOI arXiv
Tate, John Collected works of John Tate. Part I (1951–1975). Edited by Barry Mazur and Jean-Pierre Serre. (English) Zbl 1407.01030 Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9092-9/hbk; 978-1-4704-3021-4/ebook). xxvii, 716 p. (2016). Reviewer: Franz Lemmermeyer (Jagstzell) MSC: 01A75 11-03 14-03 11Gxx 14Gxx 14Kxx PDF BibTeX XML Cite \textit{J. Tate}, Collected works of John Tate. Part I (1951--1975). Edited by Barry Mazur and Jean-Pierre Serre. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1407.01030)
Lowrey, Parker E.; Schürg, Timo Derived algebraic cobordism. (English) Zbl 1375.14087 J. Inst. Math. Jussieu 15, No. 2, 407-443 (2016). MSC: 14F43 14C40 55N22 PDF BibTeX XML Cite \textit{P. E. Lowrey} and \textit{T. Schürg}, J. Inst. Math. Jussieu 15, No. 2, 407--443 (2016; Zbl 1375.14087) Full Text: DOI arXiv
Ong, Luke Higher-order model checking: an overview. (English) Zbl 1401.68205 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 1-15 (2015). MSC: 68Q60 68N18 68Q45 68Q55 PDF BibTeX XML Cite \textit{L. Ong}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 1--15 (2015; Zbl 1401.68205) Full Text: DOI
Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy Conjugate hylomorphisms – or: the mother of all structured recursion schemes. (English) Zbl 1345.68057 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 527-538 (2015). MSC: 68N18 03B40 18C50 68Q55 PDF BibTeX XML Cite \textit{R. Hinze} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 527--538 (2015; Zbl 1345.68057) Full Text: DOI
Giambruno, Laura; Mantaci, Sabrina; Néraud, Jean; Selmi, Carla A generalization of Girod’s bidirectional decoding method to codes with a finite deciphering delay. (English) Zbl 1372.94402 Int. J. Found. Comput. Sci. 26, No. 6, 733-749 (2015). MSC: 94A45 94B35 68P30 68Q45 PDF BibTeX XML Cite \textit{L. Giambruno} et al., Int. J. Found. Comput. Sci. 26, No. 6, 733--749 (2015; Zbl 1372.94402) Full Text: DOI
Berkovich, Vladimir G. Finiteness theorems for vanishing cycles of formal schemes. (English) Zbl 1353.14032 Isr. J. Math. 210, 147-191 (2015). Reviewer: Jérôme Poineau (Caen) MSC: 14G22 14F20 PDF BibTeX XML Cite \textit{V. G. Berkovich}, Isr. J. Math. 210, 147--191 (2015; Zbl 1353.14032) Full Text: DOI
Harbater, David; Hartmann, Julia; Krashen, Daniel Refinements to patching and applications to field invariants. (English) Zbl 1386.14101 Int. Math. Res. Not. 2015, No. 20, 10399-10450 (2015). Reviewer: Detlev Hoffmann (Dortmund) MSC: 14H05 14F22 11E04 11E81 13F25 14H25 16K20 16K50 12J10 PDF BibTeX XML Cite \textit{D. Harbater} et al., Int. Math. Res. Not. 2015, No. 20, 10399--10450 (2015; Zbl 1386.14101) Full Text: DOI arXiv
Casnati, Gianfranco; Jelisiejew, Joachim; Notari, Roberto Irreducibility of the Gorenstein loci of Hilbert schemes via ray families. (English) Zbl 1349.14011 Algebra Number Theory 9, No. 7, 1525-1570 (2015). MSC: 14C05 13H10 14D15 PDF BibTeX XML Cite \textit{G. Casnati} et al., Algebra Number Theory 9, No. 7, 1525--1570 (2015; Zbl 1349.14011) Full Text: DOI arXiv
Kim, Wansu Erratum to: “The relative Breuil-Kisin classification of \(p\)-divisible groups and finite flat group schemes”. (English) Zbl 1330.14079 Int. Math. Res. Not. 2015, No. 17, 8353-8356 (2015). MSC: 14L15 14L05 PDF BibTeX XML Cite \textit{W. Kim}, Int. Math. Res. Not. 2015, No. 17, 8353--8356 (2015; Zbl 1330.14079) Full Text: DOI
Kim, Wansu The relative Breuil-Kisin classification of \(p\)-divisible groups and finite flat group schemes. (English) Zbl 1330.14078 Int. Math. Res. Not. 2015, No. 17, 8152-8232 (2015); erratum ibid. 2015, No. 17, 8353-8356 (2015). Reviewer: Xiao Xiao (Utica) MSC: 14L15 14L05 PDF BibTeX XML Cite \textit{W. Kim}, Int. Math. Res. Not. 2015, No. 17, 8152--8232 (2015; Zbl 1330.14078) Full Text: DOI arXiv
Köck, Bernhard; Tait, Joseph Faithfulness of actions on Riemann-Roch spaces. (English) Zbl 1320.14046 Can. J. Math. 67, No. 4, 848-869 (2015). Reviewer: Quentin Gendron (Hannover) MSC: 14H30 30F30 14L30 14D15 11R32 PDF BibTeX XML Cite \textit{B. Köck} and \textit{J. Tait}, Can. J. Math. 67, No. 4, 848--869 (2015; Zbl 1320.14046) Full Text: DOI arXiv
Pink, Richard; Wedhorn, Torsten; Ziegler, Paul \(F\)-zips with additional structure. (English) Zbl 1349.14077 Pac. J. Math. 274, No. 1, 183-236 (2015). MSC: 14F40 14L30 18D10 20G40 14L05 PDF BibTeX XML Cite \textit{R. Pink} et al., Pac. J. Math. 274, No. 1, 183--236 (2015; Zbl 1349.14077) Full Text: DOI arXiv
Pépin, Cédric Duality over a local field of positive characteristic with algebraically closed residue field. (Dualité sur un corps local de caractéristique positive à corps résiduel algébriquement clos.) (French. English summary) Zbl 1326.14049 C. R., Math., Acad. Sci. Paris 353, No. 7, 573-577 (2015). MSC: 14F20 14L15 14F22 11S31 PDF BibTeX XML Cite \textit{C. Pépin}, C. R., Math., Acad. Sci. Paris 353, No. 7, 573--577 (2015; Zbl 1326.14049) Full Text: DOI
Li, Qin; Dang, Zhe Sampling automata and programs. (English) Zbl 1309.68062 Theor. Comput. Sci. 577, 125-140 (2015). MSC: 68P30 68N30 68Q45 PDF BibTeX XML Cite \textit{Q. Li} and \textit{Z. Dang}, Theor. Comput. Sci. 577, 125--140 (2015; Zbl 1309.68062) Full Text: DOI
Thuong, Lê Quy Proofs of the integral identity conjecture over algebraically closed fields. (English) Zbl 1370.14017 Duke Math. J. 164, No. 1, 157-194 (2015). MSC: 14E18 03C60 14B20 14G22 32S45 11S80 PDF BibTeX XML Cite \textit{L. Q. Thuong}, Duke Math. J. 164, No. 1, 157--194 (2015; Zbl 1370.14017) Full Text: DOI Euclid arXiv
Forré, Patrick The kernel of the reciprocity map of varieties over local fields. (English) Zbl 1348.11053 J. Reine Angew. Math. 698, 55-69 (2015). Reviewer: Hourong Qin (Nanjing) MSC: 11G25 11G45 19F05 14L05 PDF BibTeX XML Cite \textit{P. Forré}, J. Reine Angew. Math. 698, 55--69 (2015; Zbl 1348.11053) Full Text: DOI
Dar, Ronen; Feder, Meir Finite-memory prediction as well as the empirical mean. (English) Zbl 1360.68454 IEEE Trans. Inf. Theory 60, No. 8, 4526-4543 (2014). MSC: 68P30 68Q45 PDF BibTeX XML Cite \textit{R. Dar} and \textit{M. Feder}, IEEE Trans. Inf. Theory 60, No. 8, 4526--4543 (2014; Zbl 1360.68454) Full Text: DOI arXiv
Bădescu, Lucian Connectivity and a problem of formal geometry. (English) Zbl 1326.14004 Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 85-94 (2014). MSC: 14A15 14E99 PDF BibTeX XML Cite \textit{L. Bădescu}, in: Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference ``Experimental and theoretical methods in algebra, geometry and topology'', Eforie Nord, Romania, June 20--25, 2013. Cham: Springer. 85--94 (2014; Zbl 1326.14004) Full Text: DOI
Saramago, Rui Miguel Connected Hopf corings and their Dieudonné counterparts. (English) Zbl 1335.16020 Arab. J. Math. 3, No. 3, 361-371 (2014). Reviewer: Alan Koch (Decatur) MSC: 16T05 16T15 14L15 14L05 PDF BibTeX XML Cite \textit{R. M. Saramago}, Arab. J. Math. 3, No. 3, 361--371 (2014; Zbl 1335.16020) Full Text: DOI
Vasiu, Adrian Integral models in unramified mixed characteristic \((0,2)\) of Hermitian orthogonal Shimura varieties of PEL type. II. (English) Zbl 1305.11056 Math. Nachr. 287, No. 14-15, 1756-1773 (2014). Reviewer: Xin Lu (Mainz) MSC: 11G18 14G35 11G10 11G15 14F30 14K10 14L05 11E57 20G25 PDF BibTeX XML Cite \textit{A. Vasiu}, Math. Nachr. 287, No. 14--15, 1756--1773 (2014; Zbl 1305.11056) Full Text: DOI arXiv
Gaitsgory, Dennis; Rozenblyum, Nick DG indschemes. (English) Zbl 1316.14006 Etingof, Pavel (ed.) et al., Perspectives in representation theory. A conference in honor of Igor Frenkel’s 60th birthday on perspectives in representation theory, Yale University, New Haven, CT, USA, May 12–17, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9170-4/pbk; 978-1-4704-1523-5/ebook). Contemporary Mathematics 610, 139-251 (2014). Reviewer: Werner Kleinert (Berlin) MSC: 14A20 14D24 14F05 14M15 18D05 18F20 PDF BibTeX XML Cite \textit{D. Gaitsgory} and \textit{N. Rozenblyum}, Contemp. Math. 610, 139--251 (2014; Zbl 1316.14006) Full Text: arXiv
Hattori, Shin On lower ramification subgroups and canonical subgroups. (English) Zbl 1315.11096 Algebra Number Theory 8, No. 2, 303-330 (2014). Reviewer: Mehmet Cenkci (Antalya) MSC: 11S23 14L05 14L15 PDF BibTeX XML Cite \textit{S. Hattori}, Algebra Number Theory 8, No. 2, 303--330 (2014; Zbl 1315.11096) Full Text: DOI arXiv
Kiefer, Stefan; Wachter, Björn Stability and complexity of minimising probabilistic automata. (English) Zbl 1409.68160 Esparza, Javier (ed.) et al., Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8573, 268-279 (2014). MSC: 68Q45 68P30 68Q25 68U10 PDF BibTeX XML Cite \textit{S. Kiefer} and \textit{B. Wachter}, Lect. Notes Comput. Sci. 8573, 268--279 (2014; Zbl 1409.68160) Full Text: DOI
Hedayatzadeh, S. Mohammad Hadi Exterior powers of \(\pi\)-divisible modules over fields. (English) Zbl 1347.11081 J. Number Theory 138, 119-174 (2014). Reviewer: Oliver Bräunling (Essen) MSC: 11S31 14L05 14G40 PDF BibTeX XML Cite \textit{S. M. H. Hedayatzadeh}, J. Number Theory 138, 119--174 (2014; Zbl 1347.11081) Full Text: DOI
Mézard, Ariane; Romagny, Matthieu; Tossici, Dajano Sekiguchi-Suwa theory revisited. (English. French summary) Zbl 1291.14068 J. Théor. Nombres Bordx. 26, No. 1, 163-200 (2014). MSC: 14L15 14L05 13F35 11S31 PDF BibTeX XML Cite \textit{A. Mézard} et al., J. Théor. Nombres Bordx. 26, No. 1, 163--200 (2014; Zbl 1291.14068) Full Text: DOI Link arXiv
Hall, Jack; Rydh, David The Hilbert stack. (English) Zbl 1408.14014 Adv. Math. 253, 194-233 (2014). MSC: 14C05 14A20 14D15 14D23 PDF BibTeX XML Cite \textit{J. Hall} and \textit{D. Rydh}, Adv. Math. 253, 194--233 (2014; Zbl 1408.14014) Full Text: DOI arXiv
Hattori, Shin Canonical subgroups via Breuil-Kisin modules for \(p=2\). (English) Zbl 1318.14043 J. Number Theory 137, 142-159 (2014). Reviewer: Xiao Xiao (Utica) MSC: 14L05 11S20 14L15 PDF BibTeX XML Cite \textit{S. Hattori}, J. Number Theory 137, 142--159 (2014; Zbl 1318.14043) Full Text: DOI arXiv
Haddad, Axel Model checking and functional program transformations. (English) Zbl 1359.68044 Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 115-126 (2013). MSC: 68N18 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. Haddad}, LIPIcs -- Leibniz Int. Proc. Inform. 24, 115--126 (2013; Zbl 1359.68044) Full Text: DOI
Gabber, Ofer; Vasiu, Adrian Dimensions of group schemes of automorphisms of truncated Barsotti-Tate groups. (English) Zbl 1314.14093 Int. Math. Res. Not. 2013, No. 18, 4285-4333 (2013). MSC: 14L05 14L15 PDF BibTeX XML Cite \textit{O. Gabber} and \textit{A. Vasiu}, Int. Math. Res. Not. 2013, No. 18, 4285--4333 (2013; Zbl 1314.14093) Full Text: DOI arXiv
Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier C-SHORe: a collapsible approach to higher-order verification. (English) Zbl 1323.68364 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 13-24 (2013). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{C. Broadbent} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 13--24 (2013; Zbl 1323.68364) Full Text: DOI
D’Antoni, Loris; Veanes, Margus Static analysis of string encoders and decoders. (English) Zbl 1426.68043 Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 209-228 (2013). MSC: 68N30 68P30 68Q45 PDF BibTeX XML Cite \textit{L. D'Antoni} and \textit{M. Veanes}, Lect. Notes Comput. Sci. 7737, 209--228 (2013; Zbl 1426.68043) Full Text: DOI
Gille, Philippe; Moret-Bailly, Laurent Algebraic actions of arithmetic groups. (Actions algébriques de groupes arithmétiques.) (French. English summary) Zbl 1317.14101 Skorobogatov, Alexei N. (ed.), Torsors, étale homotopy and applications to rational points. Lecture notes of mini-courses presented at the workshop “Torsors: theory and applications”, Edinburgh, UK, January 10–14, 2011 and at the study group organised in Imperial College, London, UK in autumn 2010. Cambridge: Cambridge University Press (ISBN 978-1-107-61612-7/pbk; 978-1-139-52535-0/ebook). London Mathematical Society Lecture Note Series 405, 231-249 (2013). Reviewer: Wen-Wei Li (Beijing) MSC: 14L15 14G25 14L05 PDF BibTeX XML Cite \textit{P. Gille} and \textit{L. Moret-Bailly}, Lond. Math. Soc. Lect. Note Ser. 405, 231--249 (2013; Zbl 1317.14101)
Liu, Tong The correspondence between Barsotti-Tate groups and Kisin modules when \(p=2\). (English. French summary) Zbl 1327.14206 J. Théor. Nombres Bordx. 25, No. 3, 661-676 (2013). Reviewer: Alan Koch (Decatur) (MR2923180) MSC: 14L15 14F30 14L05 PDF BibTeX XML Cite \textit{T. Liu}, J. Théor. Nombres Bordx. 25, No. 3, 661--676 (2013; Zbl 1327.14206) Full Text: DOI
Contou-Carrère, Carlos Local Jacobian of a relative formal curve. (Jacobienne locale d’une courbe formelle relative.) (French. English summary) Zbl 1317.14100 Rend. Semin. Mat. Univ. Padova 130, 1-106 (2013). Reviewer: Nikolaj M. Glazunov (Kyïv) MSC: 14L15 19F15 PDF BibTeX XML Cite \textit{C. Contou-Carrère}, Rend. Semin. Mat. Univ. Padova 130, 1--106 (2013; Zbl 1317.14100) Full Text: DOI
Douai, Jean-Claude 2-cohomology of semi-simple simply connected group-schemes over curves defined over \(p\)-adic fields. (English. French summary) Zbl 1282.14045 J. Théor. Nombres Bordx. 25, No. 2, 307-316 (2013). Reviewer: Xiao Xiao (Utica) MSC: 14G20 14L05 14F22 11G20 PDF BibTeX XML Cite \textit{J.-C. Douai}, J. Théor. Nombres Bordx. 25, No. 2, 307--316 (2013; Zbl 1282.14045) Full Text: DOI Link