×

Found 100 Documents (Results 1–100)

The Paulus-Rozenfeld-Thompson graph on 26 vertices revisited and related combinatorial structures. (English) Zbl 1442.05248

Jones, Gareth A. (ed.) et al., Isomorphisms, symmetry and computations in algebraic graph theory. Selected papers based on the presentations at the workshop on algebraic graph theory, Pilsen, Czech Republic, October 3–7, 2016. Cham: Springer. Springer Proc. Math. Stat. 305, 73-154 (2020).
MSC:  05E30 05B05 62K10
PDFBibTeX XMLCite
Full Text: DOI

Graph similarity and approximate isomorphism. (English) Zbl 1510.68076

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 20, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

polyDB: a database for polytopes and related objects. (English) Zbl 1400.52001

Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 533-547 (2017).
MSC:  52-04 52B20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving polynomial systems in the cloud with polynomial homotopy continuation. (English) Zbl 1439.13078

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9301, 87-100 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sporadic examples of directed strongly regular graphs obtained by computer algebra experimentation. (English) Zbl 1416.68219

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, 155-170 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symmetry in mathematical programming. (English) Zbl 1242.90236

Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 263-283 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Conflict propagation and component recursion for canonical labeling. (English) Zbl 1325.05169

Marchetti-Spaccamela, Alberto (ed.) et al., Theory and practice of algorithms in (computer) systems. First international ICST conference, TAPAS 2011, Rome, Italy, April 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19753-6/pbk). Lecture Notes in Computer Science 6595, 151-162 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Variable neighborhood search for extremal graphs. XI: Bounds on algebraic connectivity. (English) Zbl 1096.05027

Avis, David (ed.) et al., Graph theory and combinatorial optimization. New York, NY: Springer (ISBN 0-387-25591-5/hbk; 0-387-25592-3/e-book). GERAD 25th Anniversary Series 8, 1-16 (2005).
MSC:  05C35 05C50
PDFBibTeX XMLCite

Finite transitive permutation groups and finite vertex-transitive graphs. (English) Zbl 0885.05072

Hahn, Geňa (ed.) et al., Graph symmetry: algebraic methods and applications. Proceedings of the NATO Advanced Study Institute and séminaire de mathématiques supérieures, Montréal, Canada, July 1-12, 1996. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 497, 277-318 (1997).
PDFBibTeX XMLCite

The complexity of McKay’s canonical labeling algorithm. (English) Zbl 0878.05063

Finkelstein, Larry (ed.) et al., Groups and computation II. Workshop on groups and computation, June 7–10, 1995, New Brunswick, NJ, USA. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 28, 239-256 (1997).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field