Old Web
English
Sign In
Acemap
>
authorDetail
>
Gert-Martin Greuel
Gert-Martin Greuel
Kaiserslautern University of Technology
3
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra
2011
| Design, Automation & Test in Europe
Evgeny Pavlenko
Markus Wedler
Dominik Stoffel
Wolfgang Kunz
Alexander Dreyer
Frank Seelisch
Gert-Martin Greuel
Show All
Source
Cite
Save
Citations (0)
Equisingular calculations for plane curve singularities
2007
Journal of Symbolic Computation
Antonio Campillo
Gert-Martin Greuel
Christoph Lossen
Show All
Source
Cite
Save
Citations (0)
Preface | Journal of Symbolic Computation - Volume 39, Issues 3–4
2005
Journal of Symbolic Computation
Arjeh M. Cohen
Gert-Martin Greuel
Marie-Françoise Roy
Show All
Source
Cite
Save
Citations (0)
1