skip to content
Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 Preview this item
ClosePreview this item
Checking...

Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001

Author: 白柳, 潔. ; ; Kiyoshi Shirayanagi; Kazuhiro Yokoyama
Publisher: River Edge, N.J. : World Scientific, ©2001.
Series: Lecture notes series on computing, v. 9.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: 白柳, 潔. ; ; Kiyoshi Shirayanagi; Kazuhiro Yokoyama
ISBN: 981024763X 9789810247638
OCLC Number: 48876290
Description: xi, 227 pages : illustrations ; 23 cm.
Contents: Solution of a Linear Differential Equations in the Form of Power Series and Its Application (T Kitamoto); On the Specification for Solvers of Polynomial Systems (D Lazard); OMEI: An Open Mathematical Engine Interface (W Liao et al.); Polynomial Solutions of Algebraic Differential Equations (Y Ma & X-S Gao); FIGUE: Mathematical Formula Layout with Interaction and MathML Support (H Naciri & L Rideau); An Inductive Approach to Formalizing Notions of Number Theory Proofs (T M Rasmussen); A Generalized Algorithm for Computing Characteristic Sets (D Wang); Action Refinement for Timed LOTOS (J Wu); Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations Using Symbolic Computation (R-X Yao & Z-B Li); and other papers.
Series Title: Lecture notes series on computing, v. 9.
Responsibility: editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/48876290> # Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "48876290" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/802577579#Place/river_edge_n_j> ; # River Edge, N.J.
   schema:about <http://experiment.worldcat.org/entity/work/data/802577579#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/004.0151/e21/> ;
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/14125506> ; # 潔. 白柳
   schema:contributor <http://viaf.org/viaf/257027235> ; # Kazuhiro Yokoyama
   schema:copyrightYear "2001" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/802577579#Meeting/asian_symposium_on_computer_mathematics_5th_2001_matsuyama_japan> ; # Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama, Japan)
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/802577579> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/802577579#Series/lecture_notes_series_on_computing> ; # Lecture notes series on computing ;
   schema:name "Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001"@en ;
   schema:productID "48876290" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/48876290#PublicationEvent/river_edge_n_j_world_scientific_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/802577579#Agent/world_scientific> ; # World Scientific
   schema:workExample <http://worldcat.org/isbn/9789810247638> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/48876290> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/802577579#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/802577579#Meeting/asian_symposium_on_computer_mathematics_5th_2001_matsuyama_japan> # Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama, Japan)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/802577579#Place/matsuyama_japan> ; # Matsuyama, Japan)
   schema:name "Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/802577579#Place/matsuyama_japan> # Matsuyama, Japan)
    a schema:Place ;
   schema:name "Matsuyama, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/802577579#Place/river_edge_n_j> # River Edge, N.J.
    a schema:Place ;
   schema:name "River Edge, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/802577579#Series/lecture_notes_series_on_computing> # Lecture notes series on computing ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/48876290> ; # Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001
   schema:name "Lecture notes series on computing ;" ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/14125506> # 潔. 白柳
    a schema:Person ;
   schema:familyName "Shirayanagi" ;
   schema:givenName "Kiyoshi" ;
   schema:name "潔. 白柳"@en ;
   schema:name "Kiyoshi Shirayanagi"@en ;
    .

<http://viaf.org/viaf/257027235> # Kazuhiro Yokoyama
    a schema:Person ;
   schema:familyName "Yokoyama" ;
   schema:givenName "Kazuhiro" ;
   schema:name "Kazuhiro Yokoyama" ;
    .

<http://worldcat.org/isbn/9789810247638>
    a schema:ProductModel ;
   schema:isbn "981024763X" ;
   schema:isbn "9789810247638" ;
    .

<http://www.worldcat.org/title/-/oclc/48876290>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/48876290> ; # Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001
   schema:dateModified "2018-03-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.