首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
SYMBOLIC COMPUTATION AND CHEMISTRY
被引:0
|
作者
:
BALABAN, AT
论文数:
0
引用数:
0
h-index:
0
BALABAN, AT
机构
:
来源
:
LECTURE NOTES IN COMPUTER SCIENCE
|
1985年
/ 203卷
关键词
:
D O I
:
暂无
中图分类号
:
TP31 [计算机软件];
学科分类号
:
081202 ;
0835 ;
摘要
:
引用
收藏
页码:68 / 79
页数:12
相关论文
共 50 条
[21]
Symbolic computation of differential equivalences
论文数:
引用数:
h-index:
机构:
Cardelli, Luca
Tribastone, Mirco
论文数:
0
引用数:
0
h-index:
0
机构:
IMT Sch Adv Studies Lucca, Lucca, Italy
Univ Oxford, Oxford, England
Tribastone, Mirco
Tschaikowski, Max
论文数:
0
引用数:
0
h-index:
0
机构:
Vienna Univ Technol, Vienna, Austria
Univ Oxford, Oxford, England
Tschaikowski, Max
Vandin, Andrea
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Denmark, DTU Compute, Lyngby, Denmark
Univ Oxford, Oxford, England
Vandin, Andrea
THEORETICAL COMPUTER SCIENCE,
2019,
777
: 132
-
154
[22]
Symbolic computation in structural engineering
Pavlovic, MN
论文数:
0
引用数:
0
h-index:
0
机构:
Univ London Imperial Coll Sci Technol & Med, Dept Civil & Environm Engn, London SW7 2BU, England
Univ London Imperial Coll Sci Technol & Med, Dept Civil & Environm Engn, London SW7 2BU, England
Pavlovic, MN
COMPUTERS & STRUCTURES,
2003,
81
(22-23)
: 2121
-
2136
[23]
Symbolic computation in nonlinear systems
Collado, J
论文数:
0
引用数:
0
h-index:
0
Collado, J
Esquivel, JA
论文数:
0
引用数:
0
h-index:
0
Esquivel, JA
SYSTEM STRUCTURE AND CONTROL 1997,
1998,
: 351
-
355
[24]
DISCRIMINATOR VARIETIES AND SYMBOLIC COMPUTATION
BURRIS, S
论文数:
0
引用数:
0
h-index:
0
机构:
Dept. of Pure Mathematics, University of Waterloo, Waterloo, Ontario
BURRIS, S
JOURNAL OF SYMBOLIC COMPUTATION,
1992,
13
(02)
: 175
-
207
[25]
Symbolic computation with finite biquandles
Creel, Conrad
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calif Riverside, Dept Math, Riverside, CA 92521 USA
Creel, Conrad
Nelson, Sam
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calif Riverside, Dept Math, Riverside, CA 92521 USA
Nelson, Sam
JOURNAL OF SYMBOLIC COMPUTATION,
2007,
42
(10)
: 992
-
1000
[26]
Symbolic computation in hyperbolic programming
Naldi, Simone
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Dortmund, Fak Math, Vogelpothsweg 87, D-44227 Dortmund, Germany
Tech Univ Dortmund, Fak Math, Vogelpothsweg 87, D-44227 Dortmund, Germany
Naldi, Simone
Plaumann, Daniel
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Dortmund, Fak Math, Vogelpothsweg 87, D-44227 Dortmund, Germany
Tech Univ Dortmund, Fak Math, Vogelpothsweg 87, D-44227 Dortmund, Germany
Plaumann, Daniel
JOURNAL OF ALGEBRA AND ITS APPLICATIONS,
2018,
17
(10)
[27]
Symbolic Computation with Monotone Operators
Florian Lauster
论文数:
0
引用数:
0
h-index:
0
机构:
Universität Göttingen,Institut für Num. und Angew. Mathematik
Florian Lauster
D. Russell Luke
论文数:
0
引用数:
0
h-index:
0
机构:
Universität Göttingen,Institut für Num. und Angew. Mathematik
D. Russell Luke
Matthew K. Tam
论文数:
0
引用数:
0
h-index:
0
机构:
Universität Göttingen,Institut für Num. und Angew. Mathematik
Matthew K. Tam
Set-Valued and Variational Analysis,
2018,
26
: 353
-
368
[28]
Parallel symbolic computation in ACE
Pontelli, E.
论文数:
0
引用数:
0
h-index:
0
Pontelli, E.
Gupta, G.
论文数:
0
引用数:
0
h-index:
0
Gupta, G.
1997,
(21)
: 2
-
4
[29]
THE MINISAC SYSTEM FOR SYMBOLIC COMPUTATION
BARANOV, SN
论文数:
0
引用数:
0
h-index:
0
机构:
ST PETERSBURG INFORMAT & AUTOMAT INST,ST PETERSBURG,RUSSIA
ST PETERSBURG INFORMAT & AUTOMAT INST,ST PETERSBURG,RUSSIA
BARANOV, SN
PROGRAMMING AND COMPUTER SOFTWARE,
1993,
19
(03)
: 129
-
136
[30]
Programming and symbolic computation in Maude
Duran, Francisco
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Malaga, Malaga, Spain
Univ Malaga, Malaga, Spain
Duran, Francisco
Eker, Steven
论文数:
0
引用数:
0
h-index:
0
机构:
SRI Int, 333 Ravenswood Ave, Menlo Pk, CA 94025 USA
Univ Malaga, Malaga, Spain
Eker, Steven
Escobar, Santiago
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Politecn Valencia, Valencia, Spain
Univ Malaga, Malaga, Spain
Escobar, Santiago
Marti-Oliet, Narciso
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Complutense Madrid, Madrid, Spain
Univ Malaga, Malaga, Spain
Marti-Oliet, Narciso
Meseguer, Jose
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Illinois, Urbana, IL USA
Univ Malaga, Malaga, Spain
Meseguer, Jose
Rubio, Ruben
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Complutense Madrid, Madrid, Spain
Univ Malaga, Malaga, Spain
Rubio, Ruben
Talcott, Carolyn
论文数:
0
引用数:
0
h-index:
0
机构:
SRI Int, 333 Ravenswood Ave, Menlo Pk, CA 94025 USA
Univ Malaga, Malaga, Spain
Talcott, Carolyn
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
2020,
110
←
1
2
3
4
5
→