首页>外文期刊>数学、物理、化学、力学>数学>Formalized Mathematics

Formalized Mathematics

中文名称：正规数学

ISSN：1426-2630
出版周期：-

发文量：308

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Basic Diophantine Relations

机译：丢番图基本关系
- 作者：Marcin Acewicz;Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- Hilbert’s 10th problemDiophantine relations11D4503B3568T99;
2.Pythagorean Tuning: Pentatonic and Heptatonic Scale

机译：毕达哥拉斯调律：五音阶和七音阶
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2018年第4期
- musicPythagorean tuningpentatonic scaleheptatonic scale00A6597M8003B35;
3.Parity as a Property of Integers

机译：奇偶校验是整数的属性
- 作者：Rafa? Ziobro
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- divisibilitybinary representation11A5103B3568T99;
4.About Supergraphs. Part I

机译：关于Supergraph。第一部分
- 作者：Sebastian Koch
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- supergraphgraph operations05C7603B3568T99;
5.About Supergraphs. Part II

机译：关于Supergraph。第二部分
- 作者：Sebastian Koch
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- supergraphgraph operations05C7603B3568T99;
6.Introduction to Stochastic Finance: Random Variables and Arbitrage Theory

机译：随机金融概论：随机变量和套利理论
- 作者：Peter Jaeger
- 期刊名称：《Formalized Mathematics》 | 2018年第1期
- random variablearbitrage theoryrisk-neutral measure28A0503B35;
7.Zariski Topology

机译：Zariski拓扑
- 作者：Yasushige Watase
- 期刊名称：《Formalized Mathematics》 | 2018年第4期
- prime spectrumlocal ringsemi-local ringnilradicalJacobson radicalZariski topology14A0516D2568T9903B35;
8.Arithmetic Operations on Short Finite Sequences

机译：短有限序列上的算术运算
- 作者：Rafa? Ziobro
- 期刊名称：《Formalized Mathematics》 | 2018年第3期
- finite sequencesfunctionsrelations11B9903B3568T99;
9.Some Remarks about Product Spaces

机译：关于乘积空间的一些说明
- 作者：Sebastian Koch
- 期刊名称：《Formalized Mathematics》 | 2018年第3期
- topologyproduct spaces54B1068T9903B35;
10.Binary Representation of Natural Numbers

机译：自然数的二进制表示
- 作者：Hiroyuki Okazaki
- 期刊名称：《Formalized Mathematics》 | 2018年第3期
- algorithms68W0168T9903B35;
11.Formalizing Two Generalized Approximation Operators

机译：形式化两个广义逼近算子
- 作者：Adam Grabowski;Micha? Sielwiesiuk
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- rough approximationrough setgeneralized approximation operator03E9903B3568T99;
12.On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander

机译：关于麦肯锡和肖兰德的两个另类格的公理化
- 作者：Adam Grabowski;Damian Sawicki
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- latticedistributive latticelattice axioms03B3568T9906B0506D05;
13.Kleene Algebra of Partial Predicates

机译：部分谓语的Kleene代数
- 作者：Artur Korni?owicz;Ievgen Ivanov;Mykola Nikitchenko
- 期刊名称：《Formalized Mathematics》 | 2018年第1期
- partial predicateKleene algebra03B7003G2503B35;
14.Fundamental Properties of Fuzzy Implications

机译：模糊蕴涵的基本性质
- 作者：Adam Grabowski
- 期刊名称：《Formalized Mathematics》 | 2018年第4期
- fuzzy implicationfuzzy setfuzzy logic03B5268T3703B35;
15.Continuity of Bounded Linear Operators on Normed Linear Spaces

机译：赋范线性空间上有界线性算子的连续性
- 作者：Kazuhisa Nakasho;Yuichi Futa;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2018年第3期
- Lipschitz continuityuniform continuitybounded linear operatorsbilinear operators46-0047A0747A3068T9903B35;
16.On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data

机译：关于简单命名复数值名义数据的算法代数
- 作者：Ievgen Ivanov;Artur Korni?owicz;Mykola Nikitchenko
- 期刊名称：《Formalized Mathematics》 | 2018年第2期
- Glushkov algorithmic algebranominative data68Q6068T3703B7003B35;
17.Klein-Beltrami Model. Part II

机译：Klein-Beltrami模型。第二部分
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2018年第1期
- Tarski’s geometry axiomsfoundations of geometryKlein-Beltrami model51A0551M1003B35;
18.Sequences of Prime Reciprocals. Preliminaries

机译：素数倒数序列。初赛
- 作者：Adam Grabowski
- 期刊名称：《Formalized Mathematics》 | 2018年第1期
- prime factorizationsequence of prime reciprocalsharmonic number11A5103B35;
19.Diophantine sets. Preliminaries

机译：丢番图集。初赛
- 作者：Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2018年第1期
- Hilbert’s 10th problemPell’s equationmultivariate polynomials11D4503B35;
20.Concatenation of Finite Sequences

机译：有限序列的级联
- 作者：Rafa? Ziobro
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- finite sequencefinite 0-sequenceconcatenation11B9968T9903B35;
21.Continuity of Multilinear Operator on Normed Linear Spaces

机译：赋范线性空间上多线性算子的连续性
- 作者：Kazuhisa Nakasho;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- Lipschitz continuitybounded linear operatorsmultilinear operatorsBanach space46-0047A0747A3068T9903B35;
22.Natural Addition of Ordinals

机译：普通的自然加法
- 作者：Sebastian Koch
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- ordinal numbersCantor normal formHessenberg sumnatural sum03E1068T9903B35;
23.Multilinear Operator and Its Basic Properties

机译：多线性算子及其基本性质
- 作者：Kazuhisa Nakasho
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- Lipschitz continuitybounded linear operatorsbilinear operatorsalgebraic structureBanach space46-0047A0747A3068T9903B35;
24.On Monomorphisms and Subfields

机译：关于单态性和子域
- 作者：Christoph Schwarzweller
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- roots of polynomialsfield extensionsKronecker’s construction12E0512F0568T9903B35;
25.Formalization of the MRDP Theorem in the Mizar System

机译：Mizar系统中MRDP定理的形式化
- 作者：Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- Hilbert’s 10th problemDiophantine relations11D4568T9903B35;
26.Bilinear Operators on Normed Linear Spaces

机译：赋范线性空间上的双线性算子
- 作者：Kazuhisa Nakasho
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- Lipschitz continuitybounded linear operatorbilinear operatoralgebraic structureBanach space46-0047A0747A3068T9903B35;
27.Isomorphisms from the Space of Multilinear Operators

机译：来自多线性算子空间的同构
- 作者：Kazuhisa Nakasho
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- linear operatorsbilinear operatorsmultilinear operatorsisomorphism of linear operator spaces46-0047A0747A3068T9903B35;
28.Implicit Function Theorem. Part II

机译：隐函数定理。第二部分
- 作者：Kazuhisa Nakasho;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- implicit function theoremLipschitz continuitydifferentiabilityimplicit function26B1047A0547J0753A0703B35;
29.Partial Correctness of a Power Algorithm

机译：幂算法的部分正确性
- 作者：Adrian Jaszczak
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- powernominative dataprogram verification68Q6068T3703B7003B35;
30.A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

机译：线性偏微分方程的一个简单例子及其变量分离法的求解。
- 作者：Sora Otsuki;Pauline N. Kawamoto;Hiroshi Yamazaki
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- partial differential equationsseparation of variablessuperposition principle35A0868T9903B35;
31.Fubini’s Theorem

机译：富比尼定理
- 作者：Noboru Endou
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- Fubini’s theoremproduct measuremultiple integraliterated integral28A3568T9903B35;
32.Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm

机译：模幂和欧几里得算法的最大步数
- 作者：Hiroyuki Okazaki;Koh-ichi Nagao;Yuichi Futa
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- algorithmspower residuesEuclidean algorithm68W4011A0511A1503B35;
33.On Roots of Polynomials over F[X]/ ?p?

机译：关于F [X] /？p？上的多项式的根
- 作者：Christoph Schwarzweller
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- roots of polynomialsfield extensionsKronecker’s construction12E0512F0568T9903B35;
34.About Supergraphs. Part III

机译：关于Supergraph。第三部分
- 作者：Sebastian Koch
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- supergraphgraph operationsconstruction of finite graphs05C7668T9903B35;
35.Cross-Ratio in Real Vector Space

机译：实向量空间中的交叉比率
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- affine ratiocross-ratioreal vector spacegeometry15A0351A0568T9903B35;
36.Tarski Geometry Axioms. Part IV – Right Angle

机译：Tarski几何公理。第四部分–直角
- 作者：Roland Coghetto;Adam Grabowski
- 期刊名称：《Formalized Mathematics》 | 2019年第1期
- Tarski geometryfoundations of geometryright angle51A0551M0468T9903B35;
37.Invertible Operators on Banach Spaces

机译：Banach空间上的可逆算符
- 作者：Kazuhisa Nakasho
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- Banach spaceinvertible operatorNeumann seriesisomorphism of linear operator spaces47A0547J0768T9903B35;
38.Partial Correctness of a Factorial Algorithm

机译：阶乘算法的部分正确性
- 作者：Adrian Jaszczak;Artur Korni?owicz
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- factorialnominative dataprogram verification68Q6068T3703B7003B35;
39.Diophantine Sets. Part II

机译：Diophantine集。第二部分
- 作者：Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2019年第2期
- Hilbert’s 10th problemDiophantine relations11D4568T9903B35;
40.Tietze Extension Theorem for n-dimensional Spaces

机译：n维空间的Tietze扩展定理
- 作者：Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2014年第1期
41.Lagrange’s Four-Square Theorem

机译：拉格朗日的四平方定理
- 作者：Yasushige Watase
- 期刊名称：《Formalized Mathematics》 | 2014年第2期
42.Term Context

机译：术语上下文
- 作者：Grzegorz Bancerek
- 期刊名称：《Formalized Mathematics》 | 2014年第2期
43.Some Remarkable Identities Involving Numbers

机译：一些涉及数字的显着身份
- 作者：Rafa? Ziobro
- 期刊名称：《Formalized Mathematics》 | 2014年第3期
44.Algebraic Approach to Algorithmic Logic

机译：算法逻辑的代数方法
- 作者：Grzegorz Bancerek
- 期刊名称：《Formalized Mathematics》 | 2014年第3期
45.Tarski Geometry Axioms

机译：塔斯基几何公理
- 作者：William Richter;Adam Grabowski;Jesse Alama
- 期刊名称：《Formalized Mathematics》 | 2014年第2期
46.The First Isomorphism Theorem and Other Properties of Rings

机译：环的第一同构定理和其他性质
- 作者：Artur Korni?owicz;Christoph Schwarzweller
- 期刊名称：《Formalized Mathematics》 | 2014年第4期
47.Dual Spaces and Hahn-Banach Theorem

机译：对偶空间和Hahn-Banach定理
- 作者：Keiko Narita;Noboru Endou;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2014年第1期
48.Semiring of Sets

机译：集半环
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2014年第1期
49.Definition and Properties of Direct Sum Decomposition of Groupsid='xref_fn1' class='fnUrl' href='#fn1'>1

机译：组直接和分解的定义和性质id="xref_fn1" class="fnUrl" href="#fn1"> 1
- 作者：Kazuhisa Nakasho;Hiroshi Yamazaki;Hiroyuki Okazaki;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2015年第1期
50.Two Axiomatizations of Nelson Algebras

机译：尼尔森代数的两个公理化
- 作者：Adam Grabowski
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
51.Morley’s Trisector Theorem

机译：莫利的三叉定理
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
52.Euler’s Partition Theorem

机译：欧拉分割定理
- 作者：Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
53.Polynomially Bounded Sequences and Polynomial Sequences

机译：多项式有界序列和多项式序列
- 作者：Hiroyuki Okazaki;Yuichi Futa
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
54.Matrix of ?-moduleid='xref_fn1' class='fnUrl' href='#fn1'>1

机译：？-module id="xref_fn1" class="fnUrl" href="#fn1"> 1 的矩阵
- 作者：Yuichi Futa;Hiroyuki Okazaki;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2015年第1期
55.Polish Notation

机译：波兰语符号
- 作者：Taneli Huuskonen
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
56.Finite Product of Semiring of Sets

机译：集半环的有限积
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
57.Fermat’s Little Theorem via Divisibility of Newton’s Binomial

机译：通过牛顿二项式的可除性得到的费马小定理
- 作者：Rafa? Ziobro
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
58.Separability of Real Normed Spaces and Its Basic Properties

机译：实范空间的可分性及其基本性质
- 作者：Kazuhisa Nakasho;Noboru Endou
- 期刊名称：《Formalized Mathematics》 | 2015年第1期
59.Convergent Filter Bases

机译：收敛滤波器基
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
60.The Orthogonal Projection and the Riesz Representation Theorem

机译：正交投影和Riesz表示定理
- 作者：Keiko Narita;Noboru Endou;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
61.Exponential Objects

机译：指数对象
- 作者：Marco Riccardi
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
62.Groups – Additive Notation

机译：组–加法表示法
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
63.Algebra of Polynomially Bounded Sequences and Negligible Functions

机译：多项式有界序列的代数和可忽略的函数
- 作者：Hiroyuki Okazaki
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
64.Torsion Part of ?-module

机译：β模块的扭转部分
- 作者：Yuichi Futa;Hiroyuki Okazaki;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
65.Extended Real-Valued Double Sequence and Its Convergence

机译：扩展实值双序列及其收敛性
- 作者：Noboru Endou
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
66.Characteristic of Rings. Prime Fields

机译：戒指的特征。主要领域
- 作者：Christoph Schwarzweller;Artur Korni?owicz
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
67.Construction of Measure from Semialgebra of Setsid='xref_fn1' class='fnUrl' href='#fn1'>1

机译：从集合的半代数构造测度id="xref_fn1" class="fnUrl" href="#fn1"> 1
- 作者：Noboru Endou
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
68.Stone Lattices

机译：石格子
- 作者：Adam Grabowski
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
69.Flexary Operations

机译：弹性作战
- 作者：Karol P?k
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
70.Propositional Linear Temporal Logic with Initial Validity Semanticsid='xref_fn1' class='fnUrl' href='#fn1'>1

机译：具有初始有效性语义的命题线性时间逻辑id="xref_fn1" class="fnUrl" href="#fn1"> 1
- 作者：Mariusz Giero
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
71.Categorical Pullbacks

机译：分类回调
- 作者：Marco Riccardi
- 期刊名称：《Formalized Mathematics》 | 2015年第1期
72.Weak Convergence and Weak Convergence

机译：弱收敛和弱收敛
- 作者：Keiko Narita;Yasunari Shidama;Noboru Endou
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
73.σ-ring and σ-algebra of Setsid='xref_fn1' class='fnUrl' href='#fn1'>1

机译：集的σ环和σ代数id="xref_fn1" class="fnUrl" href="#fn1"> 1
- 作者：Noboru Endou;Kazuhisa Nakasho;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2015年第1期
74.Grzegorczyk’s Logics. Part I

机译：Grzegorczyk的逻辑。第一部分
- 作者：Taneli Huuskonen
- 期刊名称：《Formalized Mathematics》 | 2015年第3期
75.Introduction to Diophantine Approximation

机译：Diophantine近似介绍
- 作者：Yasushige Watase
- 期刊名称：《Formalized Mathematics》 | 2015年第2期
76.Summable Family in a Commutative Group

机译：交换族中的和睦家庭
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
77.Topology from Neighbourhoods

机译：邻居的拓扑
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
78.Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

机译：Peterson算法互斥属性的基于事件的证明
- 作者：Ievgen Ivanov;Mykola Nikitchenko;Uri Abraham
- 期刊名称：《Formalized Mathematics》 | 2015年第4期
79.Equivalent Expressions of Direct Sum Decomposition of Groupsid='xref_fn1' class='fnUrl' href='#fn1'>1

机译：组直接和分解的等效表达式id="xref_fn1" class="fnUrl" href="#fn1"> 1
- 作者：Kazuhisa Nakasho;Hiroyuki Okazaki;Hiroshi Yamazaki;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2015年第1期
80.Double Sequences and Iterated Limits in Regular Space

机译：规则空间中的双重序列和迭代极限
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2016年第3期
81.Homography in ??

机译：汉字法
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2016年第4期
82.Altitude, Orthocenter of a Triangle and Triangulation

机译：高度，三角形的正中心和三角剖分
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2016年第1期
83.On Subnomials

机译：关于子项
- 作者：Rafa? Ziobro
- 期刊名称：《Formalized Mathematics》 | 2016年第4期
84.Quasi-uniform Space

机译：拟均匀空间
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2016年第3期
85.Chebyshev Distance

机译：切比雪夫距离
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2016年第2期
86.The Basic Existence Theorem of Riemann-Stieltjes Integral

机译：Riemann-Stieltjes积分的基本存在性定理
- 作者：Kazuhisa Nakasho;Keiko Narita;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2016年第4期
87.Some Algebraic Properties of Polynomial Rings

机译：多项式环的一些代数性质
- 作者：Christoph Schwarzweller;Artur Korni?owicz;Agnieszka Rowinska-Schwarzweller
- 期刊名称：《Formalized Mathematics》 | 2016年第3期
88.Uniform Space

机译：均匀空间
- 作者：Roland Coghetto
- 期刊名称：《Formalized Mathematics》 | 2016年第3期
89.Niven’s Theorem

机译：尼文定理
- 作者：Artur Korni?owicz;Adam Naumowicz
- 期刊名称：《Formalized Mathematics》 | 2016年第4期
90.Formulation of Cell Petri Nets

机译：细胞陪替氏网的配方
- 作者：Mitsuru Jitsukawa;Pauline N. Kawamoto;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2013年第4期
91.Isomorphisms of Direct Products of Finite Commutative Groups

机译：有限交换群直接积的同构
- 作者：Hiroyuki Okazaki;Hiroshi Yamazaki;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2013年第1期
92.Isometric Differentiable Functions on Real Normed Space

机译：实范空间上的等距微分函数
- 作者：Yuichi Futa;Noboru Endou;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2013年第4期
93.Commutativeness of Fundamental Groups of Topological Groups

机译：拓扑群基本群的可交换性
- 作者：Artur Korni?owicz
- 期刊名称：《Formalized Mathematics》 | 2013年第2期
94.N-Dimensional Binary Vector Spaces

机译：N维二元向量空间
- 作者：Kenichi Arai;Hiroyuki Okazaki
- 期刊名称：《Formalized Mathematics》 | 2013年第2期
95.Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane

机译：Sorgenfrey线和Sorgenfrey平面的一些特性
- 作者：Adam St. Arnaud;Piotr Rudnicki
- 期刊名称：《Formalized Mathematics》 | 2013年第2期
96.Gaussian Integers

机译：高斯整数
- 作者：Yuichi Futa;Hiroyuki Okazaki;Daichi Mizushima;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2013年第2期
97.Constructing Binary Huffman Tree

机译：构造二值霍夫曼树
- 作者：Hiroyuki Okazaki;Yuichi Futa;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2013年第2期
98.Random Variables and Product of Probability Spaces

机译：随机变量与概率空间的乘积
- 作者：Hiroyuki Okazaki;Yasunari Shidama
- 期刊名称：《Formalized Mathematics》 | 2013年第1期
99.Prime Filters and Ideals in Distributive Lattices

机译：分配格的素数滤波器和理想
- 作者：Adam Grabowski
- 期刊名称：《Formalized Mathematics》 | 2013年第3期
100.Analysis of Algorithms: An Example of a Sort Algorithm

机译：算法分析：排序算法示例
- 作者：Grzegorz Bancerek
- 期刊名称：《Formalized Mathematics》 | 2013年第1期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号