Symbolic Computation in Software Science - 期刊 | AMiner

年发文量

研究主题

论文（82）

排序

时间引用

1Towards Trajectory Planning for a 6-Degree-of-freedom Robot Manipulator Considering the Orientation of the End-Effector Using Computer Algebra.

Takumu Okazaki,Akira Terui,Masahiko Mikawa

2024

引用

2Reasoning about the Embedded Shape of a Qualitatively Represented Curve.

Kazuko Takahashi

2024

引用

3First-order Theorem Proving with Power Maps in Semigroups.

Yi Lin, Ranganathan Padmanabhan, Yang Zhang

2024

引用

4Functional Decomposition of Sparse Polynomials (short Talk Abstract).

Mark Giesbrecht

2024

引用

5Methods for Solving the Post Correspondence Problem and Certificate Generation.

Omori Akihiro, Minamide Yasuhiko

2024

引用

立即登录，查看全部 82 篇论文

高被引作者

作者	引用	发文
Adel Bouhoula	70	3
Wolfgang Schreiner	51	3
Kazuko Takahashi	48	4
Temur Kutsia	47	2
David M. Cerna	47	2
Hossein Haeri	47	2
Sibylle Schupp	47	2
Faouzi Jaïdi	47	2
Faten Labbene Ayachi	47	2
Kenichi Asai	46	2

高产作者

作者	引用	发文
Akira Terui	1	4
Kazuko Takahashi	48	4
Masahiko Mikawa	1	4
Adel Bouhoula	70	3
Rachid Echahed	26	3
Tetsuo Ida	25	3
Sofiene Tahar	3	3
Wolfgang Schreiner	51	3
Faouzi Jaïdi	47	2
Mizuki Goto	46	2

相关期刊

Types for Proofs and Programs

Conference on Algebra and Coalgebra in Computer Science

Annual Conference for Computer Science Logic

Developments in Computational Models

Formal Structures for Computation and Deduction

Foundations of Software Science and Computation Structure

International Workshop/Symposium on Logic-based Program Synthesis and Transformation

Mathematical Foundations of Programming Semantics

International Conference on Relational and Algebraic Methods in Computer Science

ACM Transactions on Computational Logic