Treffer 301 - 320 von 3.147

301

Finding the exact volume of a polyhedron: Finding the exact volume of a polyhedron.
Ong, H.L. ; Huang, H.C. ; Huin, W.M. ; et al.
Advances in Engineering Software. 34:351-356

Volume 0502 economics and busin... 05 social sciences 0102 computer and inform... Symbolic computation and... Polyhedron
Fachzeitschrift
Zu den Favoriten
302

Computing invariants of reductive groups in positive characteristic
Gregor Kemper
Transformation Groups. 8:159-176

Group actions on affine... Software, source code, e... Group actions on varieti... inseparable closure algorithm for generating... MAGMA
Fachzeitschrift
Zu den Favoriten
303

Symbolic computation of integrals by recurrence
Michael P. Barnett
ACM SIGSAM Bulletin. 37:49-63

automatic integration 0103 physical sciences recurrence formulas 0101 mathematics Symbolic computation and... Numerical quadrature and...
Fachzeitschrift
Zu den Favoriten
304

GENERALIZED EXTENDED TANH-FUNCTION METHOD TO CONSTRUCT NEW EXPLICIT EXACT SOLUTIONS FOR THE APPROXIMATE EQUATIONS FOR LONG WATER WAVES: Generalized extended tanh-function method to construct new explicit exact solutions for the approximate equations for long water waves
Zheng Yu ; Yong Chen
International Journal of Modern Physics C. 14:601-611

Riccati equation Water waves, gravity wav... dispersion and scatterin... Other numerical methods... 0103 physical sciences solitary wave
Fachzeitschrift
Zu den Favoriten
305

A REDUCTION mKdV METHOD WITH SYMBOLIC COMPUTATION TO CONSTRUCT NEW DOUBLY-PERIODIC SOLUTIONS FOR NONLINEAR WAVE EQUATIONS: A reduction mKdV method with symbolic computation to construct new doubly-periodic solutions for nonlinear wave equations
Zhenya Yan
International Journal of Modern Physics C. 14:661-672

soliton solutions NLS equations (nonlinear... 0103 physical sciences Wave equation periodic solutions Symbolic computation and...
Fachzeitschrift
Zu den Favoriten
306

Double Sylvester sums for subresultants and multi-Schur functions: Double Sylvester sums for subresultants and multi-Schur functions.
Lascoux, Alain ; Pragacz, P. ; Lascoux, Alain
Journal of Symbolic Computation. 35:689-710

Computational aspects an... Computational Mathematic... Symmetric functions and... multi-Schur functions Algebra and Number Theor... [INFO.INFO-CL] Computer...
Fachzeitschrift
Zu den Favoriten
307

A scientific computing environment for differential field simulation
Rosa Maria Spitaleri
Mathematics and computers in simulation
63 (2003): 79–91.
info:cnr-pdr/source/autori:Rosa Maria Spitaleri/titolo:A Scientifc Computing Environment for Differential Field Simulation/doi:/rivista:Mathematics and computers in simulation (Print)/anno:2003/pagina_da:79/pagina_a:91/intervallo_pagine:79–91/volume:63

Finite difference method... Numerical methods and to... grid generation finite difference Symbolic computation and... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
308

An application of fast factorization algorithms in Computer Aided Geometric Design: An application of fast factorization algorithms in computer aided geometric design
Giulio Casciola ; L.B. Montefusco ; F. Fabbri
Linear Algebra and its Applications. 366:121-138

Curve intersection numerical examples Numerical Analysis Algebra and Number Theor... fast algorithms Bezout resultant
Fachzeitschrift
Zu den Favoriten
309

Applications of SAGBI-bases in dynamics
Karin Gatermann
Journal of Symbolic Computation. 35:543-575

Bifurcations in context... Bifurcation theory for o... Algebra and Number Theor... Symmetries, equivariant... computational algebra Lyapunov-Schmidt reducti...
Fachzeitschrift
Zu den Favoriten
310

On the numerical solution of differential-algebraic equations by Padé series
ÇELİK, Ercan ; BAYRAM, Mustafa
Applied Mathematics and Computation. 137:151-160

Numerical methods for di... Differential-algebraic e... Arbitrary order Padé series 0209 industrial biotechn... 0202 electrical engineer...
Fachzeitschrift
Zu den Favoriten
311

A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions
Javier Segura ; Amparo Gil
Journal of Symbolic Computation. 35:465-485

Orthogonal polynomials Coulomb function Fixed point iterations Symbolic computation and... Maple algorithm 01 natural sciences
Fachzeitschrift
Zu den Favoriten
312

NASAB: a finite element software for the nonlinear aerostatic stability analysis of cable-supported bridges: NASAB: A finite element software for the nonlinear aerostatic stability analysis of cable-supported bridges.
Jin Cheng ; Haifan Xiang ; Ru-Cheng Xiao ; et al.
Advances in Engineering Software. 34:287-296

Finite element software 0211 other engineering a... Aerostatic stability Cable-supported bridges 02 engineering and techn... Nonlinear analysis
Fachzeitschrift
Zu den Favoriten
313

The Sibirsky component of the center variety of polynomial differential systems: The Sibirsky component of the center variety of polynomial differential systems.
Jarrah, Abdul Salam ; Laubenbacher, Reinhard ; Romanovski, Valery
Journal of Symbolic Computation. 35:577-589

Algebra and Number Theor... Topological structure of... Differential algebra Symbolic computation and... polynomial differential... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
314

A bridge between dynamic geometry and computer algebra
Eugenio Roanes-Lozano ; M. Villar-Mena ; Eugenio Roanes-Macías
Mathematical and Computer Modelling. 37:1005-1028

Geometric loci Numerical aspects of com... Dynamic geometry Modelling and Simulation 05 social sciences Computer algebra
Fachzeitschrift
Zu den Favoriten
315

Designing Mathematical Libraries Based on Requirements for Theorems: Designing mathematical libraries based on requirements for theorems
Christoph Schwarzweller
Annals of Mathematics and Artificial Intelligence. 38:193-209

mathematical libraries Mathematical aspects of... 02 engineering and techn... Symbolic computation and... requirements for theorem... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
316

Computerized deconstruction: Computerized deconstruction.
Doron Zeilberger
Advances in Applied Mathematics. 30:633-654

Methodology of mathemati... Irrationality linear independence over... Applied Mathematics Symbolic computation of... 0102 computer and inform...
Fachzeitschrift
Zu den Favoriten
317

The integration of systems of linear PDEs using conservation laws of syzygies
Thomas Wolf
Journal of Symbolic Computation. 35:499-526

Computer Science - Symbo... FOS: Computer and inform... Algebra and Number Theor... differential Gröbner bas... Overdetermined systems o... Symbolic Computation (cs...
Fachzeitschrift
Zu den Favoriten
318

An Overview of a Formal Framework for Managing Mathematics: An overview of a formal framework for managing mathematics
William M. Farmer ; Martin von Mohrenschildt
Annals of Mathematics and Artificial Intelligence. 38:165-191

little theories method biform theory axiomatic theory 0102 computer and inform... 02 engineering and techn... Symbolic computation and...
Fachzeitschrift
Zu den Favoriten
319

Algebraic computations in derived categories: Algebraic computations in derived categories.
Amrey Krause
Linear Algebra and its Applications. 365:247-266

Resolutions derived functors (catego... Auslander–Reiten quiver... Symbolic computation and... algorithms 01 natural sciences
Fachzeitschrift
Zu den Favoriten
320

Short rational generating functions for lattice point problems
Kevin Woods ; Alexander Barvinok
Journal of the American Mathematical Society. 16:957-979

Frobenius problem computational complexity 05A15, 11P21, 13P10, 68W... Hilbert series Exact enumeration proble... 0102 computer and inform...
Fachzeitschrift
Zu den Favoriten

Filter