Concepedia

Author

Gergely Székely

Alfréd Rényi Institute of MathematicsORCID

Also Known As

G. Székely, G.G. Székely, GERGELY SZÉKELY, Gergely Székely, Sz\'ekely, Gergely, Szekely, Gergely, Székely, G., Székely, Gergely

48

Publications

359

Citations

11

H-Index

5

Concepts

All Affiliations

Alfréd Rényi Institute of MathematicsHungarian Academy of Sciences
GS

About

Gergely Székely is an author at Alfréd Rényi Institute of Mathematics specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Automated Reasoning

3

3

84

2

Engineering

1

1

10

3

Semantics

1

1

24

4

Formal Methods

1

1

10

5

Geometry

1

1

17

Gergely Székely

×

10

Publications

210

Citations

10

H-Index

YearCitations

Page 1