ACA 2017

23rd Conference on Applications of Computer Algebra

Jerusalem, July 17-21, 2017

Commemorating the heritage of Jonathan Michael Borwein

Panorama of Jerusalem Old City and Temple Mount, Israel

Panorama of Jerusalem Old City and Temple Mount, Israel

Welcome to the site of ACA 2017!

The ACA conference series is devoted to promoting all kinds of computer algebra applications, and encouraging the interaction of developers of computer algebra systems and packages with researchers and users (including scientists, engineers, educators, and mathematicians).

Topics include, but are not limited to, computer algebra in the sciences, engineering, communication, medicine, pure and applied mathematics, education and computer science.


ACA 2017 will take place on the Lev campus of the Jerusalem College of Technology (JCT).

JCT is an institution of Higher Education devoted mainly to High Tech (Computer Science, Telecommunications, Electro-optics, Electronics, etc.), Management and Health). The department of Mathematics provides courses to all the other departments, so does the department of CS besides its own curriculum. Students @ JCT learn towards B.SC and M.Sc. in these different fields.

Researchers are active in numerous scientific fields and collaborate with researchers in Israel and overseas, both at universities and in industry.


General Chairs

Thierry Dana-Picard, Jerusalem College of Technology

Ilias Kotsireas, Wilfrid Laurier University, Canada

Advisory Committee:

Stanly Steinberg - Albuquerque, USA

Eugenio Roanes-Lozano, Univ. Complutense de Madrid, Spain

Michael Wester - Albuquerque, USA

Scientific Committee:

ACA working group

Local organizing committee

Thierry Dana-Picard, Ivy Kidron, Meir Komar, Jacob Koletker, Aaron Naiman, Yossi Peretz, Moti Reiff - (JCT, Math Dpt and CS Dpt -



Sara Hershkovitz, Center for Educational Technology, Tel Aviv. Short bio

Enhancing Teachers' and Students' Mathematical Knowledge in a Technology-Rich Environment

In the last century, the main goals of mathematics education were based on conceptual understanding, problem solving and problem posing, modeling, application, reasoning, creativity, and critical thinking. These goals became possible with the development of technological tools (which had previously not existed) that could carry out the procedures. The integration of digital technology into the mathematics classroom is an ongoing process which has also created an ability to focus teaching and learning processes on important ideas in mathematics. Today, with the aid of the new technologies, it is possible to develop learning approaches that include the use of representations, research into mathematical phenomena through dynamic technological applications, and feedback from the computer through mirroring of the outcome of the student’s action ("intellectual mirroring").

The feedback allows the student to solve problems, to research and test different alternatives and decide whether he has achieved what he set out to do, and, by testing , to generalize ideas and phenomena. Feedback is changed from a confirmation of prior knowledge – feed back – to the new knowledge – feed forward[1].

In addition, on the one hand, the technology facilitates the assembly of rich content to develop the required concepts and ideas, together with the disciplinary goals and learning skills. On the other hand it allows the students’ learning abilities to be checked and analyzed using analytical tools applied to big data, collected and analyzed on an ongoing basis. Based on these data, teaching and learning processes appropriate to each student can be constructed. These new possibilities carry with them new ways of content development for all educational stages, and new methods for teacher development.

In the presentation mathematics instruction will be presented and discussed as interaction of teachers, students, and content in technological learning environments.


Doron Zeilberger, Rutgers University. Personal page

Jonathan Borwein: a PiONEER of Experimental Mathematics


Rob Corless, Western University, London, ON (Canada). Short bio

Gamma and Factorial in the Monthly

Since its inception in the 19th century, the American Mathematical Monthly has published over fifty papers on the Gamma function or equivalently the factorial function. Over half of these were on Stirling’s formula. We survey these papers, which include a Chauvenet prizewinning paper by Philip J. Davis and a paper by the Fields medallist Manjul Bhargava, and highlight some features in common. We also identify some surprising gaps and attempt to fill them, especially on the “inverse Gamma function”.

This is joint work with the late Jonathan M. Borwein.


Bruno Buchberger, RISC, Johannes Kepler University, Linz, Austria

Teaching Math to Lady M

I stopped teaching logic and math to humans. Instead I started to teach logic / math to Lady M, a machine. She (or he or it) has absolutely no insight and I enjoy that she does not expect that what I am telling her has any meaning (semantics). For certain input expressions she produces certain output. Very reliably, for the same input the same output. By certain input, her inner state changes and she her input / output behavior changes. Recently, after many layers of communication, I managed to make her behave the way I behaved when, as a PhD student, I invented the Gr\" obner bases algorithm. I.e. I taught her to invent mathematical algorithms and proofs. Of course, she does not know. Of course, I cannot give a talk on this, since I stopped talking to mathematicians. However, if you like and you don't make me jealous, you may come and watch me talk to Lady M.


Maplesoft: Omer Yagel, VP Business Development and Training. Title TBA

Wolfram: TBA



  Name Institution Country
1. Bruno Buchberger Johannes Kepler University, Linz Austria
2. Doron Zeilberger Rutgers University, New Brunswick, NJ USA
3. Gershon Elber CS, Technion, Haifa Israel
4. Haiduke Sarafian University College, Penn State U., PA USA
5. Haohao Wang Math Dpt, Southeast Missouri State U., MO USA
6. Iddo Hanniel Mobileye, Jerusalem Israel
7. Ilias Kotsireas Wilfrid Laurier University, ON Canada
8. Jinesh Machchhar CS, Technion, Haifa Israel
9. Malka Schaps Math Dpt, Bar Ilan University Israel
10. Michael Barton BCAM, Bilbao Spain
11. Myung Soo Kim CS, Seoul national University, Seoul Korea
12. Rob Corless  Western University, London, ON Canada
13. Sara Hershkovitz Center for Educational Technology, Tel Aviv Israel
14. Thierry Dana-Picard Jerusalem College of Technology Israel
15. Witold Mozgawa Maria Curie-Skłodowska University (UMCS), Lublin Poland
16. Juan Gerardo Alcázar Arribas  Universidad de Alcalá  Spain
17. Michel Beaudin Ecole de Technologie Supérieure Montréal, QC,Canada
18. Ron Adin Bar Ilan University Israel
19. Vladimir Gerdt Dubna Russia
20. Yang Zhang University of Manitoba, Canada Canada
21. Vasilii Duzhin  St. Petersburg State University of Aerospace Instrumentation Russia
22. Volodymyr Bavula Sheffield University U.K.
23. Yi Zhang JKU, Institute of Algebra, Linz Austria
24. Thotsaporn Thanatipanonda Bangkok Thailand
25. Aleksander Prokopenya Warsaw University of Life Sciences Poland
26. Ryszard Kozera Warsaw University of Life Sciences Poland
27. Eli Bagno Jerusalem College of Technology Israel
28. Peter Franek Bratislava Slovakia
29. Pavel Pech University of South Bohemia Czech Republic
30. Roman Hašek University of South Bohemia Czech Republic
31. Vladimíra Petrášková University of South Bohemia Czech Republic
32. Ohara Katsuyoshi Kanazawa University Japan
33. Stephan Zhechev IST, Klosterneuburg Austria
34. Edgardo Cheb-Terrab Maplesoft, Vancouver Canada
35. David G. Zeitoun Orot College Israel
36. Alexander Levin Washington D.C. USA
37. Lin Jiu RICAM, Austrian Academy of Science, Linz Austria
38. Avraham Karsenty JCT Israel
39. Morten Brun University of Bergen Norway
40. Aleksander Perminov  Yekaterinenburg  Russia
41. Manuel Kauers  JKU, Institute of Algebra, Linz  Austria
42. Katsusuke Nabeshima Tokushima University Japan
43. Nello Blaser University of Bergen Norway
44. Daniel Robertz University of Plymouth U.K.
45. Christoph Koutschan RICAM, Austrian Academy of Science,Linz Austria
46. Mariana Durcheva Technical University of Sofia Bulgaria
47. Ilya Sinitski Gordon College Israel
48. Pedro Jurado Cadiz Spain
49. Aleksandr Mylläri St George University Grenada
50. Tatyana Mylläri St George University Grenada
51. Victor Edneral Lomonosov Moscow State University Russia
52. Jan Krupa Warsaw University of Life Sciences Poland
53. Wďżödzimierz Wojas Warsaw University of Life Sciences Poland
54. Severinas Zube Vilnius University Lithuania
55. Bartolomiej Kubica Warsaw University of Life Sciences Poland
56. Rein Prank University of Tartu Estonia
57. Tajima Ahinichi University of Tsukuba Japan
58. Aaron Naiman JCT Israel
59. Jan Karabas University of Banská Bystrica Slovakia
60. Andrzej Kisielewicz University of Wroclaw Poland
61. Mark Giesbrecht University of Waterloo Canada
62. Michael Xue Vroom Lab, Indianapolis USA
63. Donna Walker St George University Grenada
64. Mateusz Juda Jagiellonian University, Kraków Poland
65. Philip Slobodsky  Talpiot College and Halomda Education Software  Israel
66. Rotem Abdu Levinski College Israel
67.  Xavier Dahan‏ Ochanomizu University  Japan
68.  Ryoya Fukasaku Tokyo University for Science  Japan
69.  Eric Rowland Hofstra University, NY  USA
70.  Yosuke Sato Tokyo University of Science  Japan
71.  Anatoli Kouropatov Levinsky College and CET  Israel
72. David Jeffrey University of Western Ontario, London Canada
73. Michael Wester University of New Mexico, Albuquerque USA
74. Sven Reichard TU- Dresden Germany
75. Mikhail Kagan Penn State University USA
76. David Garber Holon Inst. of Technology Israel
77. Stephen Watt University of Waterloo, ON Canada
78. Jeremy Schiff Bar Ilan University Israel
79. Weiwei Sun City University Hong Kong
80. Roman Nedela Univ. of West Bohemia, Pilsen Czech Republic
81. Yosi Joseph Peretz JCT Israel
82. Eduardo Saenz De Cabezon Irigaray Universidad de La Rioja (UR) Spain
83. Štefan Gyürki Matej Bel University, Banská Bystrica Slovakia
84. Stef Graillat UPMC - LIP6, Paris France
85. Omer Yagel Digisec-Technologies/Maplesoft Israel
86. Regina Ovodenko CET Israel
87. Mee Song Im United States Military Academy, West Point USA
88. Aaron Mac Morris
89. Avraham Fraenkel Israel

The registration desk will be open on Monday, July  17th, from 9:30 am.

Opening ceremony: Monday, July 17th, late morning.

Mr. Ofir Akunis, the Israeli Minister of Science, Technology and Space, has accepted our invitation to address the participants during the opening ceremony.

The scientific program, Monday to Friday (about 12:00 am)  will be published here ASAP.

Submission of session proposals:

March 1st, 2017: deadline for submission

March 31st, 2017 : notification of acceptance

Early submission is encouraged, and early notification of acceptance will follow.

Submission of talks :

April 30th, 2017: deadline for submission of talks / extended to May 26th

May 31st, 2017 : notification of acceptance

Early submission is encouraged, and early notification of acceptance will follow.

Final version of abstracts : June 25th, 2017

The 23nd International Conference on Applications of Computer Algebra (ACA, will take place in Jerusalem (Israel) on July 17-21, 2017. The ACA conferences are organized as a series of Special Sessions. All interested researchers can propose a Special Session by sending an e-mail to the Program Chairs by March 15st, 2017. The Scientific Committee (i.e. the ACA Working Group) will then decide on the acceptance of the proposed session. Accepted sessions will be immediately announced on the this site

A proposal for a Special Session has to include:

• title of the Special Session,

• short abstract describing the Special Session,

• contact information of the organizers.

For more details see >>

Talk submissions have to be directed to the organizers of an appropriate Special Session. It is expected that organizers actively contact potential speakers.

The poster session offers all participants the opportunity to present their research in an informal environment. Software demonstrations are also welcome.

A Mathematica license will be granted to the best poster or presentation.

Please see the poster session page.


The conference poster is now downloadable. You are cordially invited to download it and to dispatch it to people/departments to whom you wish to advertise the conference.


.If you are interested in proposing a talk, please send an abstract to the organizers of the suitable session

.Please use this LaTeX template for your abstract and send both the LaTeX source and a compiled PDF version

.If you do not work with LaTeX, the submission may be sent in Word format (.doc or .docx file) and later, once accepted, we will try to adapt the proposal to the LaTeX template


.We plan to publish proceedings of ACA 2017 as a special issue of the journal Mathematics in Computer Science. Details will be announced ASAP


The conference will take place on the Lev Campus of Jerusalem College of Technology (Lev Academic Center).

The campus is located at 21, Havaad Haleumi Street, Jerusalem, in the Givat Mordechai area. It is close to the Begin Road and can be easily reached by public transportation.

Transportation: Bus: 5,6,9,39

Tramway: Shaare Tsedek Hospital station, then cross the road and take bus 39 to Givat Mordechai.

Taxis: they have a yellow sign on their roof with a registration number. You can stop a taxi on the street, or find taxi stations in every part of Jerusalem. Some companies have a mobile application (for example Gett).

For participants coming with a car, there is a parking lot at the entrance of the campus. On the campus, the parking facilities are quite limited. In the immediate neighbourhood of the workshop venue is a cafeteria open all day long. There are also vending machines at various places of the campus for snacks and refreshments.

lev campus new map



We are offering registered participants and registered accompanying persons a conference excursion to interesting places in Jerusalem, in particular the Old City of Jerusalem, and maybe some other places. The excursion is planned on Wednesday afternoon, July 19th. It will be organized in collaboration with Jerusalem Municipality. Details will be available later.


On Wednesday evening, after our visit to the Old City, we will have the conference dinner (either on the campus or at a nice place downtown). Details will be available later.



There are numerous hotels, hostels, albergos, etc. in Jerusalem.

Here is a website where the hotels are classified according to various criteria: star number, location, etc.  

Here are the areas we suggest you to choose:

  1. Central Bus Station Mall (the central bus station is not in city center, this is a name for the intercity main bus station) (Tramway stop: Central Station)

  2. West Jerusalem (probably the closest to the campus are listed there): Ramada, Jerusalem Gardens Hotel and Spa, Prima Park are on the same street (Vilani St.). Tramway stop: Kiryat Moshe (Ben Dor)

  3. Jaffa Street area.

  4. City Center (Tramway stop: Jaffa Center)

  5. Machane Yehuda stop Market (Tramway: Mahane Yehuda)


The closest hotel is Rimonim Shalom. On foot, via a "trail", it takes 5-7 minutes to the campus. With a taxi, it takes 5-8 minutes.

1-2: From there you arrive to the campus entrance by bus no 6 (3 stops).

3-4-5: you arrive to the campus with bus 19 or with the Tramway (until stop Yefe Nof) and then bus 5, 39 (it will take about 25 minutes, depending on the period).

There are also good hotels close to Old City, but at a greater distance from the campus. Tramway stops: Shivtei Israel, Shimon Hatsadik.


The black arrow shows the direction to the campus.


Some hotels are listed in more than one area, as these areas are not disconnected open sets.

Of course you may use the classical sites such as,,, etc. The first one has a special subsite for cheap hotels in Jerusalem.

image001 Center for Educational Technology (CET), Tel Aviv

wolfram   maplesoft


Laurier Wilfrid Laurier University, ON, Canada

האגוד הישראלי למתמטיקה


Emmy Noether


Jonatan Borwein ז"ל

Very few mathematicians manage to transcend the boundaries of more than one mathematical discipline and make substantial contributions to several areas of Mathematics. Jon was undeniably one of them. He was a paragon of Experimental Mathematics, Symbolic Computation, Functional Analysis, Optimization and other areas. His research work has already inspired thousands of individual researchers and will remain as a testament to this generation and to the coming ones.