Author:
Publisher:
ISBN:
Category : Education
Languages : en
Pages : 180
Book Description
American College and Private School Directory
College and Private School Directory of the United States
Computer Mathematics
Author: Kiyoshi Shirayanagi
Publisher: World Scientific
ISBN: 9789812799661
Category : Computers
Languages : en
Pages : 244
Book Description
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. 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. Readership: Researchers, engineers, academics and graduate students in numerical & computational mathematics, theoretical computer science, mathematical modeling, analysis & differential equations, software engineering/programming, algebra & number theory, and logic.
Publisher: World Scientific
ISBN: 9789812799661
Category : Computers
Languages : en
Pages : 244
Book Description
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. 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. Readership: Researchers, engineers, academics and graduate students in numerical & computational mathematics, theoretical computer science, mathematical modeling, analysis & differential equations, software engineering/programming, algebra & number theory, and logic.
Peace Corps Times
Author: Peace Corps (U.S.)
Publisher:
ISBN:
Category : Peace Corps (U.S.)
Languages : en
Pages : 288
Book Description
Publisher:
ISBN:
Category : Peace Corps (U.S.)
Languages : en
Pages : 288
Book Description
Educational Aid Society College & Private School Directory of the United States
China Foreign Enterprise Directory 3rd Edition - 2006
Author:
Publisher: China Economic Review Publishing
ISBN: 9889825473
Category :
Languages : en
Pages : 922
Book Description
Publisher: China Economic Review Publishing
ISBN: 9889825473
Category :
Languages : en
Pages : 922
Book Description
The University Magazine
Author:
Publisher:
ISBN:
Category : Universities and colleges
Languages : en
Pages : 714
Book Description
Publisher:
ISBN:
Category : Universities and colleges
Languages : en
Pages : 714
Book Description
The New International Encyclopaedia
Author: Frank Moore Colby
Publisher:
ISBN:
Category : Encyclopedias and dictionaries
Languages : en
Pages : 946
Book Description
Publisher:
ISBN:
Category : Encyclopedias and dictionaries
Languages : en
Pages : 946
Book Description
Fiscal Year 1998 Budget Authorization Request
Author: United States. Congress. House. Committee on Science. Subcommittee on Energy and Environment
Publisher:
ISBN:
Category : Federal aid to research
Languages : en
Pages : 996
Book Description
Publisher:
ISBN:
Category : Federal aid to research
Languages : en
Pages : 996
Book Description
Official Gazette of the United States Patent Office
Author: United States. Patent Office
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 1704
Book Description
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 1704
Book Description