Concepedia

Taku Takeshima

TT

5

Publications

264

Citations

5

H-Index

1985

Active since

Affiliations

Fujitsu (Japan)(Current)

Taku Takeshima is an author at Fujitsu (Japan) specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProof ComplexityFormal VerificationComputational ComplexityCombinatorial Optimization

Publications per year

1985–1992

5

Publications

5

Risa/Asir---a computer algebra system

Masayuki Noro, Taku Takeshima · 1992 · 171 citations

Engineering, Automated Reasoning, Alert Preferences +8

Solutions of systems of algebraic equations and linear maps on residue class rings

Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima · Journal of Symbolic Computation · 1992 · 39 citations

Algebraic Equations, Linear Maps, Ring Theory +3

A modular method for Gro¨bner-basis construction over Q and solving system of algebraic equations

T. Sasaki, Taku Takeshima · Journal of information processing · 1990 · 18 citations

Algebraic Equations, Algebraic Structure, Modular Method +4

Computing primitive elements of extension fields

Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima · Journal of Symbolic Computation · 1989 · 18 citations

Applied Algebra, Finite Field, Primitive Elements +1

Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization.

Hajime Sawamura, Taku Takeshima · SLP · 1985 · 18 citations

Computational Logic, Computational Complexity Theory, Engineering +12

Rows per page

1–5 of 5