Result 21 to 40 of 1944 total
Symbolic computation and the cyclicity problem for singularities. (English)
J. Symb. Comput. 47, No. 10, 1140-1153 (2012).
21
Special issue: Symbolic computation and its applications. Selected papers based on the presentations at the conference on symbolic computation and its applications (SCA 2010), Maribor, Slovenia, June 30‒July 2, 2010. (English)
J. Symb. Comput. 47, No. 10, 1154-1308 (2012).
22
$\lim +, δ^+$, and non-permutability of $β$-steps. (English)
J. Symb. Comput. 47, No. 9, 1109-1135 (2012).
23
Projection and scope-determined circumscription. (English)
J. Symb. Comput. 47, No. 9, 1089-1108 (2012).
24
On the verification of security-aware E-services. (English)
J. Symb. Comput. 47, No. 9, 1066-1088 (2012).
25
Incremental variable splitting. (English)
J. Symb. Comput. 47, No. 9, 1046-1065 (2012).
26
Model evolution with equality ‒ revised and implemented. (English)
J. Symb. Comput. 47, No. 9, 1011-1045 (2012).
27
First-order theorem proving: foreword. (English)
J. Symb. Comput. 47, No. 9, 1009-1010 (2012).
28
Variant quantifier elimination. (English)
J. Symb. Comput. 47, No. 7, 883-901 (2012).
29
Fast simplifications for Tarski formulas based on monomial inequalities. (English)
J. Symb. Comput. 47, No. 7, 859-882 (2012).
30
Multihomogeneous resultant formulae for systems with scaled support. (English)
J. Symb. Comput. 47, No. 7, 820-842 (2012).
31
Efficient algorithms for order basis computation. (English)
J. Symb. Comput. 47, No. 7, 793-819 (2012).
32
Fast arithmetics in Artin-Schreier towers over finite fields. (English)
J. Symb. Comput. 47, No. 7, 771-792 (2012).
33
Computing the homology of groups: the geometric way. (English)
J. Symb. Comput. 47, No. 7, 752-770 (2012).
34
An algorithm for computing compatibly Frobenius split subvarieties. (English)
J. Symb. Comput. 47, No. 8, 996-1008 (2012).
35
Trading order for degree in creative telescoping. (English)
J. Symb. Comput. 47, No. 8, 968-995 (2012).
36
The Karatsuba integer middle product. (English)
J. Symb. Comput. 47, No. 8, 954-967 (2012).
37
Sylvester’s double sums: an inductive proof of the general case. (English)
J. Symb. Comput. 47, No. 8, 942-953 (2012).
38
On the relation between the MXL family of algorithms and Gröbner basis algorithms. (English)
J. Symb. Comput. 47, No. 8, 926-941 (2012).
39
On the isotopic meshing of an algebraic implicit surface. (English)
J. Symb. Comput. 47, No. 8, 903-925 (2012).
40
Result 21 to 40 of 1944 total
Start
Contact
Print
General Help
