default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 73
Volume 73, March - April 2016
- Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
:
Ancilla-free synthesis of large reversible functions using binary decision diagrams. 1-26 - Chiara Marcolla, Marco Pellegrini, Massimiliano Sala:
On the small-weight codewords of some Hermitian codes. 27-45 - Michael Sagraloff, Kurt Mehlhorn:
Computing real roots of real polynomials. 46-86 - Rida T. Farouki, Robert Gutierrez:
Geometry of the ringed surfaces in R4 that generate spatial Pythagorean hodographs. 87-103 - Francesca Cioffi, Paolo Lella, Maria Grazia Marinari:
A combinatorial description of finite O-sequences and aCM genera. 104-119 - Martin Helmer:
Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties. 120-138 - Ioannis Z. Emiris, Vissarion Fisikopoulos, Bernd Gärtner:
Efficient edge-skeleton computation for polytopes defined by oracles. 139-152 - Hendrik W. Lenstra Jr., Alice Silverberg:
Determining cyclicity of finite modules. 153-156 - César Massri:
Solving a sparse system using linear algebra. 157-174 - Ruyong Feng, Li-Yong Shen:
Computing the intersections of three conics according to their Jacobian curve. 175-191 - Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada:
Semi-automated verification of security proofs of quantum cryptographic protocols. 192-220 - Xiaohong Jia, Wenping Wang, Yi-King Choi, Bernard Mourrain, Changhe Tu:
Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensional projective space. 221-243 - Leonard L. Scott, Timothy Sprowl:
Computing individual Kazhdan-Lusztig basis elements. 244-249 - Jaume Giné, Cláudia Valls:
Center problem in the center manifold for quadratic differential systems in R3. 250-267
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-05 21:06 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:
