Verfügbarkeit: ISSAC 99 :: THWS Bibkatalog

ISSAC 99: July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ISSAC Vancouver, British Columbia (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	New York, NY ACM Press 1999
Schlagworte:	Computerarithmetik Computeralgebra Konferenzschrift > 1999 > Vancouver British Columbia
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XXII, 311 S. Ill., graph. Darst.
ISBN:	1581130732

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV012614001
003	DE-604
005	20051108
007	t\|
008	990617s1999 xx ad\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 1581130732 \|9 1-58113-073-2
035			\|a (OCoLC)476859093
035			\|a (DE-599)BVBBV012614001
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-739 \|a DE-29T \|a DE-20 \|a DE-91G \|a DE-11 \|a DE-706
111	2		\|a ISSAC \|n 24 \|d 1999 \|c Vancouver, British Columbia \|j Verfasser \|0 (DE-588)3044571-1 \|4 aut
245	1	0	\|a ISSAC 99 \|b July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation \|c Sam Dooley, ed.
264		1	\|a New York, NY \|b ACM Press \|c 1999
300			\|a XXII, 311 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Computerarithmetik \|0 (DE-588)4135485-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computeralgebra \|0 (DE-588)4010449-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1999 \|z Vancouver British Columbia \|2 gnd-content
689	0	0	\|a Computerarithmetik \|0 (DE-588)4135485-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Computeralgebra \|0 (DE-588)4010449-7 \|D s
689	1		\|5 DE-604
700	1		\|a Dooley, Sam \|e Sonstige \|4 oth
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008567475&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-008567475

Datensatz im Suchindex

_version_	1820868385835057152
adam_text	Table of Contents Foreword from the General Chair . iii Foreword from the Program Chair . v Foreword from the Editor . vii Table of Contents .ix Conference Organization .xiii Sponsors .xv Abstracts of Invited Presentations .xvii Abstracts of Tutorial Presentations .xxi Session 1: Polynomial Systems Thursday, July 29, 08:30-10:00 Solving Some Overdetermined Polynomial Systems . 1 Маге Giusti, Eric Schost A New Algorithm for the Geometrie Decomposition of a Variety . 9 Mohamed Elkadi, Bernard Mourrain Base Field Restriction Techniques for Parametric Curves . 17 Carlos Andradas, Tomáš Recio, J. Rafael Sendra On Multiple Zeros of Systems of Algebraic Equations . 23 Shuichi Moritsugu, Kazuko Kuriyama Session 2: Non-commutât i vity Problems Thursday, July 29, 11:00-12:05 Commutativity Theorems: Examples in Search of Algorithms . 31 John J. Wavrik Constructing Bases of Finitely Presented Lie Algebras using Gröbner Bases in Free Algebras . 37 W. A. de Graaf, J. Wisìiceny Efficient Construction of Drinfeľd Doubles . 45 Gerard P. Brunick, Edward L. Green, Lenwood S. Heath. Craig A. Struble Invited Talk 1: Jonathan Michael Borwein Experimental Mathematics and Exact Computation .xvii Thursday. Juh 29. 13:30-14:30 IX Session 3: Polynomials Thursday, July 29, 14:30-15:35 Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields .53 Victor Shoup On the Genericity of the Modular Polynomial GCD Algorithm . 59 Erich Kaltofen, Michael B. Monagan On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields . 67 Zeljko Zilic, Katarzyna Radecka Session 4: Seminumerical Algorithms Thursday, July 29, 16:00-17:05 How Fast Can We Compute Products? . 75 V. Kislenkov, V. Mitrofanov, E. Zima Computing Special Powers in Finite Fields: Extended Abstract . 83 Joachim von zur Gathen, Michael Nöcker On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm: Extended Abstract . 91 Igor Pak, Sergey Bratus Session 5: Asymptotics and Series Expansions Friday, July 30, 08:30-10:00 Star Products and the Representation of Asymptotic Growth . 97 John Shackell Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems .105 C. J. Rust, G. J. Reid, A. D. Wittkopf Formal Solutions of Scalar Singularly-Perturbed Linear Differential Equations .113 Y. O. Macutan A Reduction Algorithm for Matrices Depending on a Parameter .121 C.-P. Jeannerod, E. Pflügel Session 6: Quantifier Elimination Friday. July 30, 10:30-12:00 Mixed Real-Integer Linear Quantifier Elimination .129 Volker Weispfenning Guaranteed Solution Formula Construction .137 Christopher W. Brown On Projection in CAD-Based Quantifier Elimination with Equational Constraint .145 Scott McCallum P-adic Constraint Solving .151 Andreas Dolzmann, Thomas Sturm Invited Talk 2: Michael F. Singer Galois Theory of Difference Equations .xviii Friday, July 30, 13:30 14:30 Session 7: Differential and Difference Equations I Friday, July 30, 14:30 15:35 On Factorization of Nonlinear Ordinary Differential Equations .159 S. P. Tsarev Rational Normal Form for Dynamical Systems by Carleman Linearization .165 Guoting Chen, Jean Della Dora Solving Linear Ordinary Differential Equations over C(x, eJ ¡^dx) .173 Manuel Bronstein, Anne Fredet Session 8: Linear Algebra Friday, July 30, 16:00-17:05 Diophantine Linear System Solving .181 Thorn Mulders, Arne Storjohann Shifted Normal Forms of Polynomial Matrices .189 Bernhard Beckermann, George Labahn, Gilles Villard Fast Deterministic Computation of Determinants of Dense Matrices .197 John Abbott, Manuel Bronstein, Thom Mulders Session 9: Symbolic-Numerics Saturday, July 31, 08:30-09:35 Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems .205 Markus A. Hitz, Erich Kaltofen, Lakshman Y. N. Approximate Polynomial Decomposition .213 Robert M. Corless, Mark W. Giesbrecht, David J. Jeffrey, Stephen M. Watt ADrien: An Implementation of Automatic Differentiation in Maple .221 Dominique Villard, Michael B. Monagan Session 10: System Issues Saturday, July 31, 10:30-12:00 Automated Coercion for Axiom .229 Nicolas J. Doye Symbolic Computation in Јала: An Appraisement .237 Laurent Bernardin, Bruce Char, Erich Kaltofen Specifying Implementations .245 Laureano Lambari. Vico Pascual, Julio Rubio Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study .253 A. A. Adams. H. Gottliebsen. S. A. Linton. U. Martin Invited Talk 3: Bernd Sturmfels Gröbner Deformations of Hypergeometric Differential Equations .xix Saturday, July 31, 13:30-14:30 Session 11: Differential and Difference Equations II Saturday, July 31, 14:30^15:35 About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters .261 Delphine Boucher Desingularization of Linear Difference Operators with Polynomial Coefficients .269 Sergei A. Abramov, Mark van Hoeij Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and Factorization .277 M. A. Barkatou Session 12: Interface and Communication Saturday, July 31, 16:00-17:05 The Design of a Customizable Component to Display and Edit Formulas .283 Olivier Arsac, Stephane Dalmas, Marc Gaëtano Design and Protocol for Internet Accessible Mathematical Computation .291 PaulS. Wang Client-Server Communication Standards for Mathematical Computation .299 Ha Le. Chris Hewlett Author Index .307 Bibliography .309 Xli
any_adam_object	1
author_corporate	ISSAC Vancouver, British Columbia
author_corporate_role	aut
author_facet	ISSAC Vancouver, British Columbia
author_sort	ISSAC Vancouver, British Columbia
building	Verbundindex
bvnumber	BV012614001
classification_rvk	SS 1999
ctrlnum	(OCoLC)476859093 (DE-599)BVBBV012614001
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012614001</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051108</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">990617s1999 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581130732</subfield><subfield code="9">1-58113-073-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)476859093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012614001</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ISSAC</subfield><subfield code="n">24</subfield><subfield code="d">1999</subfield><subfield code="c">Vancouver, British Columbia</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3044571-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ISSAC 99</subfield><subfield code="b">July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation</subfield><subfield code="c">Sam Dooley, ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Press</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 311 S.</subfield><subfield code="b">Ill., graph. Darst.</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">Computerarithmetik</subfield><subfield code="0">(DE-588)4135485-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</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">1999</subfield><subfield code="z">Vancouver British Columbia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computerarithmetik</subfield><subfield code="0">(DE-588)4135485-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dooley, Sam</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=008567475&sequence=000002&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-008567475</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1999 Vancouver British Columbia gnd-content
genre_facet	Konferenzschrift 1999 Vancouver British Columbia
id	DE-604.BV012614001
illustrated	Illustrated
indexdate	2025-01-10T13:23:32Z
institution	BVB
institution_GND	(DE-588)3044571-1
isbn	1581130732
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008567475
oclc_num	476859093
open_access_boolean
owner	DE-739 DE-29T DE-20 DE-91G DE-BY-TUM DE-11 DE-706
owner_facet	DE-739 DE-29T DE-20 DE-91G DE-BY-TUM DE-11 DE-706
physical	XXII, 311 S. Ill., graph. Darst.
publishDate	1999
publishDateSearch	1999
publishDateSort	1999
publisher	ACM Press
record_format	marc
spelling	ISSAC 24 1999 Vancouver, British Columbia Verfasser (DE-588)3044571-1 aut ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation Sam Dooley, ed. New York, NY ACM Press 1999 XXII, 311 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computerarithmetik (DE-588)4135485-0 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Vancouver British Columbia gnd-content Computerarithmetik (DE-588)4135485-0 s DE-604 Computeralgebra (DE-588)4010449-7 s Dooley, Sam Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008567475&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation Computerarithmetik (DE-588)4135485-0 gnd Computeralgebra (DE-588)4010449-7 gnd
subject_GND	(DE-588)4135485-0 (DE-588)4010449-7 (DE-588)1071861417
title	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
title_auth	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
title_exact_search	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
title_full	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation Sam Dooley, ed.
title_fullStr	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation Sam Dooley, ed.
title_full_unstemmed	ISSAC 99 July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation Sam Dooley, ed.
title_short	ISSAC 99
title_sort	issac 99 july 29 31 1999 simon fraser university vancouver bc canada proceedings of the 1999 international symposium on symbolic and algebraic computation
title_sub	July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada ; proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
topic	Computerarithmetik (DE-588)4135485-0 gnd Computeralgebra (DE-588)4010449-7 gnd
topic_facet	Computerarithmetik Computeralgebra Konferenzschrift 1999 Vancouver British Columbia
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008567475&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT issacvancouverbritishcolumbia issac99july29311999simonfraseruniversityvancouverbccanadaproceedingsofthe1999internationalsymposiumonsymbolicandalgebraiccomputation AT dooleysam issac99july29311999simonfraseruniversityvancouverbccanadaproceedingsofthe1999internationalsymposiumonsymbolicandalgebraiccomputation

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge