MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Hirokazu Anai" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Algebraic methods for solving real polynomial constraints and their applications in biology
by Hirokazu Anai — 2005 — In Algebraic Biology – Computer Algebra in Biology
… and their Applications in Biology Hirokazu ANAI FUJITSU LABORATORIES LTD. Kamikodanaka 4-1-1, Nakahara-ku, Kawasaki 211…
Cited by 1 (0 self) – Add To MetaCart

Development of synrac – formula description and new functions
by Hitoshi Yanami, Hirokazu Anai — in Proceedings of International Workshop on Computer Algebra Systems and their Applications (CASA) 2004 : ICCS 2004, LNCS 3039
…Development of SyNRAC—Formula description and new functions Hitoshi Yanami 1,2 and Hirokazu Anai 1…
Cited by 1 (0 self) – Add To MetaCart

Deciding Linear-Trigonometric Problems
by Hirokazu Anai, Volker Weispfenning — 2000 — In ISSAC 2000
…Deciding Linear-Trigonometric Problems Hirokazu Anai and Volker Weispfenning Department…
Cited by 4 (1 self) – Add To MetaCart

Reach Set Computations Using Real Quantifier Elimination
by Hirokazu Anai, Volker Weispfenning — 2000
…Reach set computations using real quantier elimination Hirokazu Anai Computer System Laboratories…
Cited by 25 (0 self) – Add To MetaCart

permanence. Table of Contents
by Koninklijke Nederlandse, Edited Bernard Hanzon, Michiel Hazewinkel, Bernard Hanzon, Michiel Hazewinkel, Systems Theory, Bruno Buchberger, Hirokazu Anai, Shinji Hara — 2000
… and systems theory 1 Bruno Buchberger Computer-assisted proving by the PCS method 9 Hirokazu Anai and Shinji…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB