Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers /
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
Σειρά: | Lecture Notes in Computer Science,
3519 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Computer Algebra and Applications
- On Wintner’s Conjecture About Central Configurations
- Polynomial General Solutions for First Order Autonomous ODEs
- The Newton Polygon Method for Differential Equations
- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems
- Hybrid Method for Solving New Pose Estimation Equation System
- Some Necessary Conditions on the Number of Solutions for the P4P Problem
- A Generalization of Xie-Nie Stability Criterion
- Formal Power Series and Loose Entry Formulas for the Dixon Matrix
- Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces
- Minimum-Cost Optimization in Multicommodity Logistic Chain Network
- A Survey of Moving Frames
- Invariant Geometric Motions of Space Curves
- Classification of Signature Curves Using Latent Semantic Analysis
- Hamiltonian System and Algebro-Geometric Solution Associated with Dispersive Long Wave Equation
- The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple
- Geometric Algebra and Applications
- Hybrid Matrix Geometric Algebra
- Intrinsic Differential Geometry with Geometric Calculus
- On Miquel’s Five-Circle Theorem
- On Averaging in Clifford Groups
- Combinatorics and Representation Theory of Lie Superalgebras over Letterplace Superalgebras
- Applications of Geometric Algebra in Robot Vision
- Twists – An Operational Representation of Shape
- Recent Applications of Conformal Geometric Algebra
- Applications of Conformal Geometric Algebra in Computer Vision and Graphics
- Conic Sections and Meet Intersections in Geometric Algebra
- nD Object Representation and Detection from Single 2D Line Drawing
- Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis
- A Unified and Complete Framework of Invariance for Six Points
- An Introduction to Logical Animation
- Recent Methods for Reconstructing Surfaces from Multiple Images.