1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
|
<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<link rel="stylesheet" type="text/css" href="html.css" />
<title>JAS Project Publications</title>
</head>
<body class="main">
<h2>Java Algebra System (JAS) Project Publications</h2>
<p>This page lists published papers and talks about the JAS design and
mathematical contents.</p>
<p>The development of common divisors for solvable polynomials is presented in
<a href="http://dx.doi.org/10.1007/978-3-319-42432-3_22" target="icms"
>Heinz Kredel
<i>Common Divisors of Solvable Polynomials in JAS</i></a>,
Proc. International Congress on Mathematical Software
(<a href="http://icms2016.zib.de/" target="new">ICMS</a>) 2016, Berlin, Germany.
LNCS 9725, pp. 173 - 180, 2016, Springer-Verlag Berlin Heidelberg
(<a href="kredel/solv-cd-icms2016-slides.pdf" target="icms">slides</a>)
</p>
<p>The design of parametric solvable polynomial rings and parametric skew field
coefficients with a summary of its mathematical definitions are contained in
<a href="http://link.springer.com/chapter/10.1007/978-3-319-24021-3_21" target="casc"
>Heinz Kredel,
<i>Parametric solvable polynomial rings and applications</i></a>,
at the Conference on Computer Algebra in Scientific Computing
<a href="http://www.casc.cs.uni-bonn.de/2015/">CACS 2015</a>,
Aachen, Germany, 2015
(<a href="http://krum.rz.uni-mannheim.de/kredel/param-solv-casc2015-slides.pdf" target="casc">slides</a>)
</p>
<p>The versions of the Comprehensive Gröbner Bases from 2010 are
presended in
<a href="http://dx.doi.org/10.1007/978-3-662-43799-5_9"
target="ascm" >Heinz Kredel,
<i>Comprehensive Gröbner Bases in a Java Computer Algebra System</i></a>,
Computer Mathematics <em>ASCM2009, ASCM2012, Contributed Papers and Invited Talks</em>
(eds. Feng, Ruyong and Lee, Wen-shin and Sato, Yosuke),
pp. 93-108, 2014, Springer Berlin Heidelberg
</p>
<p>An Overview on Groebner Bases implementations is given in
<a href="http://dx.doi.org/10.1007/978-3-662-44199-2_60" target="icms"
>Heinz Kredel
<i>Generic and Parallel Groebner Bases in JAS</i> (Extended Abstract)</a>,
proceedings of the International Congress on Mathematical Software
(<a href="http://voronoi.hanyang.ac.kr/icms2014/" target="new">ICMS</a>) August 5-9, 2014, Seoul, Korea.
LNCS 8592, pp. 390 - 397, 2014, Springer-Verlag Berlin Heidelberg
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-gen-par-gb-icms2014-slides.pdf" target="icms">slides</a>)
</p>
<p>Design and experiences using MPJ and high speed InfiniBand networking for
algebraic computations are described in
<a href="http://doi.ieeecomputersociety.org/10.1109/WAINA.2013.101" target="aina"
>Heinz Kredel,
<i>Distributed Gröbner bases computation with MPJ</i></a>,
proceedings of the
<a href="http://krum.rz.uni-mannheim.de/eoops/index-2013.html" target="aina">EOOPS Workshop</a> at
<a href="http://www.aina-conference.org/2013/" target="aina">AINA-2013</a>,
March 25-28, 2013, Barcelona, Spain
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-gb-mpj-aina2013-slides.pdf" target="aina">slides</a>)
</p>
<p>Some ideas on categories and mixin composition in ScAS and JAS are presented in the poster
<a href="http://krum.rz.uni-mannheim.de/kredel/com-casc2012-poster.pdf" target="casc"
>Raphael Jolly, Heinz Kredel,
<i>Categories as classes and mixin composition</i></a>,
Poster at
<a href="http://www14.in.tum.de/CASC2012/">CASC 2012</a>,
September 3-6, 2012, Maribor, Slovenia
</p>
<p>A comparison of API interfaces for computer algebra is presented in the paper
<a href="http://doi.ieeecomputersociety.org/10.1109/WAINA.2012.158" target="aina"
>Heinz Kredel,
<i>Fostering Interoperability in Java-Based Computer Algebra Software</i></a>,
Proceedings FINA Workshop
<a href="http://www.aina-conference.org/2012/">AINA-2012</a>,
March 26-29, 2012, Fukuoka, Japan
(<a href="http://krum.rz.uni-mannheim.de/kredel/cas-inter-aina2012-slides.pdf" target="aina">slides</a>)
</p>
<p>The design of algebraic extension structures in JAS and ScAS is presented in the talk
<a href="http://www.springerlink.com/content/978-3-642-23567-2/#section=950349" target="casc"
>Raphael Jolly, Heinz Kredel,
<i>Algebraic Structures as Typed Objects</i></a>,
at the Conference on Computer Algebra in Scientific Computing
<a href="http://www14.in.tum.de/CASC2011/">CACS 2011</a>,
Kassel, Germany, 2011
(<a href="http://krum.rz.uni-mannheim.de/kredel/to-cas-casc2011-slides.pdf" target="casc">slides</a>)
</p>
<p>An early description of the JAS package for unique factorization domains
(greatest common divisors, square-free decomposition, factorization)
is contained in the article
<a href="http://dx.doi.org/10.1007/978-3-642-21046-4_5" target="adg"
>Heinz Kredel,
<i>Unique Factorization Domains in the Java Computer Algebra System</i></a>,
Special issue on Automated Deduction in Geometry,
Lecture Notes in Computer Science volume 6301, pages 86-115,
Springer, 2011
</p>
<p>The design of JAS and ScAS is presented together with examples in the talk
<a href="http://dx.doi.org/10.1007/978-3-642-15274-0_14" target="casc"
>Raphael Jolly, Heinz Kredel,
<i>Generic, Type-safe and Object Oriented Computer Algebra Software</i></a>,
at the Conference on Computer Algebra in Scientific Computing
<a href="http://www14.in.tum.de/CASC2010/">CACS 2010</a>,
Tsakhkadzor, Armenia, 2010
(<a href="http://krum.rz.uni-mannheim.de/kredel/oocas-casc2010-slides.pdf" target="casc">slides</a>)
</p>
<p>Performance meassurements for the distributed hybrid Gröbner
bases implementation are contained in the paper
<a href="http://arxiv.org/abs/1008.0011" target="arxiv"
><i>Parallel and distributed Gröbner bases computation in JAS</i></a>,
avaliable as
<a href="http://arxiv.org/abs/1008.0011" target="arxiv"
>arxiv:1008.0011</a>, 2010.
</p>
<p>The new distributed hybrid Gröbner bases implementation
is explained in the talk
<a href="http://doi.ieeecomputersociety.org/10.1109/CISIS.2010.26" target="ecds"
><i>Distributed hybrid Groebner bases computation</i></a>,
at the
<a href="http://www.cisis-conference.eu/" target="ecds">CISIS 2010</a>
Workshop on
<a href="http://voyager.ce.fit.ac.jp/conferences/ecds2010/" target="ecds"
>Engineering Complex Distributed Systems (ECDS 2010)</a>, Krakow.
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-ecds2010-slides.pdf" target="ecds">slides</a>)
</p>
<p>A description of the JAS comprehensive Gröbner bases package is be
contained in the talk
<a href="http://krum.rz.uni-mannheim.de/kredel/jas-ascm2009-slides.pdf" target="ascm"
><i>Comprehensive Gröbner bases in a Java Computer Algebra System</i></a>,
at the
<a href="http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/" target="ascm"
>Asian Symposium on Computers and Mathematics (ASCM 2009)</a>,
Fukuoka.
</p>
<p>Some unique factorization domain algorithms in JAS are contained
in the seminar presentation
<a href="http://krum.rz.uni-mannheim.de/kredel/ca-sem-2009.pdf" target="fmi"
>Tools for the integration of rational functions in Java</a>,
during the Computer-Algebra Seminar, University of Mannheim, FMI 2009
</p>
<p>More background information on the python scripting interface
for JAS and ScAS can be found in the article
<a href="http://de.arxiv.org/abs/0906.2315" target="arxivascm"
>Raphael Jolly, Heinz Kredel,
<i>Symbolic Script Programming for Java</i></a>,
avaliable as
<a href="http://de.arxiv.org/abs/0906.2315" target="arxivascm"
>arXiv:0906.2315v2</a>, 2009.
</p>
<p>The parallel and distributed Gröbner bases implementations are explained in
the talk
<a href="http://doi.ieeecomputersociety.org/10.1109/CISIS.2009.109" target="ecds"
><i>Distributed parallel Groebner bases computation</i></a>,
at the
<a href="http://www.cisis-conference.eu/" target="ecds">CISIS 2009</a>
Workshop on
<a href="http://voyager.ce.fit.ac.jp/conferences/ecds2009/" target="ecds"
>Engineering Complex Distributed Systems (ECDS 2009)</a>, Fukuoka
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-ecds2009-slides.pdf" target="ecds"
>slides</a>)
</p>
<p>The Gröbner bases implementation of JAS is explained
in the seminar presentation
<a href="http://krum.rz.uni-mannheim.de/kredel/ca-sem-2008.pdf" target="fmi"
>Gröbner bases and applications in Java</a>,
during the Computer-Algebra Seminar, University of Mannheim, FMI 2008
</p>
<p>A description of the JAS greatest common divisor package is contained
in the talk
<a href="http://krum.rz.uni-mannheim.de/kredel/jas-adg2008-slides.pdf" target="adg"
><i>Multivariate Greatest Common Divisors in the Java Computer Algebra System</i></a>,
at the International Workshop on
<a href="http://adg2008.redlog.eu/" target="adg"
>Automated Deduction in Geometry (ADG 2008)</a>, Shanghai.
</p>
<p>Some background information on the python scripting interface
for JAS can be found in the article
<a href="http://de.arxiv.org/abs/0811.1061" target="arxivascm"
>Raphael Jolly, Heinz Kredel,
<i>How to turn a scripting language into a domain specific language for computer algebra</i></a>,
avaliable as
<a href="http://de.arxiv.org/abs/0811.1061" target="arxivascm"
>arXiv:0811.1061v1</a>, 2008.
Previous title was <i>Computer algebra in Java: libraries and scripting</i>.
</p>
<p>A comparison of JAS to other Computer Algebra Systems is contained
in the talk
<a href="http://krum.rz.uni-mannheim.de/kredel/jas-ascm2007-slides.pdf" target="ascm"
><i>Evaluation of a Java Computer Algebra System</i></a>,
at the
<a href="http://www.comp.nus.edu.sg/~ascm2007/" target="ascm"
>Asian Symposium on Computer Mathematics (ASCM 2007)</a>, Singapore.
<br />
It has been published as paper in
<a href="http://dx.doi.org/10.1007/978-3-540-87827-8_10" target="ascm"
>Heinz Kredel,
<i>Evaluation of a Java Computer Algebra System</i></a>,
Special issue <a href="http://dx.doi.org/10.1007/978-3-540-87827-8">Computer Mathematics</a>
of ASCM 2007 Revised and Invited Papers in
Lecture Notes in Computer Science, volume 5081/2008, pages 121-138,
Springer Berlin / Heidelberg
</p>
<p>An article
<a href="http://dx.doi.org/10.1016/j.scico.2007.07.010" target="scico"
><i>On a Java Computer Algebra System, its Performance and Applications</i></a>,
in
<a href="http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/description"
title="http://www.sciencedirect.com/science/journal/01676423" target="scico"
>Science of Computer Programming (2008)</a>.
</p>
<p>At the
<a href="http://www.wifo.uni-mannheim.de/pppj2006/" target="a3l">PPPJ 2006 conference in Mannheim</a>
I presented the design of the JAS types, classes and implementation
"<a href="http://doi.acm.org/10.1145/1168054.1168075"
target="pppj"
>On the Design of a Java Computer Algebra System</a>"
<!--"http://krum.rz.uni-mannheim.de/kredel/jas-pppj2006.pdf"-->
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-pppj2006-slides.pdf" target="pppj"
>slides</a>).
</p>
<p>At the
<a href="http://www.a3l.org/" target="a3l">A3L conference in Passau, 2005</a>
I gave some background information on the development from MAS to JAS
"<a href="http://krum.rz.uni-mannheim.de/kredel/jas-a3l.pdf" target="a3l"
>A Systems Perspective on A3L</a>"
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-a3l-slides.pdf" target="a3l"
>slides</a>).
</p>
<p>The JAS project is also listed in the swMATH index of mathematical software
<a href="http://www.swmath.org/software/5877" target="swmath">JAS</a>.
</p>
<p>The history of the JAS project can be found in the
<a href="jas-log.html" target="main">Web-Log</a>.
See also the <a href="related.html" target="main">related projects</a>
and <a href="acknowledge.html" target="main">credits</a>.
</p>
<hr />
<address><a name="contact"
href="mailto:kredel@at@rz.uni-mannheim.de">Heinz Kredel</a>
</address>
<p>
<!-- Created: Sat Mar 19 21:44:14 CET 2005 -->
<!-- hhmts start -->
Last modified: Tue Jul 19 00:20:53 CEST 2016
<!-- hhmts end -->
</p>
<!--p align="right" >
$Id$
</p-->
</body>
</html>
|
