default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 10
Volume 10, Number 1, March 2016
- J. Rafael Sendra, Dongming Wang, Jing Yang:
Foreword. 1-3 - Francisco Botana, Tomás Recio
:
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. 5-25 - Pascal Schreck, Vesna Marinkovic, Predrag Janicic:
Constructibility Classes for Triangle Location Problems. 27-39 - Pascal Schreck, Pascal Mathis:
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems. 41-56 - Julien Narboux, David Braun:
Towards a Certified Version of the Encyclopedia of Triangle Centers. 57-73 - Changpeng Shao, Hongbo Li, Lei Huang:
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry. 75-96 - Leo Dorst:
The Construction of 3D Conformal Motions. 97-113 - John Christopher Bowers, Ileana Streinu:
Geodesic Universal Molecules. 115-141 - Daniel Lichtblau:
First Order Perturbation and Local Stability of Parametrized Systems. 143-163 - Josep M. Brunat, Antonio Montes:
Computing the Canonical Representation of Constructible Sets. 165-178 - Giorgio Ricca, Mauro Carlo Beltrametti, Anna Maria Massone:
Detecting Curves of Symmetry in Images Via Hough Transform. 179-205
Volume 10, Number 2, June 2016
- Bharati Rajan, Ibrahim Venkat, K. G. Subramanian:
Foreword to the Special Focus on Graph Theory and Applications. 207-208 - Somnath Bera, Kalpana Mahalingam:
Structural Properties of Word Representable Graphs. 209-222 - Denis Chee-Keong Wong:
Constructions of Binary Codes Based on Bipartite Graphs. 223-227 - Atulya K. Nagar, S. Sriram:
On Eccentric Connectivity Index of Eccentric Graph of Regular Dendrimer. 229-237 - P. Sivagami, Indra Rajasingh:
T-Coloring of Certain Networks. 239-248 - Ali Abdulkareem Mahmood, Ali Maroosi, Ravie Chandren Muniyandi:
Membrane Computing to Enhance Time Efficiency of Minimum Dominating Set. 249-261 - K. Sivaselvan, C. Vijayalakshmi:
Implementation of Markovian Queueing Network Model with Multiple Closed Chains. 263-272 - Irakli Dochviri, James F. Peters:
Topological Sorting of Finitely Near Sets. 273-277 - Alexandra Gavina, José Matos, Paulo B. Vasconcelos:
Improving the Accuracy of Chebyshev Tau Method for Nonlinear Differential Problems. 279-289 - Ana C. Conceição, José C. Pereira:
Exploring the Spectra of Some Classes of Singular Integral Operators with Symbolic Computation. 291-309
Volume 10, Number 3, September 2016
- Amélia Loja, José Alberto Rodrigues, Ana C. Conceição:
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation. 311-312 - Marcelo Trindade, José Matos, Paulo B. Vasconcelos:
Towards a Lanczos' τ-Method Toolkit for Differential Problems. 313-329 - Amira Rachah, Delfim F. M. Torres:
Dynamics and Optimal Control of Ebola Transmission. 331-342 - Rúben Maia, Ricardo Branco, F. V. Antunes, Marta Cristina Oliveira, Andrei Kotousov:
Three-Dimensional Computational Analysis of Stress State Transition in Through-Cracked Plates. 343-352 - J. M. Escobar, Juan Núñez, Pedro Pérez-Fernández:
On Contractions of Lie Algebras. 353-364 - Ana C. Conceição, Rui C. Marreiros, José C. Pereira:
Symbolic Computation Applied to the Study of the Kernel of a Singular Integral Operator with Non-Carleman Shift and Conjugation. 365-386 - Muhammad Akram, Arooj Adeel:
m -Polar Fuzzy Labeling Graphs with Application. 387-402 - Richard H. Hammack, Marc Hellmuth, Lydia Ostermeier, Peter F. Stadler:
Associativity and Non-Associativity of Some Hypergraph Products. 403-408
Volume 10, Number 4, December 2016
- Ferruccio Guidi, Claudio Sacerdoti Coen:
A Survey on Retrieval of Mathematical Knowledge. 409-427 - Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). 429-457 - Yuri I. Manin, Matilde Marcolli:
Semantic Spaces. 459-477 - Dongming Wang:
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. 479-492
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-10-31 20:18 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:
