Concepedia

Author

Gertrud Bauer

Vietnam Academy of Science and Technology

Also Known As

Bauer, Gertrud, G. Bauer, GERTRUD BAUER, Gauthier, Thibault, Gertrud Bauer

20

Publications

564

Citations

8

H-Index

10

Concepts

All Affiliations

Vietnam Academy of Science and Technology
GB

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

62

2

Language Studies

1

1

62

3

Linguistics

1

1

62

4

Computational Linguistics

1

1

62

5

Syntax

1

1

62

Gertrud Bauer

×

4

Publications

453

Citations

4

H-Index

YearCitations

A FORMAL PROOF OF THE KEPLER CONJECTURE

Thomas Hales, Mark Adams, Gertrud Bauer,

Forum of Mathematics Pi

2017

328

Finite complete rewriting systems and the complexity of the word problem

Gertrud Bauer, F. Otto

Acta Informatica

1984

62

A formal proof of the Kepler conjecture

Thomas Hales, Mark Adams, Gertrud Bauer,

arXiv (Cornell University)

2015

53

Flyspeck i: Tame graphs

Tobias Nipkow, Gertrud Bauer, Paula Schultz

2006

10

Page 1