default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHeinz Kredel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[c25]Heinz Kredel:
Common Divisors of Solvable Polynomials in JAS. ICMS 2016: 173-180- 2015
- [c24]Heinz Kredel, Hans-Günther Kruse, Sabine Richling
:
A Hierarchical Model for the Analysis of Efficiency and Speed-Up of Multi-core Cluster-Computers. 3PGCIC 2015: 207-215 - [c23]Heinz Kredel:
Parametric Solvable Polynomial Rings and Applications. CASC 2015: 275-291 - 2014
- [j18]Heinz Kredel, Hans-Günther Kruse, Sabine Richling:
Ein Konzept für die Leistungsanalyse von Multi-core Cluster-Computern. Prax. Inf.verarb. Kommun. 37(3): 233-241 (2014) - [c22]Heinz Kredel:
Generic and Parallel Groebner Bases in JAS - (Extended Abstract). ICMS 2014: 390-397 - 2013
- [j17]Heinz Kredel, Hans-Günther Kruse, Sabine Richling, Erich Strohmaier:
Performance analysis and prediction for distributed homogeneous clusters. Comput. Sci. Res. Dev. 28(2-3): 157-165 (2013) - [c21]Heinz Kredel:
Distributed Gröbner Bases Computation with MPJ. AINA Workshops 2013: 1429-1435 - [c20]Heinz Kredel, Sabine Richling, Jan Philipp Kruse, Erich Strohmaier, Hans-Günther Kruse:
A Simple Concept for the Performance Analysis of Cluster-Computing. ISC 2013: 165-180 - 2012
- [j16]Heinz Kredel, Hans-Günther Kruse, Sabine Richling:
Einige Überlegungen zur Leistung von Cluster-Computern. Prax. Inf.verarb. Kommun. 35(3): 207-211 (2012) - [c19]Heinz Kredel:
Fostering Interoperability in Java-Based Computer Algebra Software. AINA Workshops 2012: 443-447 - 2011
- [j15]Sabine Richling, Steffen Hau, Heinz Kredel, Hans-Günther Kruse:
Operating two InfiniBand grid clusters over 28 km distance. Int. J. Grid Util. Comput. 2(4): 303-312 (2011) - [j14]Heinz Kredel, Hans-Günther Kruse, Ingo Ott:
Lastverhalten und Systemkonfiguration von Web-Applikationsservern. Prax. Inf.verarb. Kommun. 34(4): 215-223 (2011) - [c18]Heinz Kredel, Hans-Günther Kruse, Ingo Ott:
Performance Analysis and Performance Modeling of Web-Applications. 3PGCIC 2011: 115-122 - [c17]Heinz Kredel, Raphael Jolly:
Algebraic Structures as Typed Objects. CASC 2011: 294-308 - [c16]Sabine Richling, Heinz Kredel, Steffen Hau, Hans-Günther Kruse:
A long-distance InfiniBand interconnection between two clusters in production use. SC State of the Practice Reports 2011: 15:1-15:8 - 2010
- [j13]Heinz Kredel, Hans-Günther Kruse, Sabine Richling:
Zur Leistung von verteilten, homogenen Clustern. Prax. Inf.verarb. Kommun. 33(2): 166-171 (2010) - [c15]Sabine Richling, Steffen Hau, Heinz Kredel, Hans-Günther Kruse:
Operating Two InfiniBand Grid Clusters over 28 km Distance. 3PGCIC 2010: 16-23 - [c14]Heinz Kredel, Raphael Jolly:
Generic, Type-Safe and Object Oriented Computer Algebra Software. CASC 2010: 162-177 - [c13]Heinz Kredel:
Distributed Hybrid Grobner Bases Computation. CISIS 2010: 561-567 - [i3]Heinz Kredel:
Parallel and distributed Gröbner bases computation in JAS. CoRR abs/1008.0011 (2010)
2000 – 2009
- 2009
- [c12]Heinz Kredel:
Comprehensive Gröbner Bases in a Java Computer Algebra System. ASCM 2009: 93-108 - [c11]Heinz Kredel:
Distributed Parallel Groebner Bases Computation. CISIS 2009: 518-524 - [i2]Raphael Jolly, Heinz Kredel:
Symbolic Script Programming for Java. CoRR abs/0906.2315 (2009) - 2008
- [j12]Heinz Kredel:
On a Java computer algebra system, its performance and applications. Sci. Comput. Program. 70(2-3): 185-207 (2008) - [c10]Heinz Kredel:
Unique Factorization Domains in the Java Computer Algebra System. Automated Deduction in Geometry 2008: 86-115 - [i1]Raphael Jolly, Heinz Kredel:
How to turn a scripting language into a domain specific language for computer algebra. CoRR abs/0811.1061 (2008) - 2007
- [c9]Heinz Kredel:
Evaluation of a Java Computer Algebra System. ASCM 2007: 121-138 - 2006
- [c8]Heinz Kredel:
On the design of a Java computer algebra system. PPPJ 2006: 143-152 - 2005
- [j11]Giovanni Falcone, Heinz Kredel, Michael Krietemeyer, Dirk Merten, Matthias Merz, Franz-Josef Pfreundt, Christian Simmendinger, Daniel Versick:
Integrated Performance Analysis of Computer Systems (IPACS). Benchmarks for Distributed Computer Systems. Prax. Inf.verarb. Kommun. 28(3): 150-159 (2005) - [c7]Heinz Kredel:
A Systems Perspective on A3L. Algorithmic Algebra and Logic 2005: 141-145 - 2004
- [c6]Heinz Kredel, Matthias Merz:
The design of the IPACS distributed software architecture. ISICT 2004: 14-19 - 2002
- [b3]Heinz Kredel, Akitoshi Yoshida:
Thread- und Netzwerk-Programmierung mit Java - Praktikum für die Parallele Programmierung (2. Aufl.). dpunkt.verlag 2002, ISBN 978-3-89864-133-3, pp. I-XVIII, 1-425 - [j10]Manfred Göbel, Heinz Kredel:
Reduction of Permutation-Invariant Polynomials - A Noncommutative Case Study. Inf. Comput. 175(2): 158-170 (2002) - 2000
- [j9]Heinz Kredel:
PC-Cluster in Deutschland. Einblicke und Ausblicke. Prax. Inf.verarb. Kommun. 23(1): 29-34 (2000)
1990 – 1999
- 1999
- [b2]Heinz Kredel, Akitoshi Yoshida:
Thread- und Netzwerk-Programmierung mit Java - Praktikum für die parallele Programmierung. dpunkt 1999, ISBN 978-3-932588-28-0, pp. I-XII, 1-340 - 1998
- [j8]Heinz Kredel, Akitoshi Yoshida:
Paralleles Programmieren mit Java. HMD Prax. Wirtsch. 203: 21-37 (1998) - 1997
- [j7]Heinz Kredel, Michael Pesch:
MAS, the Modula-2 algebra system, version 1.00. SIGSAM Bull. 31(3): 52-54 (1997) - [j6]Akitoshi Yoshida, Heinz Kredel, Hans Werner Meuer:
WWW Development and Activities at the University of Mannheim. Prax. Inf.verarb. Kommun. 20(3): 155-163 (1997) - 1993
- [b1]Thomas Becker, Volker Weispfenning, Heinz Kredel:
Gröbner bases - a computational approach to commutative algebra. Graduate texts in mathematics 141, Springer 1993, ISBN 978-3-540-97971-5, pp. I-XXII, 1-574 - 1991
- [c5]Heinz Kredel:
The MAS Specification Component. PLILP 1991: 39-50 - 1990
- [c4]Heinz Kredel:
Mas Modula-2 Algebra System. DISCO 1990: 270-271
1980 – 1989
- 1988
- [j5]Heinz Kredel:
Admissible term orderings used in computer algebra systems. SIGSAM Bull. 22(1): 28-31 (1988) - [j4]Heinz Kredel, Volker Weispfenning:
Computing Dimension and Independent Sets for Polynomial Ideals. J. Symb. Comput. 6(2/3): 231-247 (1988) - [c3]Heinz Kredel:
Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. ISSAC 1988: 447-455 - 1987
- [c2]Heinz Kredel:
Primary ideal decomposition. EUROCAL 1987: 270-281 - 1986
- [j3]W. Böge, Rüdiger Gebauer, Heinz Kredel:
Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases. J. Symb. Comput. 2(1): 83-98 (1986) - [j2]Dieter Armbruster, Heinz Kredel:
Constructing Universal Unfoldings Using Gröbner Bases. J. Symb. Comput. 2(4): 383-388 (1986) - 1985
- [c1]W. Böge, Rüdiger Gebauer, Heinz Kredel:
Gröbner Bases Using SAC-2. European Conference on Computer Algebra (2) 1985: 272-274 - 1984
- [j1]Rüdiger Gebauer, Heinz Kredel:
Note on "solution of a general system of equations". SIGSAM Bull. 18(3): 5-6 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
