FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1603374186> ?p ?o ?g. }

• W1603374186 abstract "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 grobner bases.- Properties of Grobner 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 grobner 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 symetriques et changements de bases.- Complexity of standard bases in projective dimension zero.- Grobner 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 Pade fractions.- Computation of generalized Pade 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." @default.
• W1603374186 created "2016-06-24" @default.
• W1603374186 creator A5043054372 @default.
• W1603374186 date "1989-08-09" @default.
• W1603374186 modified "2023-09-26" @default.
• W1603374186 title "EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings" @default.
• W1603374186 hasPublicationYear "1989" @default.
• W1603374186 type Work @default.
• W1603374186 sameAs 1603374186 @default.
• W1603374186 citedByCount "0" @default.
• W1603374186 crossrefType "book" @default.
• W1603374186 hasAuthorship W1603374186A5043054372 @default.
• W1603374186 hasConcept C110812573 @default.
• W1603374186 hasConcept C134306372 @default.
• W1603374186 hasConcept C136119220 @default.
• W1603374186 hasConcept C199360897 @default.
• W1603374186 hasConcept C202444582 @default.
• W1603374186 hasConcept C2778241615 @default.
• W1603374186 hasConcept C33923547 @default.
• W1603374186 hasConcept C41008148 @default.
• W1603374186 hasConceptScore W1603374186C110812573 @default.
• W1603374186 hasConceptScore W1603374186C134306372 @default.
• W1603374186 hasConceptScore W1603374186C136119220 @default.
• W1603374186 hasConceptScore W1603374186C199360897 @default.
• W1603374186 hasConceptScore W1603374186C202444582 @default.
• W1603374186 hasConceptScore W1603374186C2778241615 @default.
• W1603374186 hasConceptScore W1603374186C33923547 @default.
• W1603374186 hasConceptScore W1603374186C41008148 @default.
• W1603374186 hasLocation W16033741861 @default.
• W1603374186 hasOpenAccess W1603374186 @default.
• W1603374186 hasPrimaryLocation W16033741861 @default.
• W1603374186 hasRelatedWork W1483368599 @default.
• W1603374186 hasRelatedWork W1498871900 @default.
• W1603374186 hasRelatedWork W1534367765 @default.
• W1603374186 hasRelatedWork W1584524898 @default.
• W1603374186 hasRelatedWork W1585165666 @default.
• W1603374186 hasRelatedWork W1596348587 @default.
• W1603374186 hasRelatedWork W1617594461 @default.
• W1603374186 hasRelatedWork W1628745019 @default.
• W1603374186 hasRelatedWork W1974158837 @default.
• W1603374186 hasRelatedWork W1986084578 @default.
• W1603374186 hasRelatedWork W1999647319 @default.
• W1603374186 hasRelatedWork W2130918732 @default.
• W1603374186 hasRelatedWork W2156723178 @default.
• W1603374186 hasRelatedWork W2212277022 @default.
• W1603374186 hasRelatedWork W2303404267 @default.
• W1603374186 hasRelatedWork W2911690825 @default.
• W1603374186 hasRelatedWork W3097774855 @default.
• W1603374186 hasRelatedWork W579361209 @default.
• W1603374186 hasRelatedWork W598021090 @default.
• W1603374186 hasRelatedWork W75023660 @default.
• W1603374186 isParatext "false" @default.
• W1603374186 isRetracted "false" @default.
• W1603374186 magId "1603374186" @default.
• W1603374186 workType "book" @default.