default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 14
Volume 14, Number 1, March 2020
- Antonios Panayotopoulos:
On Meandric Colliers. 1-8 - Eduardo Sant'Ana da Silva, Hélio Pedrini:
Vertex Coloring of a Graph for Memory Constrained Scenarios. 9-17 - Wolfram Decker, Christian Eder, Viktor Levandovskyy, Sharwan K. Tiwari
:
Modular Techniques for Noncommutative Gröbner Bases. 19-33 - Mustafa Sari, Emre Kolotoglu:
A Different Construction for Some Classes of Quantum MDS Codes. 35-44 - Thierry N. Dana-Picard, Aharon Naiman, Witold Mozgawa, Waldemar Cieslak:
Exploring the Isoptics of Fermat Curves in the Affine Plane Using DGS and CAS. 45-67 - Aubrey Blecher, Charlotte A. C. Brennan, Arnold Knopfmacher, Toufik Mansour:
The Depth of Compositions. 69-76 - Yuri I. Manin, Matilde Marcolli:
Nori Diagrams and Persistent Homology. 77-102 - Dan Aksim, Dmitry Pavlov:
On the Extension of Adams-Bashforth-Moulton Methods for Numerical Integration of Delay Differential Equations and Application to the Moon's Orbit. 103-109 - Papri Dey, Daniel Plaumann:
Testing Hyperbolicity of Real Polynomials. 111-121 - Amir Hashemi, Martin Kreuzer, Samira Pourkhajouei:
Computing Coupled Border Bases. 123-140 - Aruni Choudhary, Siargey Kachanovich, Mathijs Wintraecken:
Coxeter Triangulations Have Good Quality. 141-176 - Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono:
A Signature Based Border Basis Algorithm. 177-189
Volume 14, Number 2, June 2020
- Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li:
Foreword. 191-192 - Alberto Almech, Eugenio Roanes-Lozano:
Automatic Generation of Diagrammatic Subway Maps for Any Date with Maple. 193-207 - Juan Carlos Ku-Cauich, Guillermo Morales-Luna:
Conversion of Element Representations in Galois Rings. 209-222 - Ryszard Kozera, Magdalena Wilkolazka:
A Note on Modified Hermite Interpolation. 223-239 - Mukhtar Zh. Minglibayev, Alexander N. Prokopenya, Saule Shomshekova:
Computing Perturbations in the Two-Planetary Three-Body Problem with Masses Varying Non-isotropically at Different Rates. 241-251 - Wlodzimierz Wojas, Jan Krupa, Jaroslaw Bojarski:
Familiarizing Students with Definition of Lebesgue Outer Measure Using Mathematica: Some Examples of Calculation Directly from Its Definition. 253-270 - Rein Prank:
Analysing the "Calculator Effect" of Different Kinds of Software for School Arithmetic and Algebra. 271-279 - Elishan Braun, Werner M. Seiler, Matthias Seiß:
On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations. 281-293 - Victor F. Edneral, Alexander G. Petrov:
Nonlinear Oscillations of a Spring Pendulum at the 1: 1: 2 Resonance by Normal Form Methods. 295-303 - Alexander S. Perminov, Eduard D. Kuznetsov:
The Implementation of Hori-Deprit Method to the Construction Averaged Planetary Motion Theory by Means of Computer Algebra System Piranha. 305-316 - Vladimir V. Bavula:
Classification of Simple Modules of the Ore Extension $K[X][Y; f\frac{d}{dX}]$. 317-325 - Sebastian Falkensteiner, J. Rafael Sendra:
Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places. 327-337 - Vladimir V. Bavula:
Skew Category Algebras. 339-346 - Alexander Evgrafov, Alexander B. Levin:
Dimension Polynomials and the Einstein's Strength of Some Systems of Quasi-linear Algebraic Difference Equations. 347-360 - Alexander B. Levin:
Multivariate Difference-Differential Dimension Polynomials. 361-374 - Raúl M. Falcón:
Using a CAS/DGS to Analyze Computationally the Configuration of Planar Bar Linkage Mechanisms Based on Partial Latin Squares. 375-389 - Roman Hasek:
Exploration of Dual Curves Using a Dynamic Geometry and Computer Algebra System. 391-398 - Setsuo Takato, José A. Vallejo:
Using Oshima Splines to Produce Accurate Numerical Results and High Quality Graphical Output. 399-413 - José Joaquín Bernal, Diana H. Bueno-Carreño, Juan Jacobo Simón:
Constructions of Abelian Codes Multiplying Dimension of Cyclic Codes. 415-421 - Stefka Bouyuklieva, Radka Russeva, Emine Karatash:
Binary Isodual Codes Having an Automorphism of Odd Prime Order. 423-429 - Yasemin Cengellenmis, Abdullah Dertli:
On the Skew Cyclic Codes and the Reversibility Problem for DNA 4-Bases. 431-435 - Abdullah Dertli, Yasemin Cengellenmis:
Quantum Codes Obtained from Some Constacyclic Codes Over a Family of Finite Rings Fp+uFp+vFp. 437-441 - Simon Eisenbarth, Gabriele Nebe:
Self-Dual Codes Over Chain Rings. 443-456 - Narcís Sayols, Sebastià Xambó-Descamps:
Computer Algebra Tales on Goppa Codes and McEliece Cryptography. 457-469 - Antonio Montes:
Presentation of the Book The Gröbner Cover. 471-482 - Katsuyoshi Ohara, Shinichi Tajima:
An Algorithm for Computing Grothendieck Local Residues II: General Case. 483-496 - Michela Ceria:
Bar Code: A Visual Representation for Finite Sets of Terms and Its Applications. 497-513 - Maria Francis, Thibaut Verron:
A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains. 515-530
Volume 14, Number 3, September 2020
- George Labahn, James H. Davenport, Josef Urban:
Foreword. 531-532 - Burak Ekici, Cezary Kaliszyk:
Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq. 533-549 - Robert H. Lewis:
Image Analysis: Identification of Objects via Polynomial Systems. 551-558 - Katja Bercic, Janos Vidali:
DiscreteZOO: A Fingerprint Database of Discrete Objects. 559-575 - Taylor Brysiewicz:
Numerical Software to Compute Newton polytopes and Tropical Membership. 577-589 - María Alpuente, Demis Ballis, Julia Sapiña:
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. 591-606 - Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr:
Problem Solving as a Path to Comprehension. 607-621 - Lin Jiu, Christoph Koutschan:
Calculation and Properties of Zonal Polynomials. 623-640 - Giovanni Di Crescenzo, Matluba Khodjaeva, Delaram Kahrobaei, Vladimir Shpilrain:
Efficient and Secure Delegation of Exponentiation in General Groups to a Single Malicious Server. 641-656 - Jan Jakubuv, Cezary Kaliszyk:
Relaxed Weighted Path Order in Theorem Proving. 657-670
Volume 14, Number 4, December 2020
- Xiaoyu Chen, Hongbo Li, Jing Yang:
Foreword to the Special Focus on Automated Deduction in Geometry. 671-672 - Pedro Quaresma:
Automated Deduction and Knowledge Management in Geometry. 673-692 - Philip H. Todd:
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method. 693-726 - Zoltán Kovács:
Automated Detection of Interesting Properties in Regular Polygons. 727-755 - Dongming Wang, Bo Huang, Xiaoyu Chen:
On n-sectors of the Angles of an Arbitrary Triangle. 757-773 - Philip H. Todd:
A System for Automated Deduction in Engineering Mechanics. 775-790
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
