首页> 外文OA文献 >A solvable class of quadratic Diophantine equations with applications to verification of infinite state systems

【2h】

A solvable class of quadratic Diophantine equations with applications to verification of infinite state systems

机译：一类可解决的二次Diophantine方程及其在验证无限状态系统中的应用

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gaoyan Xie; Zhe Dang; Oscar H. Ibarra;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On some solvability results of Diophantine equations and the class number of certainreal quadratic fields [J] . International journal of contemporary mathematical sciences . 2009,第29a32期

机译：关于Diophantine方程的一些可解性结果和某些实二次场的类数。
2. On the solvability of a class of diophantine equations and applications [J] . Oscar H. Ibarra, Zhe Dang Theoretical computer science . 2006,第1a3期

机译：一类双色子方程的可解性及应用
3. QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS [J] . Mihai Cipu INTEGERS: electronic journal of Combinatorial Number Theory . 2015,第1期

机译：具有无限许多正整数的溶液的二次循环方程
4. A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems [C] . Gaoyan Xie, Zhe Dang, Oscar H. Ibarra Automata, Languages and Programming . 2003

机译：一类二次Diophantine方程的可解类及其在验证无限状态系统中的应用
5. Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis. [D] . Bard, Gregory V. 2007

机译：用于求解有限域上方程的线性和多项式系统的算法，并应用于密码分析。
6. Multivariate systems of nonexpansive operator equations and iterative algorithms for solving them in uniformly convex and uniformly smooth Banach spaces with applications [O] . Yongchun Xu, Jinyu Guan, Yanxia Tang, -1

机译：非膨胀算子方程的多元系统及其在一致凸和一致光滑Banach空间中求解它们的迭代算法及其应用
7. On the divisibility of class numbers of quadratic fields and the solvability of Diophantine equations [O] . Hoque, Azizul, Saikia, Helen K. 2017

机译：关于二次域的类数与除数的可分性丢番图方程的可解性
8. Hyperelliptic Diophantine Equation Related to Imaginary Quadratic Number Fieldswith Class Number 2 [R] . Deweger, B. M. M. 1991

机译：与类数为2的虚二次数域相关的超椭圆不定方程

A solvable class of quadratic Diophantine equations with applications to verification of infinite state systems

著录项

引文网络

相似文献

相关主题

期刊订阅