共 50 条
- [24] Type theory, computer algebra & dynamical systems 2003 INTERNATIONAL CONFERENCE PHYSICS AND CONTROL, VOLS 1-4, PROCEEDINGS: VOL 1: PHYSICS AND CONTROL: GENERAL PROBLEMS AND APPLICATIONS; VOL 2: CONTROL OF OSCILLATIONS AND CHAOS; VOL 3: CONTROL OF MICROWORLD PROCESSES. NANO- AND FEMTOTECHNOLOGIES; VOL 4: NONLINEAR DYNAMICS AND CONTROL, 2003, : 85 - 87
- [25] Eikonal theory and computer algebra .2. JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1996, 13 (08): : 1763 - 1765
- [26] A problem in group theory solved by computer algebra COMMUTATIVE ALGEBRA, SINGULARITIES AND COMPUTER ALGEBRA, 2003, 115 : 217 - 223
- [28] Foreword: Computer Algebra in Coding Theory and Cryptography Designs, Codes and Cryptography, 2015, 76 : 1 - 2
- [30] Foreword: computer algebra in coding theory and cryptography Applicable Algebra in Engineering, Communication and Computing, 2013, 24 : 157 - 158