Hans-Gert Gräbe

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 8

Top Topics

Physical Sciences

Automated Theorem Provers

Social Connections

Top Venues

Bus. Inf. Syst. Eng.

ACM Commun. Comput. Algebra

Publications

Christof Weinhardt, Hans-Gert Gräbe, Ralf Laue, Thomas Grisold, Steven Groß, Katharina Stelzl, Jan vom Brocke, Jan Mendling, Maximilian Röglinger, Michael Rosemann
Statements on the Contribution by Grisold et al. from Issue 2/2022. Bus. Inf. Syst. Eng. 65 (2) (2023)
Nadine Schumann, Ken Pierre Kleemann, Hans-Gert Gräbe
Bringing Back a Source-TRIZ in Social Science. TFC (2023)
Hans-Gert Gräbe
Semantic-Aware Metadata and Resilience of Socio-Cultural Ecosystems. D2R2 (2022)
Hans-Gert Gräbe
Systems, Resources, and Systemic Development in TRIZ. TFC (2022)
Ken Pierre Kleemann, Nadine Schumann, Veronika Heuten, Hans-Gert Gräbe
Focusing the First Phase - An Interdisciplinary Approach to Modeling an Interactive System on the Use-Case Indoor-Blind-Navigation. TFC (2022)
Hans-Gert Gräbe
Men and Their Technical Systems. TFC (2020)
Hans-Gert Gräbe
20 Years SymbolicData. ACM Commun. Comput. Algebra 52 (3) (2018)
Hans-Gert Gräbe
Semantic-Aware Fingerprints of Symbolic Research Data. ICMS (2016)
Hans-Gert Gräbe, Andreas Nareike, Simon Johanning
The SymbolicData Project - Towards a Computer Algebra Social Network. CICM Workshops (2014)
Hans-Gert Gräbe
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. Automated Deduction in Geometry (2002)
Hans-Gert Gräbe
Minimal Primary Decomposition and Factorized Gröbner Bases. Appl. Algebra Eng. Commun. Comput. 8 (4) (1997)
Hans-Gert Gräbe
Triangular Systems and Factorized Gröbner Bases. AAECC (1995)
Hans-Gert Gräbe
Algorithms in Local Algebra. J. Symb. Comput. 19 (6) (1995)
Hans-Gert Gräbe, Wolfgang Lassner
The Parallel Gröbner Factorizer. PASCO (1994)
Hans-Gert Gräbe
On Lucky Primes. J. Symb. Comput. 15 (2) (1993)