Result 1 to 20 of 1944 total
Minimal generating sets of non-modular invariant rings of finite groups. (English)
J. Symb. Comput. 48, 101-109 (2013).
1
Gröbner basis for norm-trace codes. (English)
J. Symb. Comput. 48, 54-63 (2013).
2
Gröbner-free normal forms for Boolean polynomials. (English)
J. Symb. Comput. 48, 37-53 (2013).
3
Invariant functions and invariant relations: an alternative to invariant assertions. (English)
J. Symb. Comput. 48, 1-36 (2013).
4
On the computing time of the continued fractions method. (English)
J. Symb. Comput. 47, No. 11, 1372-1412 (2012).
5
Representations of $q$-orthogonal polynomials. (English)
J. Symb. Comput. 47, No. 11, 1347-1371 (2012).
6
Discovering invariants via simple component analysis. (English)
J. Symb. Comput. 47, No. 12, 1533-1560 (2012).
7
Applying abstract acceleration to (co-)reachability analysis of reactive programs. (English)
J. Symb. Comput. 47, No. 12, 1512-1532 (2012).
8
Acceleration of the abstract fixpoint computation in numerical program analysis. (English)
J. Symb. Comput. 47, No. 12, 1479-1511 (2012).
9
Abstract interpretation meets convex optimization. (English)
J. Symb. Comput. 47, No. 12, 1416-1446 (2012).
10
Special issue: Selected papers based on the presentations at the 3rd international workshop on invariant generation, WING 2010, Edinburgh, UK, July 21, 2010. (English)
J. Symb. Comput. 47, No. 12, 1413-1560 (2012).
11
Computing Gröbner bases of pure binomial ideals via submodules of $\Bbb Z^n$. (English)
J. Symb. Comput. 47, No. 10, 1297-1308 (2012).
12
Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions. (English)
J. Symb. Comput. 47, No. 10, 1290-1296 (2012).
13
A symbolic summation approach to Feynman integral calculus. (English)
J. Symb. Comput. 47, No. 10, 1267-1289 (2012).
14
Algorithmic Thomas decomposition of algebraic and differential systems. (English)
J. Symb. Comput. 47, No. 10, 1233-1266 (2012).
15
Fraction-free algorithm for the computation of diagonal forms matrices over ore domains using Gröbner bases. (English)
J. Symb. Comput. 47, No. 10, 1214-1232 (2012).
16
Serre’s reduction of linear partial differential systems with holonomic adjoints. (English)
J. Symb. Comput. 47, No. 10, 1192-1213 (2012).
17
Links between two semisymmetric graphs on 112 vertices via association schemes. (English)
J. Symb. Comput. 47, No. 10, 1175-1191 (2012).
18
Isochronicity and normal forms of polynomial systems of ODEs. (English)
J. Symb. Comput. 47, No. 10, 1163-1174 (2012).
19
Discussion on polynomials having polynomial iterative roots. (English)
J. Symb. Comput. 47, No. 10, 1154-1162 (2012).
20
Result 1 to 20 of 1944 total
Start
Contact
Print
General Help
