×

Found 79 Documents (Results 1–79)

Towards automating cryptographic hardware implementations: a case study of HQC. (English) Zbl 07729108

Deneuville, Jean-Christophe (ed.), Code-based cryptography. 10th international workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13839, 62-76 (2023).
MSC:  68-XX 94A60
PDFBibTeX XMLCite
Full Text: DOI

Algorithms to enumerate superspecial Howe curves of genus 4. (English) Zbl 1460.11092

Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP). Open Book Ser. 4, 301-316 (2020).
MSC:  11G20 14G15 14H45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Standard monomial theory for harmonics in classical invariant theory. (English) Zbl 1405.20037

Cogdell, Jim (ed.) et al., Representation theory, number theory, and invariant theory. In honor of Roger Howe on the occasion of his 70th birthday, Yale University, New Haven, CT, USA, June 1–5, 2015. Cham: Birkhäuser/Springer (ISBN 978-3-319-59727-0/hbk; 978-3-319-59728-7/ebook). Progress in Mathematics 323, 265-302 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Locally recoverable codes from algebraic curves and surfaces. (English) Zbl 1410.94123

Howe, Everett W. (ed.) et al., Algebraic geometry for coding theory and cryptography, IPAM, Los Angeles, CA, USA, February 2016. Cham: Springer. Assoc. Women Math. Ser. 9, 95-127 (2017).
MSC:  94B27 14G50
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algebraic geometry for coding theory and cryptography, IPAM, Los Angeles, CA, USA, February 2016. (English) Zbl 1387.14013

Association for Women in Mathematics Series 9. Cham: Springer (ISBN 978-3-319-63930-7/hbk; 978-3-319-63931-4/ebook). xv, 150 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

A discussion on pricing relational data. (English) Zbl 1397.68042

Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 167-173 (2013).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

ANTS X. Proceedings of the tenth algorithmic number theory symposium, San Diego, CA, USA, July 9–13, 2012. (English) Zbl 1295.11003

The Open Book Series 1. Berkeley, CA: Mathematical Sciences Publishers (MSP) (ISBN 978-1-935107-00-2/hbk; 978-1-935107-01-9/ebook). ix, 585 p. (2013).
MSC:  11-06 11Yxx 00B25
PDFBibTeX XMLCite
Full Text: DOI Link

New methods for bounding the number of points on curves over finite fields. (English) Zbl 1317.11065

Faber, Carel (ed.) et al., Geometry and arithmetic. Based on the conference, Island of Schiermonnikoog, Netherlands, September 2010. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-119-4/hbk). EMS Series of Congress Reports, 173-212 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quadtrees as an abstract domain. (English) Zbl 1342.68087

Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 89-100 (2010).
MSC:  68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI

A pearl on SAT solving in Prolog. (English) Zbl 1284.68115

Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 165-174 (2010).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Focus in high school mathematics. Reasoning and sense making. (English) Zbl 1204.00015

Reston, VA: National Council of Teachers of Mathematics (NCTM) (ISBN 978-0-87353-631-8). x, 129 p. (2009).
MSC:  00A35 97G10
PDFBibTeX XMLCite

Logahedra: a new weakly relational domain. (English) Zbl 1262.68122

Liu, Zhiming (ed.) et al., Automated technology for verification and analysis. 7th international symposium, ATVA 2009, Macao, China, October 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04760-2/pbk). Lecture Notes in Computer Science 5799, 306-320 (2009).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Pointless curves of genus three and four. (English) Zbl 1116.14010

Aubry, Yves (ed.) et al., Arithmetic, geometry and coding theory (AGCT 2003). Selected papers of the European school “Algebraic geometry and information theory” and the 9th international conference “Arithmetic, geometry and coding theory”, Luminy, France, May 19–23, 2003. Paris: Société Mathématique de France (ISBN 2-85629-175-9/pbk). Séminaires et Congrès 11, 125-141 (2005).
PDFBibTeX XMLCite
Full Text: arXiv Link

Two variables per linear inequality as an abstract domain. (English) Zbl 1278.68072

Leuschel, Michael (ed.), Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-40438-4/pbk). Lecture Notes in Computer Science 2664, 71-89 (2003).
PDFBibTeX XMLCite
Full Text: DOI Link

Implementing groundness analysis with definite Boolean functions. (English) Zbl 0960.68022

Smolka, Gerd (ed.), Programming languages and systems. 9th European symposium on programming, ESOP 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1782, 200-214 (2000).
MSC:  68N17
PDFBibTeX XMLCite

Superstrings in \(D=10\) from supermembranes in \(D=11\). Reprints. (English) Zbl 1156.81440

Duff, M.J. (ed.), The world in eleven dimensions: supergravity, supermembranes and M-theory. Bristol: IoP, Institute of Physics Publishing (ISBN 0-7503-0672-6/pbk; 0-7503-0671-8/hbk). Stud. High Energy Phys. Cosmol. Gravit., 205-209 (1999).
MSC:  81T30
PDFBibTeX XMLCite
Full Text: DOI

Principal covariants, multiplicity-free actions, and the \(K\)-types of holomorphic discrete series. (English) Zbl 0895.22011

Tirao, Juan (ed.) et al., Geometry and representation theory of real and \(p\)-adic groups. Papers from the 5th workshop on representation theory of Lie groups and its applications, Córdoba, Argentina, August 1995. Boston, MA: Birkhäuser. Prog. Math. 158, 147-161 (1998).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software