Sciweavers

3454 search results - page 26 / 691
» Modern computer algebra
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 10 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CSJM
2008
55views more  CSJM 2008»
13 years 10 months ago
Computing one of Victor Moll's irresistible integrals with computer algebra
We investigate a certain quartic integral from V. Moll's book "Irresistible Integrals" and demonstrate how it can be solved by computer algebra methods, namely by u...
Christoph Koutschan, Viktor Levandovskyy
COMPGEOM
2008
ACM
13 years 12 months ago
Exact geometric-topological analysis of algebraic surfaces
We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f
Eric Berberich, Michael Kerber, Michael Sagraloff
NSF
1994
Springer
151views Computer Vision» more  NSF 1994»
14 years 2 months ago
Algebraic Geometry and Object Representation in Computer Vision
The goal of algebraic geometry is to gain an understanding of the behaviour of functions related by polynomial relationships. Algebraic curves and surfaces having considerable adva...
Sylvain Petitjean
ICCS
2007
Springer
14 years 1 months ago
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
Abdallah Al Zain, Kevin Hammond, Philip W. Trinder...