×

Found 542 Documents (Results 1–100)

100
MathJax

Improving Thomae-Wolf algorithm for solving underdetermined multivariate quadratic polynomial problem. (English) Zbl 07495907

Cheon, Jung Hee (ed.) et al., Post-quantum cryptography. 12th international workshop, PQCrypto 2021, Daejeon, South Korea, July 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12841, 65-78 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Introduction to computation. Haskell, logic and automata. (English) Zbl 07374630

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Clustering communities using interval K-means. (English) Zbl 1434.62118

Petrucci, Alessandra (ed.) et al., New statistical developments in data science – SIS 2017. Extended versions of papers based on the conference on statistics and data science: new challenges, new generations, Florence, Italy, June 28–30, 2017. Cham: Springer. Springer Proc. Math. Stat. 288, 27-38 (2019).
MSC:  62H30 05C90
PDF BibTeX XML Cite
Full Text: DOI

Algorithmics of nonuniformity: tools and paradigms. (English) Zbl 1402.68004

Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019).
PDF BibTeX XML Cite
Full Text: Link

Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants. (English) Zbl 1443.68043

Lokshtanov, Daniel (ed.) et al., 12th international symposium on parameterized and exact computation, IPEC 2017, Vienna, Austria, September 6–8, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 89, Article 6, 13 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Efficient computation of squarefree separator polynomials. (English) Zbl 1395.68344

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 98-104 (2018).
MSC:  68W30 68P05
PDF BibTeX XML Cite
Full Text: DOI Link

Mathematical geosciences. Hybrid symbolic-numeric methods. (English) Zbl 1394.86001

Cham: Springer (ISBN 978-3-319-67370-7/hbk; 978-3-319-67371-4/ebook). xxvii, 596 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Non-linearity and non-convexity in optimal knots selection for sparse reduced data. (English) Zbl 1455.65028

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 257-271 (2017).
MSC:  65D10 65D05 41A05
PDF BibTeX XML Cite
Full Text: DOI

Using abstract stobjs in ACL2 to compute matrix normal forms. (English) Zbl 1484.68312

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 354-370 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Forecasting financial time big data using interval time series. (English) Zbl 1462.62034

Colubi, Ana (ed.) et al., Proceedings of COMPSTAT 2016 – 22nd international conference on computational statistics, Oviedo, Spain, August 23–26, 2016. The Hague: International Statistical Institute; The Hague: International Association for Statistical Computing. 303-314 (2016).
MSC:  62-08 62P05 62M10
PDF BibTeX XML Cite

Learning and reasoning with logic tensor networks. (English) Zbl 1430.68317

Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 334-348 (2016).
MSC:  68T27 68T05 68T30
PDF BibTeX XML Cite
Full Text: DOI

The median of a set of histogram data. (English) Zbl 1364.62112

Alleva, Giorgio (ed.) et al., Topics in theoretical and applied statistics. Selected papers based on the presentations at the 46th international meeting of the Italian Statistical Society, SIS, Rome, Italy, June 20–22, 2012. Cham: Springer (ISBN 978-3-319-27272-6/hbk; 978-3-319-27274-0/ebook). Studies in Theoretical and Applied Statistics. Selected Papers of the Statistical Societies, 37-48 (2016).
MSC:  62G30 62P12
PDF BibTeX XML Cite
Full Text: DOI

Succinct data structures …potential for symbolic computation? (English) Zbl 1361.68070

Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 5-8 (2016).
PDF BibTeX XML Cite
Full Text: DOI

A center-level approach to estimating the effect of center characteristics on center outcomes. (English) Zbl 1349.62550

Letzter, Gail (ed.) et al., Advances in the mathematical sciences. Research from the 2015 association for women in mathematics symposium, University of Maryland, College Park, MD, USA. Cham: Springer (ISBN 978-3-319-34137-8/hbk; 978-3-319-34139-2/ebook). Association for Women in Mathematics Series 6, 301-321 (2016).
MSC:  62P10 62H30
PDF BibTeX XML Cite
Full Text: DOI

Exact heap summaries for symbolic execution. (English) Zbl 1475.68090

Jobstmann, Barbara (ed.) et al., Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9583, 206-225 (2016).
MSC:  68N30 68P05
PDF BibTeX XML Cite
Full Text: DOI

Data-discriminants of likelihood equations. (English) Zbl 1345.65003

Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 307-314 (2015).
MSC:  65C60 62F10 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Persistence theory. From quiver representations to data analysis. (English) Zbl 1335.55001

Mathematical Surveys and Monographs 209. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2545-6/hbk). viii, 218 p. (2015).
PDF BibTeX XML Cite

POLY: a new polynomial data structure for Maple 17. (English) Zbl 1352.68300

Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 325-348 (2014).
MSC:  68W30 68P05
PDF BibTeX XML Cite
Full Text: DOI Link

Essentially optimal interactive certificates in linear algebra. (English) Zbl 1325.68274

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 146-153 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computing persistent homology with various coefficient fields in a single pass. (English) Zbl 1432.55010

Schulz, Andreas S. (ed.) et al., Algorithms – ESA 2014. 22nd annual European symposium, Wrocław, Poland, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8737, 185-196 (2014).
MSC:  55N31 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Factoring sparse bivariate polynomials using the priority queue. (English) Zbl 1416.68222

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 16th international workshop, CASC 2014, Warsaw, Poland, September 8–12, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8660, 388-402 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Javaplex: a research software package for persistent (co)homology. (English) Zbl 1402.65186

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 129-136 (2014).
MSC:  65Y15 68W30 57Txx
PDF BibTeX XML Cite
Full Text: DOI

Processing succinct matrices and vectors. (English) Zbl 1378.68086

Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. 9th international computer science symposium in Russia, CSR 2014, Moscow, Russia, June 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06685-1/pbk). Lecture Notes in Computer Science 8476, 245-258 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Universally composable symbolic analysis for two-party protocols based on homomorphic encryption. (English) Zbl 1328.68025

Nguyen, Phong Q. (ed.) et al., Advances in cryptology – EUROCRYPT 2014. 33rd annual international conference on the theory and applications of cryptographic techniques, Copenhagen, Denmark, May 11–15, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-55219-9/pbk). Lecture Notes in Computer Science 8441, 695-712 (2014).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI

Persistent homology: theory and practice. (English) Zbl 1364.55008

Latała, Rafał (ed.) et al., European Congress of Mathematics. Proceedings of the 6th ECM congress, Kraków, Poland, July 2–7 July, 2012. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-120-0/hbk). 31-50 (2013).
MSC:  55N99 68W30 68U05
PDF BibTeX XML Cite
Full Text: DOI Link

Parallel scalar multiplication on elliptic curves in wireless sensor networks. (English) Zbl 1351.68094

Frey, Davide (ed.) et al., Distributed computing and networking. 14th international conference, ICDCN 2013, Mumbai, India, January 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35667-4/pbk). Lecture Notes in Computer Science 7730, 300-314 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Archetypal symbolic objects. (English) Zbl 1300.62042

Torelli, Nicola (ed.) et al., Advances in theoretical and applied statistics. Selected papers based on the presentations at the 45th meeting of the Italian Statistical Society (SIS), Padua, Italy, June 16–18, 2010. Berlin: Springer (ISBN 978-3-642-35587-5/hbk; 978-3-642-35588-2/ebook). Studies in Theoretical and Applied Statistics. Selected Papers of the Statistical Societies, 41-49 (2013).
MSC:  62H30 62-07
PDF BibTeX XML Cite
Full Text: DOI

SIMD-based implementations of sieving in integer-factoring algorithms. (English) Zbl 1317.11128

Gierlichs, Benedikt (ed.) et al., Security, privacy, and applied cryptography engineering. Third international conference, SPACE 2013, Kharagpur, India, October 19–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-41223-3/pbk). Lecture Notes in Computer Science 8204, 40-55 (2013).
MSC:  11Y05 11Y16 68W30
PDF BibTeX XML Cite
Full Text: DOI

Operating degrees for XL vs. \(F_{4}/F_{5}\) for generic \(\mathcal{M}Q\) with number of equations linear in that of variables. (English) Zbl 1290.94140

Fischlin, Marc (ed.) et al., Number theory and cryptography. Papers in honor of Johannes Buchmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-42000-9/pbk). Lecture Notes in Computer Science 8260, 19-33 (2013).
MSC:  94A60 68P25 68W30
PDF BibTeX XML Cite
Full Text: DOI

Computationally complete symbolic attacker in action. (English) Zbl 1354.68073

D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 546-560 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software