close
1.

電子ブック
ＥＢ
1. Computer Algebra in Scientific Computing
Victor G. Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computer Science ? Theory and Applications
Farid Ablayev, Takeo Kanade, Ernst W. Mayr
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Algorithms for Energy Management (Invited Talk) / Susanne Albers
Sofic and Almost of Finite Type Tree-Shifts / Nathalie Aubrun ; Marie-Pierre Béal
Proof-Based Design of Security Protocols / Nazim Benaissa ; Dominique Méry
Approximating the Minimum Length of Synchronizing Words is Hard / Mikhail V. Berlinkov
Realizability of Dynamic MSC Languages / Benedikt Bollig ; Loïc Hélouët
The Max Quasi-Independent Set Problem / N. Bourgeois ; A. Giannakos ; G. Lucarelli ; I. Milis ; V. Th. Paschos ; O. Pottié
Equilibria in Quantitative Reachability Games / Thomas Brihaye ; Véronique Bruyère ; Julie De Pril
Quotient Complexity of Closed Languages / Janusz Brzozowski ; Galina Jirásková ; Chenglong Zou
Right-Sequential Functions on Infinite Words / Olivier Carton
Kernelization (Invited Talk) / Fedor V. Fomin
Zigzags in Turing Machines / Anahí Gajardo ; Pierre Guillon
Frameworks for Logically Classifying Polynomial-Time Optimisation Problems / James Gate ; Iain A. Stewart
Validating the Knuth-Morris-Pratt Failure Function, Fast and Online / Pawet Gawrychowski ; Artur Jez ; Lukasz Jez
Identical Relations in Symmetric Groups and Separating Words with Reversible Automata / R.A. Gimadeev ; M.N. Vyalyi
Time Optimal d-List Colouring of a Graph / Nick Gravin
The Cantor Space as a Generic Model of Topologically Presented Knowledge / Bernhard Heinemann
Algorithmics - Is There Hope for a Unified Theory? (Invited Talk) / Juraj Hromkovic
Classifying Rankwidth k-DH-Graphs / Ling-Ju Hung ; Ton Kloks
Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms / Dmitry Itsykson
A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem / Gerold Jäger ; Weixiong Zhang
Balancing Bounded Treewidth Circuits / Maurice Jansen ; Jayalal Sarma M.N.
Obtaining Online Ecological Colourings by Generalizing First-Fit / Matthew Johnson ; Viresh Patel ; Daniël Paulusma ; Théophile Trunck
Classical Simulation and Complexity of Quantum Computations (Invited Talk) / Richard Jozsa
Prefix-Free and Prefix-Correct Complexities with Compound Conditions / Elena Kalinina
Monotone Complexity of a Pair / Pavel karpovich
Symbolic Models for Single-Conclusion Proof Logics / Vladimir N. Krupski
Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA / P.V. Martyugin
Advancing Matrix Computations with Randomized Preprocessing / Victor Y. Pan ; Guoliang Qian ; Ai-Long Zheng
Transfinite Sequences of Constructive Predicate Logics / Valery Plisko
The Quantitative Analysis of User Behavior Online - Data, Models and Algorithms (Abstract of Invited Talk) / Prabhakar Raghavan
A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem / Daniel Binkele-Raible ; Henning Fernau
Complexity of Propositional Proofs (Invited Talk) / Alexander Razborov
Quantization of Random Walks: Search Algorithms and Hitting Time (Extended Abstract of Invited Talk) / Miklos Santha
Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems (Invited Talk) / Uwe Schöning
Growth of Power-Free Languages over Large Alphabets / Arseny M. Shur
A Partially Synchronizing Coloring / Avraham N. Trahtman
An Encoding Invariant Version of Polynomial Time Computable Distributions / Nikolay Vereshchagin
Prehistoric Phenomena and Self-referentiality / Junhua Yu
Author Index
Algorithms for Energy Management (Invited Talk) / Susanne Albers
Sofic and Almost of Finite Type Tree-Shifts / Nathalie Aubrun ; Marie-Pierre Béal
Proof-Based Design of Security Protocols / Nazim Benaissa ; Dominique Méry
4.

電子ブック
ＥＢ
4. Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Takeo Kanade, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Construction of Irreducible Polynomials over Finite Fields / Sergey Abrahamyan
Factorization of Polynomials and GCD Computations for Finding Universal Denominators / Sergei A. Abramov ; Amel Gheffar ; Denis E. Khmelnov
A Role of Symbolic Computations in Beam Physics / Serge N. Andrianov
Thomas Decomposition of Algebraic and Differential Systems / Thomas Bächler ; Vladimir Gerdt ; Markus Lange-Hegermann ; Daniel Robertz
On Multivariate Homogeneous Polynomial Decomposition / Paula Bustillo ; Jaime Gutierrez
Computing Matrix Representations of Filiform Lie Algebras / Manuel Ceballos ; Juan Núñez ; Ángel F. Tenorio
Type Specialization in Aldor / Laurentiu Dragan ; Stephen M. Watt
An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models / Ambedkar Dukkipati ; Joel George Manathara
On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point / Victor Edneral ; Valery G. Romanovski
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models / Alexander A. Gusev ; Ochbadrakh Chuluunbaatar ; Vladimir P. Gerdt ; Vitaly A. Rostovtsev ; Sergue I. Vinitsky ; Vladimir L. Derbov ; Vladislav V. Serov
On Reduction of Lagrange Systems / Valentin Irtegov ; Tatyana Titorenko
Series Transformations to Improve and Extend Convergence / German A. Kalugin ; David J. Jeffrey
Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems / Zoia Kostova ; Nikolay Kostov ; Vladimir Gerdjikov
Generic, Type-Safe and Object Oriented Computer Algebra Software / Heinz Kredel ; Raphael Jolly
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden / Oleg Lobachev ; Rita Loogen
Fast Generalized Bruhat Decomposition / Gennadi Malaschonok
Computational Science in Armenia (Invited Talk) / H. Marandjian ; Yu. Shoukourian
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk) / Ernst W. Mayr
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests / Winfried Neun ; Thomas Sturm ; Stefan Vigerske
Term Cancellations in Computing Floating-Point Gröbner Bases / Tateaki Sasaki ; Fujio Kako
One Class of Third-Order Linear ODE's / S. Yu. Slavyanov
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials / Akira Terui
Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions / Evgenii V. Vorozhtsov
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) / Andreas Weber ; Werner M. Seiler ; Essam O. Abdel-Rahman
An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete / Serguey V. Zemskov ; Henk M. Jonkers ; Fred J. Vermolen
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases / Christoph Zengler ; Wolfgang Küchlin
Author Index
Construction of Irreducible Polynomials over Finite Fields / Sergey Abrahamyan
Factorization of Polynomials and GCD Computations for Finding Universal Denominators / Sergei A. Abramov ; Amel Gheffar ; Denis E. Khmelnov
A Role of Symbolic Computations in Beam Physics / Serge N. Andrianov
5.

電子ブック
ＥＢ
5. Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Takeo Kanade, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Computer Algebra in Scientific Computing
International Workshop on Computer Algebra in Scientific Computing, Victor Grigor??evich Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii Vasil??evich Vorozhtsov, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Computer Algebra in Scientific Computing
Victor G. Ganzha, Victor Grigor??evich Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov, Evgenii Vasil??evich Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Computer Algebra in Scientific Computing
International Workshop on Computer Algebra in Scientific Computing, Victor GrigorÊ〓evich Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii VasilÊ〓evich Vorozhtsov, Evgenii V. Vorozhtsov
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Computer Algebra in Scientific Computing
Victor G. Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov, E. W. Mayr, E. V. Vorozhtsov
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computer Algebra in Scientific Computing
Victor G. Ganzha, Victor GrigorÊ〓evich Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov, Evgenii VasilÊ〓evich Vorozhtsov, E.W. Mayr, E. V. Vorozhtsov
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼