Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Heidelberg [u.a.]
Springer
2014
|
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | XVI, 503 S. Ill., graph. Darst. 235 mm x 155 mm |
ISBN: | 9783662437988 9783662437995 |
Internformat
MARC
LEADER | 00000nam a22000008c 4500 | ||
---|---|---|---|
001 | BV042144354 | ||
003 | DE-604 | ||
005 | 20150127 | ||
007 | t | ||
008 | 141024s2014 gw ad|| |||| 10||| eng d | ||
015 | |a 14,N22 |2 dnb | ||
016 | 7 | |a 1051190304 |2 DE-101 | |
020 | |a 9783662437988 |c Gb. : ca. EUR 127.33 (DE) (freier Pr.), ca. EUR 130.90 (AT) (freier Pr.), ca. sfr 158.50 (freier Pr.) |9 978-3-662-43798-8 | ||
020 | |a 9783662437995 |9 978-3-662-43799-5 | ||
024 | 3 | |a 9783662437988 | |
028 | 5 | 2 | |a Best.-Nr.: 86353183 |
035 | |a (OCoLC)897078780 | ||
035 | |a (DE-599)DNB1051190304 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-824 | ||
082 | 0 | |a 510.285 |2 22/ger | |
084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
084 | |a 510 |2 sdnb | ||
245 | 1 | 0 | |a Computer Mathematics |b 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks |c Ruyong Feng ... ed. |
263 | |a 201408 | ||
264 | 1 | |a Heidelberg [u.a.] |b Springer |c 2014 | |
300 | |a XVI, 503 S. |b Ill., graph. Darst. |c 235 mm x 155 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Computermathematik |0 (DE-588)4788218-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Peking |2 gnd-content | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Fukuoka |2 gnd-content | |
689 | 0 | 0 | |a Computermathematik |0 (DE-588)4788218-9 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Feng, Ruyong |0 (DE-588)1060065029 |4 edt | |
711 | 2 | |a ASCM |n 9 |d 2009 |c Fukuoka |j Sonstige |0 (DE-588)16074858-6 |4 oth | |
711 | 2 | |a ASCM |n 10. |d 2012 |c Peking |j Sonstige |0 (DE-588)1060209233 |4 oth | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4671280&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027584265&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027584265 |
Datensatz im Suchindex
_version_ | 1806329466865057792 |
---|---|
adam_text |
PART I INVITED TALKS OF ASCM2012
SYMBOLIC COMPUTATION AND COMPLEXITY THEORY
TRANSCRIPT OF MY TALK 3
ERICH L. KALTOFEN
FACTORIZATION OF MOTIONS 9
JOSEF SCHICHO
PART II CONTRIBUTED PAPERS OF ASCM2009
SIMPLIFICATION OF THE LATTICE BASED ATTACK OF BONEH
AND DURFEE FOR RSA CRYPTOANALYSIS 15
YOSHINORI AONO
REAL ROOT ISOLATION OF REGULAR CHAINS 33
FRANCOIS BOULIER, CHANGBO CHEN, FRANCOIS LEMAIRE
AND MARC MORENO MAZA
A PRACTICAL IMPLEMENTATION OF A MODULAR ALGORITHM
FOR ORE POLYNOMIAL MATRICES 49
HOWARD CHENG AND GEORGE LABAHN
COMPUTING POPOV FORMS OF MATRICES OVER PBW EXTENSIONS 61
MARK GIESBRECHT, GEORGE LABAHN AND YANG ZHANG
ON THE SIMPLEST QUARTIC FIELDS AND RELATED THUE EQUATIONS 67
AKINARI HOSHI
HTTP://D-NB.INFO/1051190304
X CONTENTS
ON THE IMPLEMENTATION OF BOOLEAN GROBNER BASES 87
SHUTARO INOUE AND AKIRA NAGAI
COMPREHENSIVE GROBNER BASES IN A JAVA COMPUTER
ALGEBRA SYSTEM 93
HEINZ KREDEL
A PRACTICAL METHOD FOR FLOATING-POINT GROBNER BASIS COMPUTATION. . . 109
TATEAKI SASAKI
SERIES-EXPANSION OF MULTIVARIATE ALGEBRAIC FUNCTIONS
AT SINGULAR POINTS: NONMONIC CASE 125
TATEAKI SASAKI AND DAIJU INABA
A SEQUENCE OF NEAREST POLYNOMIALS WITH GIVEN FACTORS 141
HIROSHI SEKIGAWA
DIGITIZATION WORKFLOW IN THE CZECH DIGITAL MATHEMATICS LIBRARY 147
PETR SOJKA
THE IMPLEMENTATION AND COMPLEXITY ANALYSIS OF THE BRANCH
GROBNER BASES ALGORITHM OVER BOOLEAN POLYNOMIAL RINGS 157
YAO SUN AND DINGKANG WANG
TOWARDS THE CALCULATION OF CASIMIR FORCES FOR INHOMOGENEOUS
PLANAR MEDIA 171
C. XIONG, T.W. KELSEY, S.A. LINTON AND U. LEONHARDT
PART III CONTRIBUTED PAPERS OF ASCM2012
SPARSE POLYNOMIAL INTERPOLATION BY VARIABLE SHIFT IN THE PRESENCE
OF NOISE AND OUTLIERS IN THE EVALUATIONS 183
BRICE BOYER, MATTHEW T. COMER AND ERICH L. KALTOFEN
AN INCREMENTAL ALGORITHM FOR COMPUTING CYLINDRICAL
ALGEBRAIC DECOMPOSITIONS 199
CHANGBO CHEN AND MARC MORENO MAZA
FINDING THE SYMBOLIC SOLUTION OF A GEOMETRIC PROBLEM
THROUGH NUMERICAL COMPUTATIONS 223
LIANGYU CHEN, TUO LENG, LIYONG SHEN, MIN WU,
ZHENGFENG YANG AND ZHENBING ZENG
CONTENTS XI
A SYMBOLIC APPROACH TO COMPUTE A NULL-SPACE BASIS
IN THE PROJECTION METHOD 243
MARK GIESBRECHT AND NAM PHAM
A SIMPLE QUANTIFIER-FREE FORMULA OF POSITIVE SEMIDEFINITE
CYCLIC TERNARY QUARTIC FORMS 261
JINGJUN HAN
THE VANISHING IDEAL OF A FINITE SET OF POINTS
WITH MULTIPLICITY STRUCTURES 275
NA LEI, XIAOPENG ZHENG AND YUXUE REN
SIGNATURE
-BASED METHOD OF DECIDING PROGRAM TERMINATION 297
YAOHUI LI, YUQING SONG AND ZHIFENG WU
HIGH-PRECISION EIGENVALUE BOUND FOR THE LAPLACIAN
WITH SINGULARITIES 311
XUEFENG LIU, TOMOAKI OKAYAMA AND SHIN'ICHI OISHI
POLY: A NEW POLYNOMIAL DATA STRUCTURE FOR MAPLE 17 325
MICHAEL MONAGAN AND ROMAN PEARCE
DEGREE AND DIMENSION ESTIMATES FOR INVARIANT IDEALS
OF P-SOLVABLE RECURRENCES 349
MARC MORENO MAZA AND RONG XIAO
REAL ROOT ISOLATION OF POLYNOMIAL EQUATIONS BASED
ON HYBRID COMPUTATION 375
FEI SHEN, WENYUAN WU AND BICAN XIA
OVERVIEW OF THE MATHEMAGIX TYPE SYSTEM 397
JORIS VAN DER HOEVEN
RESULTANT-FREE COMPUTATION OF INDEFINITE
HYPEREXPONENTIAL INTEGRALS 427
XIAOLI WU
IMUP: A MAPLE PACKAGE FOR UNIFORMITY-IMPROVED
REPARAMETERIZATION OF PLANE CURVES 437
JING YANG, DONGMING WANG AND HOON HONG
THE DIAGONAL REDUCTION ALGORITHM USING FAST GIVENS
WEN ZHANG, SANZHENG QIAO AND YIMIN WEI
453
XII CONTENTS
CONSTRUCTING GENERALIZED BENT FUNCTIONS FROM TRACE FORMS
OF GALOIS RINGS 467
XIAOMING ZHANG, BAOFENG WU, QINGFANG JIN AND ZHUOJUN LIU
MATRIX FORMULAE OF DIFFERENTIAL RESULTANT FOR FIRST ORDER
GENERIC ORDINARY DIFFERENTIAL POLYNOMIALS 479
ZHI-YONG ZHANG, CHUN-MING YUAN AND XIAO-SHAN GAO |
any_adam_object | 1 |
author2 | Feng, Ruyong |
author2_role | edt |
author2_variant | r f rf |
author_GND | (DE-588)1060065029 |
author_facet | Feng, Ruyong |
building | Verbundindex |
bvnumber | BV042144354 |
classification_rvk | SK 110 |
ctrlnum | (OCoLC)897078780 (DE-599)DNB1051190304 |
dewey-full | 510.285 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 510 - Mathematics |
dewey-raw | 510.285 |
dewey-search | 510.285 |
dewey-sort | 3510.285 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV042144354</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150127</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">141024s2014 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1051190304</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662437988</subfield><subfield code="c">Gb. : ca. EUR 127.33 (DE) (freier Pr.), ca. EUR 130.90 (AT) (freier Pr.), ca. sfr 158.50 (freier Pr.)</subfield><subfield code="9">978-3-662-43798-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662437995</subfield><subfield code="9">978-3-662-43799-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783662437988</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86353183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897078780</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1051190304</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.285</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer Mathematics</subfield><subfield code="b">9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks</subfield><subfield code="c">Ruyong Feng ... ed.</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201408</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 503 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Peking</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Fukuoka</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feng, Ruyong</subfield><subfield code="0">(DE-588)1060065029</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ASCM</subfield><subfield code="n">9</subfield><subfield code="d">2009</subfield><subfield code="c">Fukuoka</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16074858-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ASCM</subfield><subfield code="n">10.</subfield><subfield code="d">2012</subfield><subfield code="c">Peking</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1060209233</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4671280&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027584265&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027584265</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2007 Peking gnd-content (DE-588)1071861417 Konferenzschrift 2009 Fukuoka gnd-content |
genre_facet | Konferenzschrift 2007 Peking Konferenzschrift 2009 Fukuoka |
id | DE-604.BV042144354 |
illustrated | Illustrated |
indexdate | 2024-08-03T01:53:38Z |
institution | BVB |
institution_GND | (DE-588)16074858-6 (DE-588)1060209233 |
isbn | 9783662437988 9783662437995 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027584265 |
oclc_num | 897078780 |
open_access_boolean | |
owner | DE-824 |
owner_facet | DE-824 |
physical | XVI, 503 S. Ill., graph. Darst. 235 mm x 155 mm |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Springer |
record_format | marc |
spelling | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks Ruyong Feng ... ed. 201408 Heidelberg [u.a.] Springer 2014 XVI, 503 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Computermathematik (DE-588)4788218-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Peking gnd-content (DE-588)1071861417 Konferenzschrift 2009 Fukuoka gnd-content Computermathematik (DE-588)4788218-9 s DE-604 Feng, Ruyong (DE-588)1060065029 edt ASCM 9 2009 Fukuoka Sonstige (DE-588)16074858-6 oth ASCM 10. 2012 Peking Sonstige (DE-588)1060209233 oth X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4671280&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027584265&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks Computermathematik (DE-588)4788218-9 gnd |
subject_GND | (DE-588)4788218-9 (DE-588)1071861417 |
title | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks |
title_auth | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks |
title_exact_search | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks |
title_full | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks Ruyong Feng ... ed. |
title_fullStr | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks Ruyong Feng ... ed. |
title_full_unstemmed | Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks Ruyong Feng ... ed. |
title_short | Computer Mathematics |
title_sort | computer mathematics 9th asian symposium ascm2009 fukuoka december 2009 10th asian symposium ascm2012 beijing october 2012 contributed papers and invited talks |
title_sub | 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks |
topic | Computermathematik (DE-588)4788218-9 gnd |
topic_facet | Computermathematik Konferenzschrift 2007 Peking Konferenzschrift 2009 Fukuoka |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=4671280&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027584265&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT fengruyong computermathematics9thasiansymposiumascm2009fukuokadecember200910thasiansymposiumascm2012beijingoctober2012contributedpapersandinvitedtalks AT ascmfukuoka computermathematics9thasiansymposiumascm2009fukuokadecember200910thasiansymposiumascm2012beijingoctober2012contributedpapersandinvitedtalks AT ascmpeking computermathematics9thasiansymposiumascm2009fukuokadecember200910thasiansymposiumascm2012beijingoctober2012contributedpapersandinvitedtalks |