Concepedia

Gertrud Bauer

GB

4

Publications

453

Citations

4

H-Index

1984

Active since

Affiliations

Vietnam Academy of Science and Technology(Current)

Gertrud Bauer is an author at Vietnam Academy of Science and Technology specializing in geometry, discrete geometry, and engineering.

Top concepts

Publications per year

1984–2017

4

Publications

4

A FORMAL PROOF OF THE KEPLER CONJECTURE

Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 328 citations · Full text

, , +6

Finite complete rewriting systems and the complexity of the word problem

Gertrud Bauer, F. Otto · Acta Informatica · 1984 · 62 citations

, , +11

A formal proof of the Kepler conjecture

Thomas Hales, Mark Adams, Gertrud Bauer et al. · arXiv (Cornell University) · 2015 · 53 citations · Full text

, , +6

Flyspeck i: Tame graphs

Tobias Nipkow, Gertrud Bauer, Paula Schultz · 2006 · 10 citations

Rows per page

1–4 of 4