Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Erscheinungszeitraum
Fachgebiete(RVK)
Schlagwörter
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Berlin u.a. : Springer
    UID:
    b3kat_BV035795956
    Umfang: 1 Online-Ressource (VIII, 499 S.)
    ISBN: 3540515178 , 0387515178
    Serie: Lecture notes in computer science 378
    Sprache: Englisch
    Schlagwort(e): Computeralgebra ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    almahu_BV002544653
    Umfang: VIII, 499 S. : , graph. Darst.
    ISBN: 3-540-51517-8 , 0-387-51517-8
    Serie: Lecture notes in computer science 378
    Sprache: Englisch
    Schlagwort(e): Computeralgebra ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    gbv_595129471
    Umfang: Online-Ressource (VIII, 499 S.)
    Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540482079
    Serie: Lecture notes in computer science 378
    Inhalt: Computer algebra in physical research of jinr -- Complexity of quantifier elimination in the theory of ordinary differential equations -- Groups and polynomials -- Symbolic computation in relativity theory -- A zero structure theorem for polynomial-equations-solving and its applications -- Some algorithms of rational function algebra -- The computer algebra system simath -- Converting SAC-2 code to lisp -- Computer algebra system for continued fractions manipulation -- Computing a lattice basis from a system of generating vectors -- Expression optimization using high-level knowledge -- Catfact: Computer algebraic tools for applications of catastrophe theory -- Computer algebra application for investigating integrability of nonlinear evolution systems -- Computer classification of integrable seventh order MKdV — Like equations -- Symbolic computation and the finite element method -- Application of lie group and computer algebra to nonliner mechanics -- Hierarchical symbolic computations in the analysis of large-scale dynamical systems -- Schoonschip for computing of gravitino interaction cross sections in N=2 supergravity -- Creation of efficient symbolic-numeric interface -- Automatic generation of FORTRAN-Coded Jacobians and Hessians -- Laplace transformations in reduce 3 -- Reduce 3. 2 on iAPX86/286 — based personal computers -- Some extensions and applications of reduce system -- Infinite structures in scratchpad II -- Application of a structured LISP system to computer algebra -- Number-theoretic transforms of prescribed length -- A hybrid algebraic-numeric system ANS and its preliminary implementation -- The calculation of QCD triangular Feynman graphs in the external gluonic field using reduce-2 system -- Computer algebra application for determining local symmetries of differential equations -- Trace calculations for gauge theories on a personal computer -- Evaluation of plasma fluid equations collision integrals using reduce -- Computerized system of analytic transformations for analysing of differential equations -- Integral equation with hidden eigenparameter solver: Reduce + fortran in tandem -- Combinatorial aspects of simplification of algebraic expressions -- Dynamic program improvement -- Computer algebra and numerical convergence -- Computer algebra and computation of puiseux expansions of algebraic functions -- Boundary value problems for the laplacian in the Euclidean space solved by symbolic computation -- The methods for symbolic evaluation of determinants and their realization in the planner-analytic system -- Transformation of computation formulae in systems of recurrence relations -- "Dimreg" the package for calculations in the dimensional regularization with 4-dimensional ?5-matrix in quantum field theory -- CTS — Algebraic debugging system for reduce programs -- Applications of computer algebra in solid modelling -- Implementation of a geometry theorem proving package in SCRATCHPAD II -- Collision of convex objects -- Solving algebraic equations via Buchberger's algorithm -- Primary ideal decomposition -- Solving systems of algebraic equations by using gröbner bases -- Properties of Gröbner bases under specializations -- The computation of polynomial greatest common divisors over an algebraic number field -- An extension of buchberger's algorithm to compute all reduced gröbner bases of a polynomial ideal -- Singularities of moduli spaces -- Radical simplification using algebraic extension fields -- Hermite normal forms for integer matrices -- Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal form of polynomial matrices -- Fonctions symétriques et changements de bases -- Complexity of standard bases in projective dimension zero -- Gröbner bases for polynomial ideals over commutative regular rings -- Some algebraic algorithms based on head term elimination over polynomial rings -- Algorithmic determination of the jacobson radical of monomial algebras -- A recursive algorithm for the computation of the hilbert polynomial -- An affine point of view on minima finding in integer lattices of lower dimensions -- A combinatorial and logical approach to linear-time computability (extended abstract) -- Complexity of computation of embedded resolution of algebraic curves -- Polynomial factorisation: an exploration of Lenstra's algorithm -- A matrix-approach for proving inequalities -- Using automatic program synthesizer as a problem solver: Some interesting experiments -- Strong splitting rules in automated theorem proving -- Towards a refined classification of geometric search and computation problems -- Matrix Padé fractions -- Computation of generalized Padé approximants -- A critical pair criterion for completion modulo a congruence -- Shortest paths of a disc inside a polygonal region -- Rabin's width of a complete proof and the width of a semialgebraic set -- Practical aspects of symbolic integration over Q(x) -- Integration: Solving the Risch differential equation -- Computation and simplification in lie fields -- A package for the analytic investigation and exact solution of differential equations -- An algorithm for the integration of elementary functions.
    Inhalt: This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not published elsewhere, and a few invited lectures summarising the state of the art. Computer algebra is the science of using computers to do algebraic calculations, rather than the purely arithmetic calculations which we all know computers can do. These calculations may be polynomial-like calculations - one thread of the conference was devoted to polynomial algorithms - or may relate to other areas of mathematics such as integration, the solution of differential equations, or geometry - a second thread was devoted to those topics. The calculations can be applied in a wide range of scientific and engineering subjects, and in branches of mathematics. Physics has benefitted especially from these calculations, and the proceedings contain many papers on this, and also papers on applications in computer aided design and robotics, to name but a few other applications. The third thread of the proceedings was devoted to these applications and to the computer algebra systems which perform these calculations.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 3540515178
    Weitere Ausg.: ISBN 9783540515173
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Leipzig, GDR, June 2 - 5, 1987 Berlin : Springer, 1989 ISBN 9783540515173
    Weitere Ausg.: ISBN 3540515178
    Weitere Ausg.: ISBN 0387515178
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg : Springer Berlin Heidelberg
    UID:
    gbv_1649278330
    Umfang: Online-Ressource
    ISBN: 9783540482079
    Serie: Lecture Notes in Computer Science 378
    Weitere Ausg.: ISBN 9783540515173
    Weitere Ausg.: Buchausg. Leipzig, GDR, June 2 - 5, 1987 Berlin : Springer, 1989 ISBN 9783540515173
    Weitere Ausg.: ISBN 3540515178
    Weitere Ausg.: ISBN 0387515178
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Buch
    Buch
    Berlin : Springer
    UID:
    gbv_1647873541
    Umfang: VIII, 499 S.
    ISBN: 9783540515173 , 3540515178 , 0387515178
    Serie: Proceedings / European Conference on Computer Algebra 1987
    Anmerkung: Literaturangaben
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Davenport, James Harold, 1953 - EUROCAL '87 Berlin, Heidelberg : Springer Berlin Heidelberg, 1989 ISBN 9783540482079
    Weitere Ausg.: Erscheint auch als Online-Ausgabe EUROCAL (1987 : Leipzig) EUROCAL '87 Berlin [u.a.] : Springer, 1989 ISBN 9783540482079
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Konferenzschrift
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    New York, NY :Springer New York :
    UID:
    almahu_9949972085802882
    Umfang: VIII, 142 p. , online resource.
    Ausgabe: 1st ed. 2007.
    ISBN: 9780387688121
    Serie: Information Science and Statistics,
    Inhalt: No statistical model is "true" or "false," "right" or "wrong"; the models just have varying performance, which can be assessed. The main theme in this book is to teach modeling based on the principle that the objective is to extract the information from data that can be learned with suggested classes of probability models. The intuitive and fundamental concepts of complexity, learnable information, and noise are formalized, which provides a firm information theoretic foundation for statistical modeling. Inspired by Kolmogorov's structure function in the algorithmic theory of complexity, this is accomplished by finding the shortest code length, called the stochastic complexity, with which the data can be encoded when advantage is taken of the models in a suggested class, which amounts to the MDL (Minimum Description Length) principle. The complexity, in turn, breaks up into the shortest code length for the optimal model in a set of models that can be optimally distinguished from the given data and the rest, which defines "noise" as the incompressible part in the data without useful information. Such a view of the modeling problem permits a unified treatment of any type of parameters, their number, and even their structure. Since only optimally distinguished models are worthy of testing, we get a logically sound and straightforward treatment of hypothesis testing, in which for the first time the confidence in the test result can be assessed. Although the prerequisites include only basic probability calculus and statistics, a moderate level of mathematical proficiency would be beneficial. The different and logically unassailable view of statistical modelling should provide excellent grounds for further research and suggest topics for graduate students in all fields of modern engineering, including and not restricted to signal and image processing, bioinformatics, pattern recognition, and machine learning to mention just a few. The author is an Honorary Doctor and Professor Emeritus of the Technical University of Tampere, Finland, a Fellow of Helsinki Institute for Information Technology, and visiting Professor in the Computer Learning Research Center of University of London, Holloway, England. He is also a Foreign Member of Finland's Academy of Science and Letters, an Associate Editor of IMA Journal of Mathematical Control and Information and of EURASIP Journal on Bioinformatics and Systems Biology. He is also a former Associate Editor of Source Coding of IEEE Transactions on Information Theory. The author is the recipient of the IEEE Information Theory Society's 1993 Richard W. Hamming medal for fundamental contributions to information theory, statistical inference, control theory, and the theory of complexity; the Information Theory Society's Golden Jubilee Award in 1998 for Technological Innovation for inventing Arithmetic Coding; and the 2006 Kolmogorov medal by University of London. He has also received an IBM Corporate Award for the MDL and PMDL Principles in 1991, and two best paper awards.
    Anmerkung: Information and Coding -- Shannon-Wiener Information -- Coding of Random Processes -- Statistical Modeling -- Kolmogorov Complexity -- Stochastic Complexity -- Structure Function -- Optimally Distinguishable Models -- The MDL Principle -- Applications.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9780387366104
    Weitere Ausg.: Printed edition: ISBN 9780387515175
    Weitere Ausg.: Printed edition: ISBN 9781441922670
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 038751178?
Meinten Sie 0387505172?
Meinten Sie 038711517x?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz