3454 search results - page 58 / 691 » Modern computer algebra |
166
click to vote
CIARP
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. The usage of Conformal Geometric Algebra leads to algorithms that can be formulated in a very clear and easy to grasp way. But it can also increase the performance of an ...
172
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
145
Voted
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
102
click to vote
JSC
2006
15 years 5 months ago
2006
We describe explicit methods of exhibiting elements of the Brauer groups of diagonal quartic surfaces. Using these methods, we compute the algebraic Brauer
155
Voted
JC
2000
15 years 5 months ago
2000
Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm ...