23rd Conference on Applications of Computer Algebra
Jerusalem, July 17-21, 2017
Commemorating the heritage of Jonathan Michael Borwein
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.
Thierry Dana-Picard, Jerusalem College of Technology
Ilias Kotsireas, Wilfrid Laurier University, Canada
Stanly Steinberg - Albuquerque, USA
Eugenio Roanes-Lozano, Univ. Complutense de Madrid, Spain
Michael Wester - Albuquerque, USA
Local organizing committee
Thierry Dana-Picard, Ivy Kidron, Meir Komar, Jacob Koletker, Aaron Naiman, Yossi Peretz, Moti Reiff - (JCT, Math Dpt and CS Dpt - email@example.com)
INVITED SPEAKERS (KEYNOTES):
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.
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.
Jonathan Borwein: a PiONEER of Experimental Mathematics
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.
FEATURED PRESENTATIONS BY SPONSORS:
Maplesoft: Omer Yagel, VP Business Development and Training. Title TBA
|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|
|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|
|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|
|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|
|39.||Morten Brun||University of Bergen||Norway|
|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|
|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|
|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|
|87.||Mee Song Im||United States Military Academy, West Point||USA|
|88.||Aaron Mac Morris|
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, http://math.unm.edu/~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 >> http://math.unm.edu/ACA/Organizing/special_session.html
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.
List of accepted sessions:
- Computer Algebra in Education
- Applied and Computational Algebraic Topology
- Computer differential and difference algebra and its applications
- Computer algebra modeling in science and engineering
- Computational Algebraic Geometry, and Post-Quantum Cryptography - Multivariate Public Key CryptographySubmit your abstract for this session here
- Computer Algebra for Applied Physics
- Computer Algebra for Dynamical Systems and Celestial Mechanics
- Algorithmic Combinatorics
- Geometry of Plane Curves
- Automated Theorem Proving in Dynamic Geometry
- Algebraic methods in geometric modeling
- Parametric polynomial systems
- Computer Algebra in image processing
- Computer Algebra in Algebraic Graph Theory
- High-performance Computer Algebra
- Poster session
- General session
BOOK OF ABSTRACTS
.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.
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:
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)
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)
Jaffa Street area.
City Center (Tramway stop: Jaffa Center)
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 booking.com, trivago.com, hotels.com, etc. The first one has a special subsite for cheap hotels in Jerusalem.
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.