Sciweavers

    47
    Voted
    JSC
    2002
    39views more  JSC 2002»
    Continuously Parameterized Symmetries and Buchberger's Algorithm
    15 years 14 days ago
    Continuously Parameterized Symmetries and Buchberger's Algorithm
    Download  www.ricam.oeaw.ac.at
    Ralf Hemmecke
    claim paper
    Read More »
    59
    Voted
    JSC
    2002
    58views more  JSC 2002»
    Computing Rational Forms of Integer Matrices
    15 years 14 days ago
    Computing Rational Forms of Integer Matrices
    Download  www.cs.uwaterloo.ca
    Mark Giesbrecht, Arne Storjohann
    claim paper
    Read More »
    122
    Voted
    JSC
    2002
    84views more  JSC 2002»
    A Constructive Algebraic Hierarchy in Coq
    15 years 14 days ago
    A Constructive Algebraic Hierarchy in Coq
    Download  www.cs.ru.nl
    We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
    Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan ...
    claim paper
    Read More »
    49
    Voted
    JSC
    2002
    56views more  JSC 2002»
    Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic
    15 years 14 days ago
    Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic
    Download  www.ricam.oeaw.ac.at
    Elisabetta Fortuna, Patrizia M. Gianni, Barry M. T...
    claim paper
    Read More »
    80
    Voted
    JSC
    2002
    68views more  JSC 2002»
    Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups
    15 years 14 days ago
    Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups
    Download  www.lib.uoi.gr
    , Allen C.) see Innovations in teaching abstract algebra, 2003b:00019 Littlewood, D. E. The skeleton key of mathematics. (English summary) 2003j:01046 Magnin, Louis Quelques questi...
    Bettina Eick
    claim paper
    Read More »
    JSC
    2002
    58views more  JSC 2002»
    Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices
    15 years 14 days ago
    Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices
    Download  comet.lehman.cuny.edu
    Ioannis Z. Emiris, Victor Y. Pan
    claim paper
    Read More »
    53
    Voted
    JSC
    2002
    42views more  JSC 2002»
    Linear Differential Operators for Polynomial Equations
    15 years 14 days ago
    Linear Differential Operators for Polynomial Equations
    Download  www4.ncsu.edu
    Olivier Cormier, Michael F. Singer, Barry M. Trage...
    claim paper
    Read More »
    53
    Voted
    JSC
    2002
    40views more  JSC 2002»
    A Fast Euclidean Algorithm for Gaussian Integers
    15 years 14 days ago
    A Fast Euclidean Algorithm for Gaussian Integers
    Download  www.csie.nuk.edu.tw
    George E. Collins
    claim paper
    Read More »
    60
    Voted
    JSC
    2002
    51views more  JSC 2002»
    Identities for the Associator in Alternative Algebras
    15 years 14 days ago
    Identities for the Associator in Alternative Algebras
    Download  math.usask.ca
    Murray R. Bremner, Irvin Roy Hentzel
    claim paper
    Read More »
    JSC
    2002
    51views more  JSC 2002»
    Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
    15 years 14 days ago
    Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
    Download  www.ginac.de
    Christian Bauer, Alexander Frink, Richard Kreckel
    claim paper
    Read More »
    « first‹ previous12
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.