Remove some code duplication in TRANSLATE-PREDICATE
[maxima.git] / AUTHORS
blob8fc5d99060c059836888039099d8f1b3981aced0
1 Maxima's development history spans three distinct periods: The
2 research project at MIT, the stewardship of William Schelter and the
3 current Maxima project.
5 MACSYMA (Project MAC's SYmbolic MAnipulation System) was developed by
6 the Mathlab group of the MIT Laboratory for Computer Science
7 (originally known as Project MAC), during the years 1969-1972.  Their
8 work was supported by grants NSG 1323 of the National Aeronautics and
9 Space Administration, N00014-77-C-0641 of the Office of Naval
10 Research, ET-78-C-02-4687 of the U.S. Department of Energy, and
11 F49620-79-C-020 of the U.S. Air Force.  MACSYMA was further modified
12 for use under the UNIX operating system (for use on DEC VAX computers
13 and Sun workstations), by Richard Fateman and colleagues at the
14 University of California at Berkeley; this version of MACSYMA is known
15 as VAXIMA.
17 William Schelter developed and maintained this version, Maxima, from
18 the project's inception until his untimely death in 2001. We are
19 eternally grateful for his enormous contribution.
21 William Schelter thanked the following people for having tested
22 the code under various common lisp implementations, and for helpful
23 comments:
25 hagiya%kurims.kurims.kyoto-u.junet%utokyo-relay.csnet@RELAY.CS.NET
26                 (in kcl aosv)
27 steve@spock.ncsa.uiuc.edu  (Steve on sun/franz common lisp)
28 spar!malcolm@decwrl.dec.com (malcolm) sun/lucid
29 raible@orville.nas.nasa.gov (Eric Raible on iris(kcl))
30 fateman@peoplesparc.Berkeley.EDU (Richard Fateman)
33 In November, 2001, the Maxima project moved to the Sourceforge
34 project hosting site. The following people contributed to the Maxima
35 sourcecode (according to Git logs):
37 Contributors in 2021
38 ====================
39 Barton Willis
40 Camm Maguire
41 Dan Gildea
42 Dan Stanger
43 David Scherfgen
44 Gunter Königsmann
45 Jaime E. Villate
46 Kris Katterjohn
47 Leo Butler
48 Raymond Toy
49 Richard Copley
50 Robert Dodier
51 Stavros Macrakis
52 Viktor T. Toth
53 Wolfgang Dautermann
55 Contributors in 2020
56 ====================
57 Aaron Chen
58 Andreas Eder
59 Barton Willis
60 Dan Gildea
61 David Billinghurst
62 Gunter Königsmann
63 Jaime E. Villate
64 John Scott
65 Kris Katterjohn
66 Lakshya A Agrawal
67 Leo Butler
68 Raymond Toy
69 Robert Dodier
70 Viktor T. Toth
71 Volker van Nek
72 Wolfgang Dautermann
73 Yasuaki Honda
75 Contributors in 2019
76 ====================
77 Andreas Eder
78 Dan Gildea
79 David Scherfgen
80 Elias Mårtenson
81 Gunter Königsmann
82 Jaime E. Villate
83 Kris Katterjohn
84 Lakshya A Agrawal
85 Leo Butler
86 Marduk Bolanos
87 Mario Rodriguez Riotorto
88 Raymond Toy
89 Robert Dodier
90 Sergey Litvinov
91 Viktor T. Toth
92 Wolfgang Dautermann
94 Contributors in 2018
95 ====================
96 Dan Gildea
97 David Billinghurst
98 David Scherfgen
99 Elias Mårtenson
100 Fabrizio Caruso
101 Gunter Königsmann
102 Jaime E. Villate
103 Jarno Malmari
104 Kris Katterjohn
105 Leo Butler
106 Mario Rodriguez Riotorto
107 Raymond Toy
108 Robert Dodier
109 Sergey Litvinov
110 Tarn Burton
111 Viktor T. Toth
112 Volker van Nek
113 Wolfgang Dautermann
115 Contributors in 2017
116 ====================
117 Andreas Eder
118 Barton Willis
119 Dan Gildea
120 David Billinghurst
121 David Scherfgen
122 Fabrizio Caruso
123 Gunter Königsmann
124 Jaime E. Villate
125 Kris Katterjohn
126 Leo Butler
127 Mario Rodriguez Riotorto
128 Martin Saturka
129 Raymond Toy
130 Robert Dodier
131 Sergey Litvinov
132 Viktor T. Toth
133 Volker van Nek
134 Wolfgang Dautermann
135 Yasuaki Honda
137 Contributors in 2016
138 ====================
139 Andreas Eder
140 Andrej Vodopivec
141 Dan Gildea
142 David Billinghurst
143 David Scherfgen
144 Gunter Königsmann
145 Jaime E. Villate
146 Kris Katterjohn
147 Leo Butler
148 Litvinov Sergey
149 Mario Rodriguez Riotorto
150 Raymond Toy
151 Robert Dodier
152 Sergey Litvinov
153 Viktor T. Toth
154 Volker van Nek
155 Wolfgang Dautermann
157 Contributors in 2015
158 ====================
159 Andrej Vodopivec
160 Barton Willis
161 Dan Gildea
162 David Billinghurst
163 David Scherfgen
164 Gunter Königsmann
165 Ingo Feinerer
166 Jaime E. Villate
167 Jorge Barros de Abreu
168 Kris Katterjohn
169 Leo Butler
170 Litvinov Sergey
171 Mario Rodriguez Riotorto
172 Raymond Toy
173 Robert Dodier
174 Rupert Swarbrick
175 Sergey Litvinov
176 Viktor T. Toth
177 Volker van Nek
178 Wolfgang Dautermann
179 Yasuaki Honda
181 Contributors in 2014
182 ====================
183 Andrej Vodopivec
184 Barton Willis
185 Dan Gildea
186 David Billinghurst
187 Jaime E. Villate
188 Jorge Barros de Abreu
189 Kris Katterjohn
190 Leo Butler
191 Litvinov Sergey
192 Mario Rodriguez Riotorto
193 Nils Bruin
194 Raymond Toy
195 Robert Dodier
196 Rupert Swarbrick
197 Sergey Litvinov
198 Viktor T. Toth
199 Volker van Nek
200 Yasuaki Honda
202 Contributors in 2013
203 ====================
204 Andreas Eder
205 Andrej Vodopivec
206 Barton Willis
207 Dan Gildea
208 David Billinghurst
209 Jaime E. Villate
210 Jorge Barros de Abreu
211 Kris Katterjohn
212 Leo Butler
213 Mario Rodriguez Riotorto
214 Raymond Toy
215 Robert Dodier
216 Rupert Swarbrick
217 Volker van Nek
219 Contributors in 2012
220 ====================
221 Andreas Eder
222 Andrej Vodopivec
223 Barton Willis
224 Dan Gildea
225 David Billinghurst
226 Jaime E. Villate
227 Mario Rodriguez Riotorto
228 Raymond Toy
229 Robert Dodier
230 Volker van Nek
231 Yasuaki Honda
233 Contributors in 2011
234 ====================
235 Andreas Eder
236 Andrej Vodopivec
237 Barton Willis
238 Dan Gildea
239 Dan Stanger
240 David Billinghurst
241 Dieter Kaiser
242 Douglas Crosher
243 Jaime E. Villate
244 Leo Butler
245 Mario Rodriguez Riotorto
246 Mark H. Weaver
247 Raymond Toy
248 Robert Dodier
249 Viktor T. Toth
250 Yasuaki Honda
252 Contributors in 2010
253 ====================
254 Andreas Eder
255 Andrej Vodopivec
256 Barton Willis
257 Dan Gildea
258 David Billinghurst
259 Dieter Kaiser
260 Jaime E. Villate
261 Leo Butler
262 Mario Rodriguez Riotorto
263 Raymond Toy
264 Robert Dodier
265 Viktor T. Toth
266 Volker van Nek
268 Contributors in 2009
269 ====================
270 Alexey Beshenov
271 Andreas Eder
272 Andrej Vodopivec
273 Barton Willis
274 Dan Gildea
275 David Billinghurst
276 Dieter Kaiser
277 Douglas Crosher
278 Jaime E. Villate
279 James Amundson
280 Leo Butler
281 Mario Rodriguez Riotorto
282 Raymond Toy
283 Robert Dodier
284 Viktor T. Toth
285 Volker van Nek
286 Yasuaki Honda
288 Contributors in 2008
289 ====================
290 Alexey Beshenov
291 Andreas Eder
292 Andrej Vodopivec
293 Barton Willis
294 Dan Gildea
295 David Billinghurst
296 Dieter Kaiser
297 Douglas Crosher
298 Harald Geyer
299 Jaime E. Villate
300 James Amundson
301 Juan Pablo Romero Bernal
302 Mario Rodriguez Riotorto
303 Raymond Toy
304 Robert Dodier
305 Stavros Macrakis
306 Vadim V. Zhytnikov
307 Viktor T. Toth
308 Volker van Nek
309 Yasuaki Honda
311 Contributors in 2007
312 ====================
313 Andreas Eder
314 Andrej Vodopivec
315 Andrey Grozin
316 Barton Willis
317 Dan Gildea
318 Dan Stanger
319 David Billinghurst
320 Douglas Crosher
321 Harald Geyer
322 Jaime E. Villate
323 Jay Belanger
324 Jorge Barros de Abreu
325 Juan Pablo Romero Bernal
326 Mario Rodriguez Riotorto
327 Raymond Toy
328 Robert Dodier
329 Stavros Macrakis
330 Vadim V. Zhytnikov
331 Viktor T. Toth
332 Volker van Nek
334 Contributors in 2006
335 ====================
336 Andrej Vodopivec
337 Andrey Grozin
338 Barton Willis
339 Dan Stanger
340 David Billinghurst
341 Douglas Crosher
342 Jaime E. Villate
343 Jay Belanger
344 Jorge Barros de Abreu
345 Mario Rodriguez Riotorto
346 Raymond Toy
347 Robert Dodier
348 Vadim V. Zhytnikov
349 Viktor T. Toth
350 Volker van Nek
352 Contributors in 2005
353 ====================
354 Andrej Vodopivec
355 Barton Willis
356 Cliff Yapp
357 Dan Stanger
358 David Billinghurst
359 James Amundson
360 Jay Belanger
361 Jorge Barros de Abreu
362 Mario Rodriguez Riotorto
363 Raymond Toy
364 Robert Dodier
365 Vadim V. Zhytnikov
366 Viktor T. Toth
367 Wolfgang Jenkner
369 Contributors in 2004
370 ====================
371 Camm Maguire
372 Cliff Yapp
373 David Billinghurst
374 James Amundson
375 Jay Belanger
376 Raymond Toy
377 Robert Dodier
378 Vadim V. Zhytnikov
379 Viktor T. Toth
380 Wolfgang Jenkner
382 Contributors in 2003
383 ====================
384 Camm Maguire
385 Cliff Yapp
386 David Billinghurst
387 James Amundson
388 Jay Belanger
389 Mike Clarkson
390 Raymond Toy
391 Vadim V. Zhytnikov
392 Wolfgang Jenkner
394 Contributors in 2002
395 ====================
396 Camm Maguire
397 Cliff Yapp
398 Dan Stanger
399 David Billinghurst
400 James Amundson
401 Jay Belanger
402 Mike Clarkson
403 Raymond Toy
404 Vadim V. Zhytnikov
405 Wolfgang Jenkner
407 Contributors in 2001
408 ====================
409 James Amundson
410 Jay Belanger
411 Vadim V. Zhytnikov
412 William F. Schelter
414 Contributors in 2000
415 ====================
416 William F. Schelter
419 Maxima also includes contributions from:
421 Michel van den Bergh
422 Karl Berry
423 Salvador Bosch Pérez
424 Fedor Bezrukov
425 Fabrizio Caruso
426 Ari Constancio
427 Gosei Furuya
428 Juan Pablo Hierro Álvarez
429 Vadim Konovalov
430 Tim Moore
431 Guenther Nowak
432 Kostas Oikonomou
433 Edmond Orignac
434 Valerij Pipin
435 Jose Ramirez Labrador
436 Ole Rohne
437 Thomas A. Russ
438 Marek Rychlik
440 Starting with version 5.9.0, Maxima uses mk::defsystem and (slightly
441 modified) run-lisp from the Common Lisp Open Code Collection,
442 <http://clocc.sourceforge.net>.
444 The nregex code was written by Lawrence E. Freil.
446 We also want to say thank you to everyone who sent patches,
447 reported bugs or suggested new features.