Title: Computer mathematics : proceedings of fifth Asian Symposium(ASCM 2001), Matsuyama, Japan, 26-28 September 2001
Abstract: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 En...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.Read More
Publication Year: 2001
Publication Date: 2001-01-01
Language: en
Type: book
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot