×

Found 6,376 Documents (Results 1–100)

Verifying the product of generalized Boolean matrix multiplication and its applications to detect small subgraphs. (English) Zbl 07789724

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 507-520 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Certifying induced subgraphs in large graphs. (English) Zbl 07770295

Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 229-241 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Potential estimates and quasilinear parabolic equations with measure data. (English) Zbl 1528.35003

Memoirs of the American Mathematical Society 1449. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6722-7/pbk; 978-1-4704-7682-3/ebook). v, 123 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software