close
1.

電子ブック

EB
edited by Nargozy Danaev, Yurii Shokin, Akhmed-Zaki Darkhan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 549
オンライン: http://dx.doi.org/10.1007/978-3-319-25058-8
目次情報: 続きを見る
Mathematical modeling of technological processes
High performance computing.-Information management, processing and security
Technological process automation and control
New information technologies in education
Mathematical modeling of technological processes
High performance computing.-Information management, processing and security
Technological process automation and control
2.

電子ブック

EB
edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martin-Vide, Bianca Truthe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8977
オンライン: http://dx.doi.org/10.1007/978-3-319-15579-1
目次情報: 続きを見る
Algorithms
Automata, Logic, and Concurrency
Codes, Semigroups, and Symbolic Dynamics
Combinatorics on Words
Complexity and Recursive Functions
Compression, Inference, Pattern Matching, and Model Checking
Graphs, Term Rewriting, and Networks
Transducers, Tree Automata, and Weighted Automata
Algorithms
Automata, Logic, and Concurrency
Codes, Semigroups, and Symbolic Dynamics
3.

電子ブック

EB
edited by Cetin Kaya Koc, Sihem Mesnager, Erkay Sava?
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9061
オンライン: http://dx.doi.org/10.1007/978-3-319-16277-5
目次情報: 続きを見る
First Invited talk
Computing Discrete Logarithms in F36?137 and F36?163 using Magma
Finite Field Arithmetic
Accelerating Iterative SpMV for the Discrete Logarithm Problem using GPUs
Finding Optimal Chudnovsky-Chudnovsky Multiplication Algorithms
Reducing the Complexity of Normal Basis Multiplication
O
Second Invited talk
Open Questions on Nonlinearity and on APN functions
Boolean and Vectorial Functions
Some Results on Difference Balanced Functions
Affine Equivalency and Nonlinearity Preserving Bijective Mappings over F2
On Verification of Restricted Extended Affine Equivalence of Vectorial Boolean Functions
On o-Equivalence of Niho Bent Functions
Third Invited Talk
L-polynomials of the curve yqn? y = xqh+1? _ over Fqm
Coding Theory and Code-based Cryptography
Efficient Software Implementations of Code-based Hash Functions
Quadratic residue codes over Fp + vFp + v2F.p
First Invited talk
Computing Discrete Logarithms in F36?137 and F36?163 using Magma
Finite Field Arithmetic
4.

電子ブック

EB
edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9150
オンライン: http://dx.doi.org/10.1007/978-3-319-20615-8
目次情報: 続きを見る
Invited Talks
Calculemus
Digital Mathematics Libraries
Mathematical Knowledge Management
Projects and Surveys
Systems and Data
Invited Talks
Calculemus
Digital Mathematics Libraries
5.

電子ブック

EB
edited by Olivier Roux, Jeremie Bourdon
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9308
オンライン: http://dx.doi.org/10.1007/978-3-319-23401-4
6.

電子ブック

EB
edited by Wolfram Kahl, Michael Winter, Jose Oliveira
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9348
オンライン: http://dx.doi.org/10.1007/978-3-319-24704-5
目次情報: 続きを見る
Theory of relation algebras and Kleene algebras
Process algebras
Fixed point calculi
Idempotent semirings
Quantales, allegories, and dynamic algebras
Cylindric algebras
Application in areas such as verification.-Analysis and development of programs and algorithms
Algebraic approaches to logics of programs
Modal and dynamic logics
Interval and temporal logics
Theory of relation algebras and Kleene algebras
Process algebras
Fixed point calculi
7.

電子ブック

EB
edited by Francisco Botana, Pedro Quaresma
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9201
オンライン: http://dx.doi.org/10.1007/978-3-319-21362-0
目次情報: 続きを見る
Star Unfolding Polygons
Volume Frameworks and Deformation Varieties
Recent Advances in Real Geometric Reasoning
The Relation Tool in GeoGebra
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons
Extension of Simson-Wallace Theorem on Skew Quadrilaterals
Current Status of the I2GATP Common Format
On Flattenability of Graphs
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems
Star Unfolding Polygons
Volume Frameworks and Deformation Varieties
Recent Advances in Real Geometric Reasoning
8.

電子ブック

EB
edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9160
オンライン: http://dx.doi.org/10.1007/978-3-662-47709-0
目次情報: 続きを見る
Modeling Language Design for Complex Systems Simulation
Formalization of Mathematics for Fun and Profit
From Residuated Lattices via GBI-algebras to BAOs
Towards a Nominal Chomsky Hierarchy
Multi-Linear Algebraic Semantics for Natural Language
Categories of Games
Learning in the limit, general topology, and modal logic
The Word Problem for Finitely Presented Quandles is Undecidable
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
An Equation-Based Classical Logic
Cyclic multiplicative proof nets of linear logic with an application to language parsing
A Dichotomy Result for Ramsey Quantifiers
Parametric Polymorphism { Universally
On the weak index problem for game automata
Proof-theoretic aspects of the Lambek-Grishin Calculus
Syllogistic Logic with "Most"
Characterizing Frame Definability in Team Semantics via The Universal Modality
An Epistemic Separation Logic
Equational properties of stratified least fixed points
The p-adic integers as final coalgebra
Modeling Language Design for Complex Systems Simulation
Formalization of Mathematics for Fun and Profit
From Residuated Lattices via GBI-algebras to BAOs
9.

電子ブック

EB
edited by Jaime Gutierrez, Josef Schicho, Martin Weimann
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8942
オンライン: http://dx.doi.org/10.1007/978-3-319-15081-9
目次情報: 続きを見る
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics
Moving Curve Ideals of Rational Plane Parametrizations
Survey on Counting Special Types of Polynomials
Orbit Closures of Linear Algebraic Groups
Symbolic Solutions of First-Order Algebraic ODEs
Ore Polynomials in Sage
Giac and GeoGebra ? Improved Grobner Basis Computations
Polar Varieties Revisited
A Note on a Problem Proposed by Kim and Lisonek
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
Some Results on the Surjectivity of Surface Parametrizations
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics
Moving Curve Ideals of Rational Plane Parametrizations
Survey on Counting Special Types of Polynomials
10.

電子ブック

EB
edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9301
オンライン: http://dx.doi.org/10.1007/978-3-319-24021-3