×

Found 26 Documents (Results 1–26)

Learning theorem proving components. (English) Zbl 07532521

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 266-278 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

The Turing test for graph drawing algorithms. (English) Zbl 07436638

Auber, David (ed.) et al., Graph drawing and network visualization. 28th international symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12590, 466-481 (2020).
MSC:  68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

New quality metrics for dynamic graph drawing. (English) Zbl 07436637

Auber, David (ed.) et al., Graph drawing and network visualization. 28th international symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12590, 450-465 (2020).
MSC:  68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Graph drawing via gradient descent, \((GD)^2\). (English) Zbl 07436603

Auber, David (ed.) et al., Graph drawing and network visualization. 28th international symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12590, 3-17 (2020).
MSC:  68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Pathological and test cases for Reeb analysis. (English) Zbl 1465.68261

Carr, Hamish (ed.) et al., Topological methods in data analysis and visualization V. Theory, algorithms, and applications. Selected papers based on the presentations at the TopoInVis workshop, Tokyo, Japan, February 27–28, 2017. Cham: Springer. Math. Vis., 103-120 (2020).
MSC:  68U03
PDF BibTeX XML Cite
Full Text: DOI

Revisited experimental comparison of node-link and matrix representations. (English) Zbl 07026995

Frati, Fabrizio (ed.) et al., Graph drawing and network visualization. 25th international symposium, GD 2017, Boston, MA, USA, September 25–27, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10692, 287-302 (2018).
MSC:  68R10 05C62
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

On possible dimensions of subspace intersections for five direct summands. (English. Russian original) Zbl 1370.05031

J. Math. Sci., New York 224, No. 6, 937-941 (2017); translation from Zap. Nauchn. Semin. POMI 453, 189-197 (2016).
MSC:  05B35 52B40 15A03
PDF BibTeX XML Cite
Full Text: DOI

On the possible dimensions of subspace intersections. (English. Russian original) Zbl 1370.05030

Vestn. St. Petersbg. Univ., Math. 49, No. 2, 115-118 (2016); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 3(61), No. 2, 202-207 (2016).
MSC:  05B35 52B40 15A03
PDF BibTeX XML Cite
Full Text: DOI

Offline drawing of dynamic trees: algorithmics and document integration. (English) Zbl 1478.68260

Hu, Yifan (ed.) et al., Graph drawing and network visualization. 24th international symposium, GD 2016, Athens, Greece, September 19–21, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9801, 572-586 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software