Holdings: Computer Mathematics

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 ; contributed papers and invited talks

Saved in:

Bibliographic Details
Other Authors:	Feng, Ruyong (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Heidelberg [u.a.] Springer 2014
Subjects:	Computermathematik Konferenzschrift > 2007 > Peking Konferenzschrift > 2009 > Fukuoka
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XVI, 503 S. Ill., graph. Darst. 235 mm x 155 mm
ISBN:	9783662437988 9783662437995

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items