Journal of Symbolic Computation, Volume 33 Contents and Author Index

Volltext

Journal of Symbolic Computation, Volume 32 Contents and Author Index

Volltext

Andreas Weiermann. Complexity bounds for some finite forms of Kruskal's Theorem. Journal of Symbolic Computation, vol. 18 (1994), pp. 463–448. - Andreas Weiermann. Termination proofs for term rewriting systems with lexicographic path ordering imply multiply recursive derivation lengths. Theoretical Computer Science, vol. 139 (1995), pp. 355–362. - Andreas Weiermann. Bounding derivation lengths with functions from the slow growing hierarchy. Archive of Mathematical Logic, vol. 37 (1998), pp. 427– von Moser, Georg

Volltext

Abstracts of papers in the Journal of Symbolic Computation von Winkler, Franz

Volltext

Abstracts of papers in the Journal of Symbolic Computation von Winkler, Franz

Volltext

Abstracts of papers that appeared in the Journal of Symbolic Computation von Winkler, Franz

Volltext

A computational procedure on higher‐dimensional nilsolitons von Kadioglu, Hulya

Volltext

Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal von Buchberger, Bruno

Volltext

Mathematics, Computer Science and Logic - a Never Ending Story: The Bruno Buchberger Festschrift von Paule, Peter

Volltext

Practical graph isomorphism, II von McKay, Brendan D., Piperno, Adolfo

Volltext

A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over P 1 von Pichon-Pharabod, Eric

Volltext

Good global behavior of offsets to plane algebraic curves von Alcazar, Juan Gerardo

Volltext

Effective bounds for the consistency of differential equations von Gustavson, Richard, Leon Sanchez, Omar

Volltext

Improved construction for universality of determinant and permanent von Liu, Hong, Regan, Kenneth W.

Volltext

On cyclic codes over Z q [ u ] / 〈 u 2 〉 and their enumeration von Temiz, Fatih, Siap, Irfan

Volltext

WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics von Alzati, Alberto, Di Tullio, Daniele, Gyawali, Manoj, Tortora, Alfonso

Volltext

Mathematical and computer algebra techniques in cryptology von Faugère, Jean-Charles, Gómez-Pérez, Domingo, Gutierrez, Jaime, Perret, Ludovic

Volltext

Universal equations for maximal isotropic Grassmannians von Seynnaeve, Tim, Tairi, Nafie

Volltext

Matrix factorizations of the discriminant of S von Faber, Eleonore, Ingalls, Colin, May, Simon, Talarico, Marco

Volltext

Editorial Board

Volltext