The Japan Society for Symbolic and Algebraic Computation (JSSAC) is an association consisting of those who have a deep interest in research, development, application, and usage of symbolic and algebraic computation. JSSAC was established in April 1992 for the purpose of progressing, developing, and popularizing symbolic and algebraic computation through mutual cooperation and exchange between members and related organizations. In June 2009, JSSAC moved to a general incorporated association. In order to achieve the above objectives, JSSAC conducts the following projects:
In June 2018, the administration for the 14th term was established. Taking this opportunity, I read over again the prefaces of the Bulletin of JSSAC that were written when past presidents took office. They were written to focus on increasing the circle of researchers and users of symbolic and algebraic computation, penetration and integration into related fields, and acquiring new talent. Everything is reasonable and still important; unfortunately, it is hard to say that the objectives have been achieved.
The society was established in April 1992 and will soon celebrate its 27th anniversary. Compared to the time of its establishment, research and education using symbolic and algebraic computation are not special in fields such as natural sciences, engineering, and economics. Under these circumstances, what kind of activities should the "Japan Society for Symbolic and Algebraic Computation" aim for? How do we create our own characteristics and cooperate with our surroundings when they use symbolic and algebraic computation ordinarily?
After reconfirming the statements "Significance of establishing an academic society consisting of a large number of researchers, applied engineers, and users connected through symbolic and algebraic computation, and sharing places for research presentations, discussions, information exchange, joint research planning, etc." and "Meaning of being the subject of education and spread of symbolic and algebraic computation and having a core organization for exchange with domestic and foreign research institutions or industry" in the charter of establishment, I think that the only way is to continue increasing the circle, exchanging and cooperating with related fields, and acquiring new talent, steadily conducting basic activities such as holding conferences and workshops and publishing academic journals. Fortunately, several committees have begun activities to activate the society. If you have any good ideas, please let us know. Thank you for your cooperation.
Symbolic and Algebraic Computation is an interdisciplinary field at the boundary of mathematical science, natural science, and engineering, and researchers in various fields participate. Therefore, interests and research methods are diverse.
SIG Theory is studying Symbolic and Algebraic Computation from a theoretical point of view. In particular,
These are the main research subjects. The SIG theory provides a place for research presentations and discussions about once a year to promote information exchange and information transmission between researchers.
The applications of Symbolic and Algebraic Computation are widely used by many researchers, from computation in mathematics to mathematical clarification of various phenomena in applied fields such as optimization and control engineering. It is not uncommon for researchers to create software themselves. The importance of theoretical research in Symbolic and Algebraic Computation is, of course, not only in mathematical considerations, but also in developing software used by end users. This is evident from the fact that software execution efficiency contributes to the speed of research.
From such a point of view, we are pursuing theoretical and basic research in Symbolic and Algebraic Computation. At the research meetings, non-members can also make presentations. We look forward to your participation.
Typical keywords: Algebraic algorithm, Exact algorithm, Symbolic-numeric computation, Gröbner basis, Quantifier elimination
Computer Algebra Systems are now used in many situations as tools to solve various problems. The development of the Computer Algebra Systems are not only due to the dramatic progress of computer hardware, but also the development of efficient algorithms and the technical implementation. In terms of systems, data structures, implementation methods suitable for computers, user interfaces, etc. are targeted for development, but also applications using mathematical processing systems. Also, in the algorithm development, the implementation for verification is covered. It covers not only mathematical processing systems but also mathematical software that runs widely on computers.
The SIG System is closely related to other working groups. In theory, implementation is indispensable to verify the developed algorithm, and in education, it is important to develop a user interface or a system that meets the educational purpose. For this reason, the research meetings may be held as a joint research meetings in cooperation with other SIGs.
The SIG Education promotes exchanges among members engaged in research on the application of Symbolic and Algebraic Computation to education, deepens discussions on the research, and thereby promotes the research on Symbolic and Algebraic Computation and aims the spread of Symbolic and Algebraic Computation. The current activity is to hold a research meeting twice a year. Since this SIG is a multidisciplinary area of Symbolic and Algebraic Computation and education, there are actually various research themes and some of them are introduced here.
In online learning (e-Learning) in the field of mathematics, it is necessary to present mathematical formulas, input answers, and assess correct or incorrect of answers. Mathematical formulas are different from natural languages, and their processing requires a special mechanism. Research is being conducted from the viewpoint of handling mathematical expressions, such as the use of existing mathematical processing tools and the development of new methods.
By using the Computer Algebra Systems, it is possible to automatically generate exercises and model answers, and to create educational materials with graph drawing and formula deformation according to dynamic operations (mouse / touch operation, keyboard input, etc.). Multidisciplinary research is being pursued based on learning theories from elementary to higher education and in various fields.
The problem solving method used in secondary mathematics education is very different from the solution method based on the theory of Symbolic and Algebraic Computation. Understanding and recognizing this difference will help you to gain a deeper understanding of the mathematical background of the problem, and will help you understand problems that are easy for humans but difficult for computers, and will allow you to further study the theory of mathematical processing.
We hope that those who are interested in applying Symbolic and Algebraic Computation to education in various forms, including those mentioned above, will participate in research meetings organized by the SIG Education.
You can obtain more information about JSSAC in Japanese from here.
Contact us: jssac
jssac.org