首页>外文期刊>其他>Mathematics in Computer Science

Mathematics in Computer Science

Mathematics in Computer Science

中文名称：计算机科学数学

ISSN：1661-8270
出版周期：Quarterly

发文量：162

期刊论文

年度选择

2023
- 第1期
- 第2期
2022
- 第1期
- 第3期
- 第4期
2021
- 第1期
- 第2期
- 第3期
- 第4期
2020
- 第1期
- 第2期
- 第3期
- 第4期
2019
- 第2期
- 第3期
- 第4期
2018
- 第1期
- 第2期
- 第3期
- 第4期
2017
- 第1期
- 第2期
- 第4期
2016
- 第1期
- 第2期
- 第3期
- 第4期
2015
- 第1期
- 第2期
- 第3期
- 第4期
2014
- 第1期
- 第2期
- 第4期
2013
- 第1期
- 第2期
- 第3期
- 第4期
2012
- 第1期
- 第2期
- 第3期
- 第4期
2011
- 第1期
- 第2期
- 第3期
- 第4期
2010
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2009
- 第3期
- 第4期
2008
- 第1期
- 第2期
- 第3期
- 第4期
2007
- 第1期
- 第2期

更多>>

全选（0）

1.Good Local Behavior of Offsets to Implicit Algebraic Curves

机译：隐式代数曲线的偏移的良好局部行为
- 作者：Juan Gerardo Alcázar
- 期刊名称：《Mathematics in Computer Science》 | 2009年第4期
- Primary 14Q05;
- Secondary 68U07, 65D17;
- Offset curves;
- offset shape;
- local behavior of offsets;
2.Local Algorithms for the Prime Factorization of Strong Product Graphs

机译：强积图素数分解的局部算法
- 作者：Marc Hellmuth;Wilfried Imrich;Werner Klöckl;Peter F. Stadler
- 期刊名称：《Mathematics in Computer Science》 | 2009年第4期
- Primary 99Z99;
- Secondary 00A00;
- Strong product graphs;
- local covering;
- backbone;
- S1-condition;
3.The Computational Complexity of Extrapolation Methods

机译：外推法的计算复杂性
- 作者：Silvana Ilie;Robert M. Corless;Chris Essex
- 期刊名称：《Mathematics in Computer Science》 | 2009年第4期
- 65L06;
- 68Q25;
- Ordinary differential equations;
- initial value problems;
- adaptive step-size control;
- H?lder mean;
- extrapolation;
4.Community Structures of Networks

机译：网络社区结构
- 作者：William Y. C. Chen;Andreas W. M. Dress;Winking Q. Yu
- 期刊名称：《Mathematics in Computer Science》 | 2008年第3期
- 90C35;
- 90C90;
- 68W25;
- Networks;
- graphs;
- community structures;
- clique partitioning problem;
- graph partitioning problem;
- linear programming;
- integer linear programming;
- food webs;
- Zachary’s karate club;
5.Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination

机译：通过量词消除推断随机IL系统上的概率
- 作者：Hiroshi Yoshida;Katsuhisa Horimoto;Hirokazu Anai
- 期刊名称：《Mathematics in Computer Science》 | 2008年第3期
- 03C10;
- 62M99;
- 65H10;
- 03D05;
- Lindenmayer system with interactions;
- cell-type diversity;
- quantifier elimination;
- algebraic approach;
6.Foreword

机译：前言
- 作者：Ilias S. Kotsireas
- 期刊名称：《Mathematics in Computer Science》 | 2008年第3期
7.Exact Solutions of Hyperbolic Systems of Kinetic Equations. Application to Verhulst Model with Random Perturbation

机译：双曲动力学方程组的精确解。具有随机摄动的Verhulst模型的应用
- 作者：Elena I. Ganzha;Valery M. Loginov;Sergey P. Tsarev
- 期刊名称：《Mathematics in Computer Science》 | 2008年第3期
- 60-08;
- 65C20;
- 68W30;
- Master equations;
- hyperbolic systems;
- complete non-stationary solutions;
- kinetic processes;
- Verhulst model;
8.Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems

机译：布尔动力系统不动点存在性问题的二分法结果
- 作者：Sven Kosub
- 期刊名称：《Mathematics in Computer Science》 | 2008年第3期
- 68Q17;
- 68Q80;
- 68Q85;
- 68R10;
- Discrete dynamical systems;
- fixed points;
- algorithms and complexity;
9.Algebraic Approaches to Stability Analysis of Biological Systems

机译：生物系统稳定性分析的代数方法
- 作者：Wei Niu;Dongming Wang
- 期刊名称：《Mathematics in Computer Science》 | 2008年第3期
10.Foreword

机译：前言
- 作者：Joseph Wun-Tat Chan;Maxime Crochemore
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
11.Parameterized Algorithms in Smooth 4-Regular Hamiltonian Graphs

机译：光滑四正则哈密顿图的参数化算法
- 作者：Egbert Mujuni
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 05C85;
- Secondary 68Q85;
- Algorithm;
- parameterized complexity;
- graph coloring;
- independent set;
12.Dynamic Multi-level Overlay Graphs for Shortest Paths

机译：最短路径的动态多级覆盖图
- 作者：Francesco Bruera;Serafino Cicerone;Gianlorenzo D’Angelo;Gabriele Di Stefano;Daniele Frigioni
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 68W05;
- Secondary 05C85;
- Shortest paths algorithms;
- speed-up techniques;
13.Semi-local String Comparison: Algorithmic Techniques and Applications

机译：半本地字符串比较：算法技术和应用
- 作者：Alexander Tiskin
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 68W05;
- Secondary 68R15;
- String algorithms;
- longest common subsequence;
- semi-local string comparison;
14.Lempel–Ziv Factorization Using Less Time & Space

机译：使用更少的时间和空间进行Lempel-Ziv因式分解
- 作者：Gang Chen;Simon J. Puglisi;W. F. Smyth
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- 68W05;
- Lempel–Ziv factorization;
- suffix array;
- suffix tree;
- LZ factorization;
15.Unambiguous Automata

机译：明确的自动机
- 作者：Marie-Pierre Béal;Eugen Czeizler;Jarkko Kari;Dominique Perrin
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- 68Q45;
- 20M35;
- 94A45;
- 68R15;
- Automata;
- local automata;
- synchronized automata;
- unambiguous automata;
- unambiguous monoids of relations;
16.Scoring Unusual Words with Varying Mismatch Errors

机译：为不寻常的单词评分，并带有各种不匹配错误
- 作者：Alberto Apostolico;Cinzia Pizzi
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 68R15;
- Secondary 68W40;
- Combinatorics on words;
- analysis of algorithms;
- pattern discovery;
- biosequences analysis;
17.A Tutorial on Computational Cluster Analysis with Applications to Pattern Discovery in Microarray Data

机译：计算聚类分析及其在微阵列数据模式发现中的应用指南
- 作者：Raffaele Giancarlo;Davide Scaturro;Filippo Utro
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 68Q25, 68Q05;
- Clustering algorithms;
- hypothesis testing in statistics;
- microarrays data analysis;
18.Efficient Algorithms for Variants of Weighted Matching and Assignment Problems

机译：加权匹配和分配问题变体的高效算法
- 作者：Satyajit Banerjee;Atish Datta Chowdhury;Subhas Kumar Ghosh
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
19.A General Tractable Density Concept for Graphs

机译：图的一般可伸缩密度概念
- 作者：András Faragó
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 05C85;
- Secondary 68Q25;
- Graph algorithm;
- graph density;
- densest subgraph;
20.Non-overlapping Common Substrings Allowing Mutations

机译：非重叠的通用子字符串，允许突变
- 作者：H. L. Chan;T. W. Lam;W. K. Sung;P. W. H. Wong;S. M. Yiu
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 92-08;
- Secondary 68W05;
- Whole genome alignment;
- conserved genes;
- mutations;
- algorithms;
21.A New Approach to Pattern Matching in Degenerate DNA/RNA Sequences and Distributed Pattern Matching

机译：简并DNA / RNA序列模式匹配和分布模式匹配的新方法
- 作者：Costas S. Iliopoulos;Laurent Mouchard;M. Sohel Rahman
- 期刊名称：《Mathematics in Computer Science》 | 2008年第4期
- Primary 68W05;
- Secondary 68Q25;
- Algorithm;
- pattern matching;
- degenerate strings;
- DNA/RNA sequences;
22.Wadge Reducibility and Infinite Computations

机译：Wadge可归约性和无限计算
- 作者：Victor Selivanov
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- Primary 03D05, 03D10;
- Secondary 03E15, 03E60;
- Wadge reducibility;
- topology;
- Baire space;
- Baire domain;
- computability;
- complexity;
- ω-language;
- k-partition;
- automaton;
23.Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation

机译：将Lucid的声明性数据流范例集成到面向对象中
- 作者：Dominic A. Orchard;Steve Matthews
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- 68N15;
- 68N19;
- 68Q55;
- Semantics;
- interoperation;
- object orientation;
- dataflow;
- intensional programming;
- intensional objects;
24.Querying Historical Data Over Multiple Time-Lines

机译：查询多个时间线的历史数据
- 作者：Mehmet A. Orgun
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- 68P15;
- 68U35;
- Historical databases;
- multiple time-lines;
- temporal algebras;
- temporal splicing;
25.In Honour of Bill Wadge

机译：为了纪念比尔·瓦奇
- 作者：John Plaice;Mehmet A. Orgun
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
26.From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming

机译：从Lucid到TransLucid：迭代，数据流，内涵和笛卡尔编程
- 作者：John Plaice;Blanca Mancilla;Gabriel Ditu
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- 68N15;
- Declarative programming;
- multidimensional programming;
- Lucid programming language;
27.Possible Worlds Versioning

机译：可能的世界版本控制
- 作者：Blanca Mancilla;John Plaice
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- 68N19;
- Software configuration;
- intensional logic;
- possible-worlds semantics;
- context-aware computation;
28.Wadge Degrees of Infinitary Rational Relations

机译：不定式理性关系的波动度
- 作者：Olivier Finkel
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- 03E15;
- 03B70;
- 03D05;
- 68Q45;
- 68Q15;
- 2-tape Büchi automata;
- infinitary rational relations;
- Cantor topology;
- topological complexity;
- Wadge hierarchy;
- Wadge degrees;
- Wadge games;
- Borel hierarchy;
- complete sets;
29.Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks

机译：带有时钟的时态逻辑的知识表示，推理和集成
- 作者：Mehmet A. Orgun;Chuchang Liu;Abhaya C. Nayak
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- Multiple granularity of time;
- temporal logics;
- temporal knowledge representation;
- 68T30;
- 68T27;
30.Efficient Intensional Implementation for Lazy Functional Languages

机译：惰性函数语言的有效内涵实现
- 作者：Angelos Charalambidis;Athanasios Grivas;Nikolaos S. Papaspyrou;Panos Rondogiannis
- 期刊名称：《Mathematics in Computer Science》 | 2008年第1期
- 68N15;
- 68N18;
- 68N20;
- Implementation of functional languages;
- intensional logic;
- dataflow computation;
31.The Freedom to Extend OpenMath and its Utility

机译：扩展OpenMath的自由及其实用程序
- 作者：James H. Davenport;Paul Libbrecht
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 00A35;
- 00A22;
- 68M14;
- 68P20;
- 68T30;
- Notation;
- semantics;
- multilinguality;
- World Wide Web;
32.Identifying Subscripts and Superscripts in Mathematical Documents

机译：识别数学文档中的下标和上标
- 作者：Walaa Aly;Seiichi Uchida;Masakazu Suzuki
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 68T05;
- 68T10;
- Mathematical documents;
- structure analysis of mathematical expression;
- subscript and superscript;
33.Automatic Proof of Graph Nonisomorphism

机译：图非同构的自动证明
- 作者：Arjeh M. Cohen;Jan Willem Knopper;Scott H. Murray
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 05C60;
- 68R10;
- 05C25;
- 03B35;
- Graphs;
- groups;
- graph isomorphism;
- automatic proof generation;
34.Using as a Semantic Markup Format

机译：用作语义标记格式
- 作者：Michael Kohlhase
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 68U15;
- Knowledge representation;
- elision;
- typography;
- semantics;
35.Relevance Ranking and Hit Description in Math Search

机译：数学搜索中的相关性排名和命中描述
- 作者：Abdou S. Youssef
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 68N99;
- Fragmentation;
- hits;
- hit descriptions;
- math search;
- relevance metrics;
36.Foreword

机译：前言
- 作者：Manfred Kerber
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
37.ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments

机译：基于ATP的Mizar证明的交叉验证：方法，系统和第一个实验
- 作者：Josef Urban;Geoff Sutcliffe
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- Primary 03E99;
- Secondary 68T15;
- Formalized mathematics;
- automated reasoning;
- verification;
38.Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega

机译：Ωmega中数学知识的组织，转换和传播
- 作者：Serge Autexier;Christoph Benzmüller;Dominik Dietrich;Marc Wagner
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 68T30;
- 68T35;
- Mathematical knowledge management;
- proof assistants;
- system architecture;
39.A Math Query Language with an Expanded Set of Wildcards

机译：具有扩展的通配符集的数学查询语言
- 作者：Moody Ebrahem Altamimi;Abdou Youssef
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- 68N99;
- Math search;
- mathematical expression;
- MathML;
- XPath;
- XQuery;
40.Spurious Disambiguation Errors and How to Get Rid of Them

机译：虚假消除歧义错误以及如何摆脱它们
- 作者：Claudio Sacerdoti Coen;Stefano Zacchiroli
- 期刊名称：《Mathematics in Computer Science》 | 2008年第2期
- Primary 68T99;
- Secondary 03B70;
- Ambiguity;
- semantic analysis;
- user interaction;
- metavariables;
41.Foreword

机译：前言
- 作者：Chee K. Yap;Hoon Hong
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
42.Zero Tests for Constants in Simple Scientific Computation

机译：简单科学计算中的常数零检验
- 作者：Daniel Richardson
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
- 11J85;
- 03D15;
- 26A09;
- Exp-Log constants;
- zero test;
- Schanuel conjecture;
43.Testing Sign Conditions on a Multivariate Polynomial and Applications

机译：在多元多项式上测试符号条件及其应用
- 作者：Mohab Safey El Din
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
- Primary 14Q20;
- Secondary 14P10;
- Polynomial systems;
- real solutions;
- inequalities;
- optimization;
- complexity;
44.Editorial

机译：社论
- 作者：Dongming Wang;Zhiming Zheng
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
45.Computing Numerically with Functions Instead of Numbers

机译：用函数而不是数字进行数字计算
- 作者：Lloyd N. Trefethen
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
- Primary 41A10;
- Secondary 68W30;
- Chebfun;
- Chebyshev series;
46.Approximation by Conic Splines

机译：圆锥花键近似
- 作者：Sunayana Ghosh;Sylvain Petitjean;Gert Vegter
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
- Approximation;
- splines;
- conics;
- Hausdorff distance;
- complexity;
- differential geometry;
- affine curvature;
- affine spiral;
- Primary 65D07;
- 65D17;
- Secondary 68Q25;
47.Robust Approximate Zeros in Banach Space

机译：Banach空间中的稳健近似零
- 作者：Vikram Sharma
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
- 65Y20;
- 68Q25;
- 65H10;
- 65G99;
- Newton iteration;
- complexity;
- root approximation;
- approximate zero;
- point estimates;
- error bounds;
- bigfloat computation;
- system of polynomials;
- condition number;
48.On Effective Analytic Continuation

机译：论有效解析连续
- 作者：Joris van der Hoeven
- 期刊名称：《Mathematics in Computer Science》 | 2007年第1期
- 03F60;
- 30-04;
- 30B40;
- 30F99;
- Analytic continuation;
- Riemann surface;
- algorithm;
- differential equation;
- convolution equation;
- relaxed power series;
- error bound;
49.Space Saving Calculation of Symbolic Resultants

机译：符号结果集的空间节省计算
- 作者：Jane M. Pearson;Noel G. Lloyd
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Symbolic computation;
- multivariate resultants;
- 68W30;
- 34C07;
- 13P05;
50.Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process

机译：使用计算机代数来证明数值优化过程的全局收敛性
- 作者：Nong Gu;Daniel Lazard;Fabrice Rouillier;Yong Xiang
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
51.A New Method for Real Root Isolation of Univariate Polynomials

机译：一元多项式实根分离的新方法
- 作者：Ting Zhang;Bican Xia
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- 68W30;
- Real root isolation;
- interval arithmetic;
- interval Newton operator;
- bisection method;
- Maple;
52.On the Location of Pseudozeros of a Complex Interval Polynomial

机译：关于复数区间多项式的伪零点的位置
- 作者：Hiroshi Sekigawa;Kiyoshi Shirayanagi
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Primary 12D10;
- Secondary 30C15;
- Interval polynomial;
- polynomial;
- zero;
- convex set;
53.Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases

机译：在可选基中表示的矩阵多项式的伪谱
- 作者：Robert M. Corless;Nargol Rezvani;Amirhossein Amiraslani
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Primary 15A42;
- Secondary 41A05;
- Pseudospectra;
- matrix polynomial;
- conditioning;
- Lebesgue functions;
- Lebesgue constants;
54.On Computing Gr?bner Bases in Rings of Differential Operators with Coefficients in a Ring

机译：关于环中带系数的微分算子环中的Gr？bner基的计算
- 作者：Meng Zhou;Franz Winkler
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Gr?bner basis;
- rings of differential operators;
- G-S-polynomials;
- 16-04;
55.Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators with a Completely Factorable Symbol on the Plane

机译：平面上具有完全可分解符号的二阶，三阶和四阶线性偏微分算子的参数分解
- 作者：Ekaterina Shemyakova
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Primary 47F05;
- Secondary 68W30;
- Partial differential;
- LPDO;
- factorization;
- parametric factorization;
- family of factorizations;
56.Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach

机译：通过规范多项式对解析函数进行求逆：一种矩阵方法
- 作者：Philip Feinsilver;René Schott
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Lagrange inversion;
- canonical polynomials;
- analytic functions;
- dual vector fields;
- symbolic computation;
- Primary 30A99;
- Secondary 68W30;
- 37C10;
- 30A06;
57.Bifurcations of Periodic Points of Some Algebraic Maps

机译：一些代数图的周期点的分支
- 作者：Valery G. Romanovski
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- 37G15;
- 37M20;
- 13P;
- Discrete dynamical systems;
- periodic points;
- cyclicity;
- polynomial ideals;
58.Foreword

机译：前言
- 作者：Dongming Wang;Lihong Zhi
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
59.Pseudozero Set of Real Multivariate Polynomials

机译：实多元多项式的伪零集
- 作者：Stef Graillat
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- 12D10;
- 30C10;
- 30C15;
- 26C10;
- Pseudozero set;
- multivariate polynomials;
- real perturbation;
- complex perturbation;
60.Thinning Out Redundant Empirical Data

机译：细化冗余经验数据
- 作者：John Abbott;Claudia Fassino;Maria-Laura Torrente
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Empirical points;
- redundant data;
- cluster of collapsable points;
- 14Q99;
- 62H30;
61.Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD

机译：聚类的近似自由基：使用高斯消除或SVD的全局方法
- 作者：Itnuit Janovitz-Freireich;Lajos Rónyai;ágnes Szántó
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
- Primary 65D20;
- Secondary 33F10;
- Radical ideal;
- clusters;
- matrix of traces;
- symbolic-numeric computation;
62.Structured Low Rank Approximation of a Bezout Matrix

机译：Bezout矩阵的结构化低秩逼近
- 作者：Dongxia Sun;Lihong Zhi
- 期刊名称：《Mathematics in Computer Science》 | 2007年第2期
63.A New One-Parameter Invariant Function for Algebras

机译：A New One-Parameter Invariant Function for Algebras
- 作者：J. M. Escobar;J. Núñez;P. Pérez-Fernández
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
- Invariant functions for algebras;
- Invariant function$$upsilon $$υ;
- Contractions of algebras;
64.Dealing with Functional Coefficients Within Tau Method

机译：在Tau方法中处理函数系数
- 作者：M. Trindade;J. Matos;P. B. Vasconcelos
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
- Spectral methods;
- Initial and boundary value problems;
- Software;
65.Partially Local Multi-way Alignments

机译：Partially Local Multi-way Alignments
- 作者：Nancy Retzlaff;Peter F. Stadler
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
- Multiple sequence alignment;
- Dynamic programming;
- Sum-of-pairs score;
- Formal grammar;
- Recursion;
66.HOL(y)Hammer: Online ATP Service for HOL Light

机译：HOL（y）Hammer：HOL Light 的在线 ATP 服务
- 作者：Cezary Kaliszyk;Josef Urban
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
67.L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs

机译：L（2， 1）-排列图和二分排列图的标记
- 作者：Satyabrata Paul;Madhumangal Pal;Anita Pal
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
- Frequency assignment;
- L(2;
- 1)-labeling;
- Permutation graphs;
- Bipartite permutation graphs;
68.Coquelicot:AUser-Friendly Library of Real Analysis for Coq

机译：Coquelicot:AUser-Friendly Library of Real Analysis for Coq
- 作者：Sylvie Boldo;Catherine Lelay;Guillaume Melquiond
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
- Standard real analysis;
- Coq proof assistant;
- Library;
- Generalized limits;
- Differentiability;
- Parametric integrals;
- Power series;
69.Foreword to the Special Focus on Advances in Symbolic and Numeric Computation II

机译：Foreword to the Special Focus on Advances in Symbolic and Numeric Computation II
- 作者：Amélia Loja;Stéphane Louis Clain;Joaquim Infante BarbosaJosé Alberto Rodrigues
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
70.A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers' Equation on a Variable Mesh

机译：A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers' Equation on a Variable Mesh
- 作者：Jyoti Talwar;Ranjan Kumar Mohanty
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
71.Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science

机译：特别关注数学和计算机科学形式证明的前言
- 作者：Laurent Théry;Freek Wiedijk
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
- Foreword to the Special;
- Formal Proof;
- Mathematics Computer Science;
72.Computational Simulation of the Thermal Effects on Composite Slabs Under Fire Conditions

机译：Computational Simulation of the Thermal Effects on Composite Slabs Under Fire Conditions
- 作者：Piloto Paulo A. G.;Balsa Carlos;Ribeiro FernandoRigobello Ronaldo
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
73.On the H-1 Conforming Virtual Element Method for Time Dependent Stokes Equation

机译：On the H-1 Conforming Virtual Element Method for Time Dependent Stokes Equation
- 作者：Adak Dibyendu;Natarajan Sundararajan
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
- Virtual element method;
- Conforming methods;
- Polynomial space;
- Error estimates;
- Discrete inf-sup stability;
74.Symbolic Approach to the General Quadratic Polynomial Decomposition

机译：Symbolic Approach to the General Quadratic Polynomial Decomposition
- 作者：Ângela Macedo;Teresa A. Mesquita;Zélia da Rocha
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
- Quadratic decomposition;
- Orthogonal polynomials;
- Symmetric polynomials;
- Symbolic computations;
75.Common Points Between Perturbed Chebyshev Polynomials of Second Kind

机译：Common Points Between Perturbed Chebyshev Polynomials of Second Kind
- 作者：da Rocha Zelia
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
- Orthogonal polynomials;
- Chebyshev polynomials;
- Zeros;
- Mathematica (R);
76.Mixed Precision Bisection

机译：Mixed Precision Bisection
- 作者：Rui Ralha
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
- Eigenvalues;
- Bisection algorithm;
- Mixed precision;
77.Semantic Spaces

机译：Semantic Spaces
- 作者：Yuri I. Manin;Matilde Marcolli
- 期刊名称：《Mathematics in computer science》 | 2016年第4期
- Semantics;
- Vector space model;
- Algebraic geometry;
78.Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

机译：Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
- 作者：Daniel Raggi;Alan Bundy;Gudmund GrovAlison Pease
- 期刊名称：《Mathematics in computer science》 | 2016年第4期
- Change of representation;
- Transformation;
- Automated reasoning;
- Isabelle proof assistant;
79.Recycling Proof Patterns in Coq: Case Studies

机译：Recycling Proof Patterns in Coq: Case Studies
- 作者：Jónathan Heras;Ekaterina Komendantskaya
- 期刊名称：《Mathematics in computer science》 | 2014年第1期
- Interactive theorem proving;
- Coq;
- SSReflect;
- Machine learning;
- Clustering;
80.Symbolic Computations of the Equilibrium Orientations of a System of Two Connected Bodies Moving on a Circular Orbit Around the Earth

机译：Symbolic Computations of the Equilibrium Orientations of a System of Two Connected Bodies Moving on a Circular Orbit Around the Earth
- 作者：Gutnik Sergey A.;Sarychev Vasily A.
- 期刊名称：《Mathematics in computer science》 | 2021年第3期
- Two connected bodies;
- Satellite;
- 8211;
- stabilizer system;
- Spherical hinge;
- Gravitational torque;
- Circular orbit;
- Lagrange equations;
- Algebraic equations;
- Equilibrium orientation;
- Computer algebra;
- Gr;
- 246;
- bner basis;
81.Introducing a New Two-Parameter Invariant Function for Algebras

机译：Introducing a New Two-Parameter Invariant Function for Algebras
- 作者：Escobar J. M.;Nunez-Valdes J.;Perez-Fernandez P.
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
- Invariants;
- Invariant functions for algebras;
- Lie algebras;
- Malcev algebras;
82.Algorithmic Reduction of Biological Networks with Multiple Time Scales

机译：Algorithmic Reduction of Biological Networks with Multiple Time Scales
- 作者：Kruff Niclas;Lueders Christoph;Radulescu OvidiuSturm ThomasWalcher Sebastian
- 期刊名称：《Mathematics in computer science》 | 2021年第3期
83.Symbolic Computation Applied to the Study of the Kernel of Special Classes of Paired Singular Integral Operators

机译：Symbolic Computation Applied to the Study of the Kernel of Special Classes of Paired Singular Integral Operators
- 作者：Conceicao Ana C.
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
84.Explicit Formulae for Integro-Differential Operational Matrices

机译：Explicit Formulae for Integro-Differential Operational Matrices
- 作者：Matos Jose M. A.;Rodrigues Maria Joao;de Matos Joao Carrilho
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
- Integro-differential equations;
- Operational matrices;
- Orthogonal polynomials;
85.A Note on Siamese Twin Designs Intersecting in a BIBD and a PBD

机译：A Note on Siamese Twin Designs Intersecting in a BIBD and a PBD
- 作者：Dean Crnković;Ronan Egan
- 期刊名称：《Mathematics in computer science》 | 2018年第4期
- Menon design;
- Hadamard matrix;
- Automorphism group;
86.A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method

机译：A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method
- 作者：Brehard Florent
- 期刊名称：《Mathematics in computer science》 | 2021年第3期
- Validated numerics;
- A posteriori validation;
- Chebyshev spectral methods;
- Linear differential equations;
- D-finite functions;
87.Relative Difference Sets and Hadamard Matrices from Perfect Quaternionic Arrays

机译：Relative Difference Sets and Hadamard Matrices from Perfect Quaternionic Arrays
- 作者：Santiago Barrera Acevedo;Heiko Dietrich
- 期刊名称：《Mathematics in computer science》 | 2018年第4期
- Perfect arrays;
- Quaternions;
- Relative difference sets;
- Hadamard matrices;
88.PageRank Computation with MAAOR and Lumping Methods

机译：PageRank Computation with MAAOR and Lumping Methods
- 作者：I. R. Mendes;P. B. Vasconcelos
- 期刊名称：《Mathematics in computer science》 | 2018年第2期
- Web matrix;
- Linear system computation;
- Lumping;
- Sparse matrices;
89.Creative Telescoping on Multiple Sums

机译：Creative Telescoping on Multiple Sums
- 作者：Koutschan Christoph;Wong Elaine
- 期刊名称：《Mathematics in computer science》 | 2021年第3期
- Symbolic summation;
- Creative telescoping;
- Holonomic function;
- Hypergeometric series;
90.Extension of the Set of Complex Hadamard Matrices of Size 8

机译：Extension of the Set of Complex Hadamard Matrices of Size 8
- 作者：Wojciech T. Bruzda
- 期刊名称：《Mathematics in computer science》 | 2018年第4期
- Complex Hadamard matrix;
- Non-affine family;
- Isolated matrix;
- Butson class;
91.Quantum Computation and Real Multiplication

机译：Quantum Computation and Real Multiplication
- 作者：Matilde Marcolli;John Napp
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
- Anyons;
- Topological quantum computing;
- Noncommutative tori with real multiplication;
- AF algebras;
92.A Graph Library for Isabelle

机译：A Graph Library for Isabelle
- 作者：Lars Noschinski
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
- Graph theory;
- Isabelle;
- HOL;
- Euler;
- Kuratowski;
93.Goethals–Seidel Difference Families with Symmetric or Skew Base Blocks

机译：Goethals–Seidel Difference Families with Symmetric or Skew Base Blocks
- 作者：Dragomir Ž. Ɖoković;Ilias S. Kotsireas
- 期刊名称：《Mathematics in computer science》 | 2018年第4期
- Goethals–Seidel array;
- Difference families;
- Good matrices;
- G-matrices;
- Best matrices;
94.Global Stability of a Caputo Fractional SIRS Model with General Incidence Rate

机译：Global Stability of a Caputo Fractional SIRS Model with General Incidence Rate
- 作者：Ammi Moulay Rchid Sidi;Tahiri Mostafa;Torres Delfim F. M.
- 期刊名称：《Mathematics in computer science》 | 2021年第1期
- Epidemiology;
- Mathematical modeling;
- Fractional calculus;
- Caputo derivatives;
- Equilibrium;
- Stability;
95.Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans

机译：Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
- 作者：Phillip James;Markus Roggenbach
- 期刊名称：《Mathematics in computer science》 | 2014年第1期
- Domain specific languages;
- Algebraic specification;
- Modelling;
- Verification;
- Casl;
- Railway domain;
96.Antimagicness ofGeneralized Corona and Snowflake Graphs

机译：Antimagicness ofGeneralized Corona and Snowflake Graphs
- 作者：Jacqueline W. Daykin;Costas S. Iliopoulos;Mirka MillerOudone Phanalasy
- 期刊名称：《Mathematics in computer science》 | 2015年第1期
- Antimagic labeling;
- Sequential generalized corona graph;
- Generalized snowflake graph;
97.On the Connection Between Ritt Characteristic Sets and Buchberger-Gr?bner Bases

机译：On the Connection Between Ritt Characteristic Sets and Buchberger-Gr?bner Bases
- 作者：Dongming Wang
- 期刊名称：《Mathematics in computer science》 | 2016年第4期
- Characteristic set;
- Gr?bner basis;
- Irregularity structure;
- Polynomial ideal;
- Triangular decomposition;
98.Formal Analysis of Optical Systems

机译：Formal Analysis of Optical Systems
- 作者：Sanaz Khan-Afshar;Umair Siddique;Mohamed Yousri MahmoudVincent AravantinosOns SeddikiOsman HasanSofiène Tahar
- 期刊名称：《Mathematics in computer science》 | 2014年第1期
- Theorem proving;
- Computer algebra systems;
- Optical systems;
- Ray optics;
- Electromagnetic optics;
- Quantum optics;
99.Quasi-Hadamard Full Propelinear Codes

机译：Quasi-Hadamard Full Propelinear Codes
- 作者：José Andrés Armario;Iván Bailera;Joaquim BorgesJosep Rifà
- 期刊名称：《Mathematics in computer science》 | 2018年第4期
- Cocycles;
- Quasi-orthogonal;
- Quasi-Hadamard groups;
- Propelinear codes;
100.A Survey on Retrieval of Mathematical Knowledge

机译：A Survey on Retrieval of Mathematical Knowledge
- 作者：Ferruccio Guidi;Claudio Sacerdoti Coen
- 期刊名称：《Mathematics in computer science》 | 2016年第4期
- Survey;
- Retrieval;
- Mathematical;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号