Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Pei-Chang Guo |
A modified large-scale structure-preserving doubling algorithm for a large-scale Riccati equation from transport theory. |
Numer. Algorithms |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Danish Shehzad, Zeki Bozkus |
Optimizing NEURON Simulation Environment Using Remote Memory Access with Recursive Doubling on Distributed Memory Systems. |
Comput. Intell. Neurosci. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Ananiah Durai Sundararajan, S. M. Rezaul Hasan |
Quadruply Split Cross-Driven Doubly Recycled gm-Doubling Recycled Folded Cascode for Microsensor Instrumentation Amplifiers. |
IEEE Trans. Circuits Syst. II Express Briefs |
2016 |
DBLP DOI BibTeX RDF |
|
17 | T.-H. Hubert Chan, Shaofeng H.-C. Jiang |
Reducing Curse of Dimensionality: Improved PTAS for TSP (with Neighborhoods) in Doubling Metrics. |
SODA |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Martin Ruefenacht, Mark Bull, Stephen Booth |
Generalisation of Recursive Doubling for AllReduce. |
EuroMPI |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Aaron Landy, Greg Stitt |
Doubling FPGA Throughput via a Soft SerDes Architecture for Full-Bandwidth Serial Pipelining (Abstract Only). |
FPGA |
2016 |
DBLP DOI BibTeX RDF |
|
17 | T.-H. Hubert Chan, Shuguang Hu, Shaofeng H.-C. Jiang |
A PTAS for the Steiner Forest Problem in Doubling Metrics. |
FOCS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Zachary Friggstad, Mohsen Rezapour, Mohammad R. Salavatipour |
Local Search Yields a PTAS for k-Means in Doubling Metrics. |
FOCS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Srinivasa Rao Subramanya Rao |
Differential Addition in Edwards Coordinates Revisited and a Short Note on Doubling in Twisted Edwards Form. |
SECRYPT |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Divesh Aggarwal, Kaave Hosseini, Shachar Lovett |
Affine-malleable extractors, spectrum doubling, and application to privacy amplification. |
ISIT |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Subrahmanyam Gorthi |
Evaluation of the effect of doubling atlases using midsagittal plane on multi-atlas based segmentation of brain structures. |
EMBC |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Chen Zhu, Bill Corcoran, Leimeng Zhuang, Arthur James Lowery |
Doubling the ROADM sites using pairwise coding for 4%-guard-band superchannels. |
OFC |
2016 |
DBLP BibTeX RDF |
|
17 | Svyatoslav Chugunov, Changying Li |
Parallel implementation of inverse adding-doubling and Monte Carlo multi-layered programs for high performance computing systems with shared and distributed memory. |
Comput. Phys. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Sumit Nanda, M. Mowafak Allaham, Maurizio Bergamino, Sridevi Polavaram, Rubén Armañanzas, Giorgio A. Ascoli, Ruchi Parekh |
Doubling up on the Fly: NeuroMorpho.Org Meets Big Data. |
Neuroinformatics |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Linzhang Lu, Fei Yuan, Ren-Cang Li |
A new look at the doubling algorithm for a structured palindromic quadratic eigenvalue problem. |
Numer. Linear Algebra Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | David Sankoff, Chunfang Zheng, Baoyong Wang, Carlos Fernando Buen Abad Najar |
Structural vs. functional mechanisms of duplicate gene loss following whole genome doubling. |
BMC Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yair Bartal, Lee-Ad Gottlieb, Ofer Neiman |
On the Impossibility of Dimension Reduction for Doubling Subsets of ℓp. |
SIAM J. Discret. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Stefanie Hittmeyer, Bernd Krauskopf, Hinke M. Osinga |
Interactions of the Julia Set with Critical and (Un)Stable Sets in an Angle-Doubling Map on ℂ\{0}. |
Int. J. Bifurc. Chaos |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Jacques Kengne |
Coexistence of Chaos with Hyperchaos, Period-3 Doubling Bifurcation, and Transient Chaos in the Hyperchaotic Oscillator with Gyrators. |
Int. J. Bifurc. Chaos |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Na Huang 0001, Chang-Feng Ma |
Two structure-preserving-doubling like algorithms for obtaining the positive definite solution to a class of nonlinear matrix equation. |
Comput. Math. Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | T.-H. Hubert Chan, Mingfei Li, Li Ning 0001 |
Sparse Fault-Tolerant Spanners for Doubling Metrics with Bounded Hop-Diameter or Degree. |
Algorithmica |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Gregory A. Freiman, Marcel Herzog, Patrizia Longobardi, Mercede Maj, Yonutz Stanchescu |
A small doubling structure theorem in a Baumslag-Solitar group. |
Eur. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Matt E. Oates, Jonathan Stahlhacke, Dimitrios V. Vavoulis, Ben Smithers, Owen J. L. Rackham, Adam J. Sardar, Jan Zaucha, Natalie Thurlby, Hai Fang, Julian Gough |
The SUPERFAMILY 1.75 database in 2014: a doubling of data. |
Nucleic Acids Res. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Divesh Aggarwal, Kaave Hosseini, Shachar Lovett |
Affine-malleable Extractors, Spectrum Doubling, and Application to Privacy Amplification. |
Electron. Colloquium Comput. Complex. |
2015 |
DBLP BibTeX RDF |
|
17 | Valery V. Tatur |
Modification of Marx generator with a doubling of output voltage. |
Int. J. Circuit Theory Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Giang T. Nguyen 0003, Federico Poloni |
Componentwise accurate fluid queue computations using doubling algorithms. |
Numerische Mathematik |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Rodolpho Gianini, Celso de Almeida |
Doubling the Data Throughput in CDMA Cellular Networks. |
Wirel. Pers. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Robbert J. Fokkink, Cor Kraaikamp, Jeffrey O. Shallit |
Hankel Matrices for the Period-Doubling Sequence. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
17 | Kirill A. Kopotun |
Polynomial approximation with doubling weights having finitely many zeros and singularities. |
J. Approx. Theory |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Divesh Aggarwal, Kaave Hosseini, Shachar Lovett |
Affine-malleable Extractors, Spectrum Doubling, and Application to Privacy Amplification. |
IACR Cryptol. ePrint Arch. |
2015 |
DBLP BibTeX RDF |
|
17 | Keguan Zou, Satish Nagarajaiah |
An analytical method for analyzing symmetry-breaking bifurcation and period-doubling bifurcation. |
Commun. Nonlinear Sci. Numer. Simul. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yibin Fu, Zongxi Cai |
An Asymptotic Analysis of the Period-Doubling Secondary Bifurcation in a Film/Substrate Bilayer. |
SIAM J. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Shaobo Lin, Jinshan Zeng, Lin Xu, Zongben Xu |
Jackson-type inequalities for spherical neural networks with doubling weights. |
Neural Networks |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Eric King-Wah Chu, Peter Chang-Yi Weng |
Large-scale discrete-time algebraic Riccati equations - Doubling algorithm and error analysis. |
J. Comput. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | T.-H. Hubert Chan, Mingfei Li, Li Ning 0001, Shay Solomon |
New Doubling Spanners: Better and Simpler. |
SIAM J. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Omer Arap, Martin Swany, Geoffrey Brown, Bryce Himebaugh |
Adaptive Recursive Doubling Algorithm for Collective Communication. |
IPDPS Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhizhong Yan, Chunqiu Wei |
The localization calculation of the layered Period-Doubling, Thue-Morse and sandwich phononic crystals. |
ICNC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Silvio Antonio Teston, Carlos Marcelo Oliveira Stein, Jean Patric da Costa, Emerson Giovani Carati, Rafael Cardoso, Gustavo Weber Denardin |
Comparison of diode full-bridge rectifier and voltage-doubling diode rectifier in the output stage of active-clamping current-fed half-bridge isolated DC-DC converter. |
ISIE |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Edward K. F. Lee |
A voltage doubling passive rectifier/regulator circuit for biomedical implants. |
CICC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Aruni Choudhary, Michael Kerber |
Local Doubling Dimension of Point Sets. |
CCCG |
2015 |
DBLP BibTeX RDF |
|
17 | Long Bao, Karen Panetta, Sos S. Agaian |
A no reference image quality measure using a distance doubling variance. |
TePRA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Haifeng Shao, Xiaoqing Jiang, Jianyi Yang, Yingtao Hu, Gunther Roelkens, Hui Yu |
Photonic-assisted microwave frequency doubling based on silicon ring modulator. |
OFC |
2015 |
DBLP BibTeX RDF |
|
17 | Lianxi Liu, Wei Tu, Junchao Mu, Zhangming Zhu, Yintang Yang |
A voltage doubling AC-DC converter with offset-controlled comparators for piezoelectric energy harvester. |
ASICON |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Jean-François Viaud, Karell Bertet, Christophe Demko, Rokia Missaoui |
The Reverse Doubling Construction. |
KDIR |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yunong Zhang, Zhengli Xiao, Dongsheng Guo, Mingzhi Mao, Hongzhou Tan |
USPD Doubling or Declining in Next Decade Estimated by WASD Neuronet Using Data as of October 2013. |
ISICA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Haikun Jia, Baoyong Chi, Lixue Kuang, Wei Zhu, Zhiping Wang, Feng Ma, Zhihua Wang 0001 |
A frequency doubling two-path phased-array FMCW radar transceiver in 65nm CMOS. |
A-SSCC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Eduardo Temprana, Evgeny Myslivets, L. Liu, Ana Pejkic, Vahid Ataie, Bill P.-P. Kuo, Daniel J. Esman, Andreas O. J. Wiberg, Nikola Alic, Stojan Radic |
Transmission reach doubling enabled by transmitter-side digital back propagation and frequency referenced carriers. |
ECOC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Sumit K. Chattopadhyay, Chandan Chakraborty |
A New Multilevel Inverter Topology With Self-Balancing Level Doubling Network. |
IEEE Trans. Ind. Electron. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Fengxia Wang, Yuhui Qu |
Period Doubling Motions of a Nonlinear Rotating Beam at 1: 1 Resonance. |
Int. J. Bifurc. Chaos |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Charles Tresser, Pierre Coullet, Edson de Faria |
Period doubling. |
Scholarpedia |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Pui-In Mak, Miao Liu, Yaohua Zhao, Rui Paulo Martins |
Enhancing the performances of recycling folded cascode OpAmp in nanoscale CMOS through voltage supply doubling and design for reliability. |
Int. J. Circuit Theory Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Minhao Jiang, Ada Wai-Chee Fu, Raymond Chi-Wing Wong, James Cheng, Yanyan Xu 0005 |
Hop Doubling Label Indexing for Point-to-Point Distance Querying on Scale-Free Networks. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Aruni Choudhary, Michael Kerber |
Local Doubling Dimension of Point Sets. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Yakiv O. Kalinovsky, Yuliya E. Boyarinova, Alina S. Turenko, Iana V. Khitsko |
Generalized quaternions and their relations with Grassmann-Clifford procedure of doubling. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Minhao Jiang, Ada Wai-Chee Fu, Raymond Chi-Wing Wong, Yanyan Xu 0005 |
Hop Doubling Label Indexing for Point-to-Point Distance Querying on Scale-Free Networks. (PDF / PS) |
Proc. VLDB Endow. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ravi P. Gupta, Malay Banerjee, Peeyush Chandra |
Period doubling cascades of prey-predator model with nonlinear harvesting and control of over exploitation through taxation. |
Commun. Nonlinear Sci. Numer. Simul. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Pei-Chang Guo, Xiao-Xia Guo |
A modified structure-preserving doubling algorithm for nonsymmetric algebraic Riccati equations from transport theory. |
J. Comput. Appl. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Wang, Wen-Wei Li, Lin Dai |
On inexact Newton methods based on doubling iteration scheme for symmetric algebraic Riccati equations. |
J. Comput. Appl. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jongwoo Lee, Dong Jin Hyun, Jooeun Ahn, Sangbae Kim, Neville Hogan |
On the dynamics of a quadruped robot model with impedance control: Self-stabilizing high speed trot-running and period-doubling bifurcations. |
IROS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yair Bartal, Lee-Ad Gottlieb, Ofer Neiman |
On the Impossibility of Dimension Reduction for Doubling Subsets of ℓp. |
SoCG |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sudip K. Seal |
An Accelerated Recursive Doubling Algorithm for Block Tridiagonal Systems. |
IPDPS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Zhen Li 0004, Xiangdong Liu, Siu Chung Wong, Yuehui Huang, Xi Chen 0014 |
Period-doubling bifurcation and its boundary study of DFIGWind turbine connected with local interacting unbalanced loads in micro-grid. |
ISCAS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jizhao Zang, Yan Li 0073, Zhisheng Yang, Jian Wu 0010, Wei Li 0177, Rongqing Hui, Jintong Lin |
Tunable frequency-doubling Brillouin optoelectronic oscillator using single-sideband suppressed-carrier modulation. |
OFC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | David Sankoff, Baoyong Wang, Chunfang Zheng, Carlos Fernando Buen Abad Najar |
Structural vs. functional mechanisms of duplicate gene loss following whole genome doubling. |
ICCABS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Shay Solomon |
From hierarchical partitions to hierarchical covers: optimal fault-tolerant spanners for doubling metrics. |
STOC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Alicia Cordero, Juan R. Torregrosa, Pura Vindel |
Period-doubling bifurcations in the family of Chebyshev-Halley-type methods. |
Int. J. Comput. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Volker Mehrmann, Federico Poloni |
A generalized structured doubling algorithm for the numerical solution of linear quadratic optimal control problems. |
Numer. Linear Algebra Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Lee-Ad Gottlieb, Robert Krauthgamer |
Proximity Algorithms for Nearly Doubling Spaces. |
SIAM J. Discret. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | János Körner, Irene Muzi |
Degree-Doubling Graph Families. |
SIAM J. Discret. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Reginald D. Smith |
Period Doubling, Information Entropy, and estimates for Feigenbaum's Constants. |
Int. J. Bifurc. Chaos |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Terence Tao |
Noncommutative sets of small doubling. |
Eur. J. Comb. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Joseph P. Previte, Kathleen A. Hoffman |
Period Doubling Cascades in a Predator-Prey Model with a Scavenger. |
SIAM Rev. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tie-xiang Li, Eric King-Wah Chu, Yueh-Cheng Kuo, Wen-Wei Lin |
Solving Large-Scale Nonsymmetric Algebraic Riccati Equations by Doubling. |
SIAM J. Matrix Anal. Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Reginald D. Smith |
Period doubling, information entropy, and estimates for Feigenbaum's constants. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Yair Bartal, Lee-Ad Gottlieb, Ofer Neiman |
On the Impossibility of Dimension Reduction for Doubling Subsets of ℓp, p>2. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Shay Solomon |
From Hierarchical Partitions to Hierarchical Covers: Optimal Fault-Tolerant Spanners for Doubling Metrics |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Vladimir D. Tonchev |
A doubling construction for self-orthogonal codes. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Hui Xie, Guilin Wen |
Designing torus-doubling solutions to discrete time systems by hybrid projective synchronization. |
Commun. Nonlinear Sci. Numer. Simul. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tie-xiang Li, Eric King-Wah Chu, Wen-Wei Lin, Peter Chang-Yi Weng |
Solving large-scale continuous-time algebraic Riccati equations by doubling. |
J. Comput. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | T.-H. Hubert Chan, Mingfei Li, Li Ning 0001, Shay Solomon |
New Doubling Spanners: Better and Simpler. |
ICALP (1) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sumit K. Chattopadhyay, Chandan Chakraborty |
Multilevel inverters with level doubling network: A new topological variation. |
IECON |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ofer Neiman |
Low Dimensional Embeddings of Doubling Metrics. |
WAOA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | François Fillion-Gourdeau, Emmanuel Lorin, André D. Bandrauk |
Numerical solution of the time-dependent Dirac equation in coordinate space without fermion-doubling. |
Comput. Phys. Commun. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Paul Dekker, Hedde Zeijlstra |
Concord and Doubling Phenomena: an Introduction†. |
J. Semant. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Gerhard Wunder, Jan Schreck, Peter Jung 0001 |
Nearly Doubling the Throughput of Multiuser MIMO Systems Using Codebook Tailored Limited Feedback Protocol. |
IEEE Trans. Wirel. Commun. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Wangcai Ding, Guofang Li, Guan-Wei Luo, Jianhua Xie |
Torus T2 and its locking, doubling, chaos of a vibro-impact system. |
J. Frankl. Inst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Evelyn Sander, James A. Yorke |
Connecting Period-Doubling Cascades to Chaos. |
Int. J. Bifurc. Chaos |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Srinivasagopalan Srivathsan, Costas Busch, S. S. Iyengar 0001 |
An Oblivious Spanning Tree for Single-Sink Buy-at-Bulk in Low Doubling-Dimension Graphs. |
IEEE Trans. Computers |
2012 |
DBLP DOI BibTeX RDF |
|
17 | María Belén D'Amico, Fabiola Angulo, Gerard Olivar, Eduardo E. Paolini, Jorge L. Moiola |
Influence of period-doubling bifurcations in the appearance of border collisions for a ZAD-strategy-controlled buck converter. |
Int. J. Circuit Theory Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Wei-guo Wang, Wei-chao Wang, Ren-Cang Li |
Alternating-directional Doubling Algorithm for M-Matrix Algebraic Riccati Equations. |
SIAM J. Matrix Anal. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Volker Mehrmann, Federico Poloni |
Doubling Algorithms with Permuted Lagrangian Graph Bases. |
SIAM J. Matrix Anal. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | János Körner, Irene Muzi |
Degree-doubling graph families |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Shay Solomon |
Fault-Tolerant Spanners for Doubling Metrics: Better and Simpler |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Chung-Chieh Fang, Eyad H. Abed |
Analysis and Control of Period-Doubling Bifurcation in Buck Converters Using Harmonic Balance |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Hao-Hsiang Hung |
Survival Network Design of Doubling Dimension Metrics |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Peter Hooper, Yasin Abbasi-Yadkori, Russell Greiner, Bret Hoehn |
Improved Mean and Variance Approximations for Belief Net Responses via Network Doubling |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | T.-H. Hubert Chan, Mingfei Li, Li Ning 0001 |
Incubators vs Zombies: Fault-Tolerant, Short, Thin and Lanky Spanners for Doubling Metrics |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Wenbin Zhu, Andrew Lim 0001 |
A new iterative-doubling Greedy-Lookahead algorithm for the single container loading problem. |
Eur. J. Oper. Res. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Steven Widmer |
Permutation Complexity and the Letter Doubling Map. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ralph Romanos, Lawrence C. Paulson |
Proving the Impossibility of Trisecting an Angle and Doubling the Cube. |
Arch. Formal Proofs |
2012 |
DBLP BibTeX RDF |
|