Departmental Bulletin Paper 包括的グレブナ基底系を利用した限量子消去 (数式処理とその周辺分野の研究)
Quantifier Elimination by using Comprehensive Grobner Systems (Computer Algebra and Related Topics)

深作, 亮也  ,  岩根, 秀直  ,  佐藤, 洋祐

1955pp.134 - 141 , 2015-07 , 京都大学数理解析研究所
ISSN:1880-2818
NCID:AN00061013
Full-Text

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/224035/1/1955-14.pdf

Number of accesses :  

Other information