9 research outputs found
Nominal Syntax with Atom Substitutions:Matching, Unification, Rewriting
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 10/07/2019
- Field of study
Algorithm analysis through proof complexity
- Author
- A Haken
- AA Razborov
- C Bron
- C McDiarmid
- CJ Hillar
- D Cox
- D Lokshtanov
- G HajĂłs
- J Buresh-Oppenheim
- J KrajĂÄek
- J Nordström
- J Nordström
- JA Loera De
- JA Loera De
- JA Loera De
- K Gödel
- L LovĂĄsz
- LA Levin
- M Lauria
- M Lauria
- M Mnuk
- N Alon
- N Galesi
- N Galesi
- N Segerlind
- O Beyersdorff
- P Beame
- P Beame
- P Prosser
- PRJ ĂstergĂ„rd
- R Beigel
- SA Cook
- T Pitassi
- V ChvĂĄtal
- W Cook
- YV Matiyasevich
- YV Matiyasevich
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2018
- Field of study
Proof complexity can be a tool for studying the efficiency of algorithms. By proving a single lower bound on the length of certain proofs, we can get running time lower bounds for a wide category of algorithms. We survey the proof complexity literature that adopts this approach relative to two NP-problems: k-clique and 3-coloring
Recognition and Complexity of Point Visibility Graphs
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA
- Author
- Publication venue
- 'The Royal Society'
- Publication date
- Field of study
Norm bounds and underestimators for unconstrained polynomial integer minimization
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Calculating and Drawing Belyi Pairs
- Author
- A Bobenko
- A Javanpeykar
- A Zvonkin
- AK Zvonkin
- AK Zvonkin
- BS Bychkov
- D Singerman
- E Girondo
- EM Kreines
- EM Kreines
- F Pakovich
- G. Shabat
- GA Jones
- GB Shabat
- GB Shabat
- GV Belyi
- GV Belyi
- HW Lenstra
- J Bétréma
- J-M Couveignes
- J-P Serre
- KV Golubev
- L Zapponi
- M Fried
- M Hoeij van
- M Kontsevich
- M Mulase
- NM Adrianov
- NM Adrianov
- NM Adrianov
- NM Adrianov
- P Dunin-Barkowski
- R Miranda
- RC Penner
- S Stoilow
- SK Lando
- VA Dremov
- VO Filimonenkov
- Y-H He
- YV Matiyasevich
- YY Kochetkov
- YY Kochetkov
- YY Kochetkov
- YY Kochetkov
- YY Kochetkov
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Algorithmic problems in groups, semigroups and inverse semigroups
- Author
- A Markov
- A Markov
- A Thue
- A Thue
- AH Clifford
- AI Malâcev
- AI Malâcev
- AI Malâcev
- AI Malâcev
- AI Zimin
- AM Ballantyne
- AP Biryukov
- AY Olâshanski
- AY Olâshanskii
- AY âOlâshanskii
- B Buchberger
- B Rosenblat
- B Tilson
- BM Schein
- BM Schein
- C Bennett
- C Roger
- CF Miller III
- CF Miller III
- D Cowan
- D Kozen
- DB Bean
- DBA Epstein
- DE Cohen
- EI Kleiman
- EL Post
- F Pastijn
- F Pastijn
- G Hermann
- G Lallement
- G McNulty
- G McNulty
- GB Preston
- H Furstenberg
- H Neumann
- H Tietze
- HE Scheiblich
- IG Lysenok
- IG Lysenok
- IL Melânichuk
- IL Melânichuk
- IL Melânichuk
- IL Melânichuk
- IL Melânichuk
- IL Melânichuk
- IM Chiswell
- J Avenhaus
- J Berstel
- J Fountain
- J McCammond
- J McCammond
- J Meakin
- J Meakin
- J Meakin
- J Meakin
- J Stallings
- J-C Birget
- J-C Birget
- J-E Pin
- JB Stephen
- JB Stephen
- JCC McKinsey
- JCC McKinsey
- JH Remmers
- JP Serre
- JR Cho
- L Babai
- L Carroll Oâ
- LA Bokutâ
- LA Bokutâ
- LE Dickson
- LM Gluskin
- LN Shevrin
- M Dehn
- M Hall Jr
- M Morse
- M Morse
- M Petrich
- M Petrich
- MA Taiclin
- MD Atkinson
- ML Minsky
- ML Minsky
- ML Minsky
- ML Minsky
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- MV Sapir
- N Reilly
- NS Romanovskii
- OG Kharlampovich
- P Hall
- P Higgins
- P Higgins
- P Jones
- P Perkins
- P Perkins
- PS Novikov
- PV Silva
- S Burris
- S Cho
- S Eilenberg
- S Ivanov
- S MacLane
- S MacLane
- S Margolis
- S Margolis
- S Margolis
- S Margolis
- S Margolis
- S Margolis
- S Pride
- SI Adian
- SI Adian
- SI Adian
- SM Gersten
- SW Margolis
- SW Margolis
- SW Margolis
- SW Margolis
- VA Emelichev
- VL Murskii
- VV Wagner
- WD Munn
- YV Matiyasevich
- YV Matiyasevich
- Publication venue
- Kluwer
- Publication date
- 01/01/1995
- Field of study
Prime Numbers
- Author
- A Borning
- A Granville
- A Granville
- A Korselt
- A Makowski
- A Makowski
- A Moran
- A Polignac de
- A Rotkiewicz
- A Rotkiewicz
- A Rotkiewicz
- A Rotkiewicz
- A Rotkiewicz
- A Rotkiewicz
- A Rotkiewicz
- A Zaccagnini
- AJ Poorten van der
- AK Lenstra
- AK Lenstra
- AM Odlyzko
- AOL Atkin
- AOL Atkin
- AR Ansari
- B Garrison
- BK Parady
- BR Srinivasan
- BR Srinivasan
- C Baxa
- C Bays
- C Bays
- C Bays
- C Isenkrahe
- C Jing-Run
- C Jing-Run
- C Jing-Run
- C Jing-Run
- C Jing-Run
- C Jing-Run
- C Jing-Run
- C Lalout
- C Pomerance
- C Pomerance
- C Pomerance
- C Pomerance
- C Pomerance
- C Pomerance
- C Pomerance
- C Raitzin
- CJ Mozzochi
- CP Willans
- CP Wormell
- CV Eynden
- CW Trigg
- D Ellis
- D Leitmann
- D Leitmann
- D Shanks
- D Shanks
- D Shanks
- D Shanks
- D Woods
- DA Goldston
- DB Gillies
- DD Elliott
- DE Knuth
- DEG Malm
- DH Lehmer
- DH Lehmer
- DH Lehmer
- DH Lehmer
- DH Lehmer
- DH Lehmer
- DH Lehmer
- DM Gordon
- DR Heath-Brown
- DR Heath-Brown
- DR Heath-Brown
- DR Heath-Brown
- DR Heath-Brown
- DR Heath-Brown
- E Bedocchi
- E Bombieri
- E Grosswald
- E Grosswald
- E Grosswald
- E Grosswald
- E HĂ€rtter
- E Karst
- E Karst
- E Karst
- E Teuffel
- E Vantieghem
- EM Wright
- EM Wright
- ER Sirota
- F Cohen
- F Proth
- Fouvry
- G Giuga
- G Giuga
- G Harman
- G Jaeschke
- G Jaeschke
- G Löh
- G Löh
- GA Kolesnik
- GA Kolesnik
- GB Gostin
- GH Hardy
- GH Hardy
- GJ Tee
- GL Miller
- GW Fung
- H Cramér
- H Dubner
- H Dubner
- H Dubner
- H Dubner
- H Halberstam
- H Iwaniec
- H Iwaniec
- H Iwaniec
- H Maier
- H Maier
- H Riele
- H Riesel
- H Suyama
- H Suyama
- H Suyama
- H Suyama
- HB Mann
- HC Williams
- HC Williams
- HC Williams
- HC Williams
- HF Smith
- HJA Duparc
- HL Montgomery
- HQ Liu
- HW Gould
- HW Lenstra
- HW Lenstra
- I Joo
- I JoĂł
- I JoĂł
- I Niven
- I Richards
- II Pyateckii-Sapiro
- IO Angell
- J Brillhart
- J Brillhart
- J Brillhart
- J Chao-Hua
- J Gerver
- J Knopfmacher
- J Leech
- J Leech
- J Thompson
- J Wu
- J Young
- J Young
- J-M Deshouillers
- JB Friedlander
- JB Friedlander
- JB Priedlander
- JB Priedlander
- JB Priedlander
- JB Priedlander
- JB Rosser
- JC Lagarias
- JH Cadwell
- JH Conway
- JH Jordan
- JK Haugland
- JL Gerver
- JM Pollard
- JM Pollard
- JO Costa
- JP Buhler
- JP Jones
- JP Jones
- JP Jones
- JR Ehrman
- JR Hill
- K Langmann
- K Prachar
- K Su-Hee
- K Szymiczek
- K Szymiczek
- K Zarankiewicz
- KS Namboodiripad
- L Hong-Quan
- L Kuipers
- L Moser
- L Shi-Tuo
- LJ Lander
- M Cipolla
- M Gardner
- M Huxley
- M Jutila
- M Jutila
- M Kobayashi
- M Mignotte
- M Papadimitriou
- M Rubinstein
- M Templer
- M Yorinaga
- M Yorinaga
- M Yorinaga
- M Yorinaga
- MF Jones
- N. G. W. H. Beeger
- N. G. W. H. Beeger
- O Higgins
- O Ore
- P Cheng-Tung
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P ErdĆs
- P Goetgheluck
- P Kiss
- P Pritchard
- P Pritchard
- P Ribenboim
- P Ribenboim
- PG Tsangaris
- PL Montgomery
- PT Bateman
- PT Bateman
- PX Gallagher
- R Baillie
- R Creighton Buck
- R Crocker
- R Ernvall
- R Forman
- R Ondrejka
- R Solovay
- RA Mollin
- RA Mollin
- RA Mollin
- RA Mollin
- RB Killgrove
- RC Archibald
- RC Vaughan
- RD Carmichael
- RD Carmichael
- RGE Pinch
- RH Hudson
- RH Hudson
- RK Guy
- RK Guy
- RL Goodstein
- RL Graham
- RP Brent
- RP Brent
- RP Brent
- RP Brent
- S Arno
- S Chowla
- S Graham
- S Gurak
- S Kahan
- S Knapowski
- S Knapowski
- S Kravitz
- S Louboutin
- S Mok-Kong
- S Regimbai
- S Uchiyama
- S Uchiyama
- S Uchiyama
- S Weintraub
- S Yates
- S Yates
- S-G Xie
- SS Wagstaff
- SS Wagstaff
- SS Wagstaff
- SW Golomb
- SW Golomb
- SW Golomb
- T Bang
- T Naur
- TBM Neill
- U Abel
- U Dudley
- U Dudley
- UV Linnik
- VC Harris
- W Adams
- W Bosma
- W Keller
- W Keller
- W Keller
- W Keller
- W Keller
- W Knödel
- W Narkiewicz
- W Sierpinski
- W Sierpinski
- W Sierpinski
- W Sierpinski
- W Wei III
- WE Mientka
- WH Mills
- WL McDaniel
- WN Colquitt
- WW Adams
- YV Matiyasevich
- YV Matiyasevich
- Z Ming-Zhi
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1994
- Field of study
A
- Author
- A Björner
- A Bressan
- A Bressan
- A Church
- A Day
- A Day
- A Day
- A Day
- A Deif
- A Deif
- A Deif
- A Deif
- A Garcia
- A Grabosch
- A Heller
- A Iked
- A Mateescu
- A McLellan
- A Pietsch
- A Pott
- A Prestel
- A Salomaa
- A Salomaa
- A Varchenko
- AA Cylke
- AC Eringen
- AC Reynolds
- AJ Berrick
- AJ Berrick
- AJ Berrick
- AJ Berrick
- AJ Berrick
- AJ Berrick
- AJ Berrick
- AJ Sommese
- AL Bugheim
- AL Bugheim
- AN Tychonoff
- AR Krommer
- AV Skorokhod
- AW Joseph
- AY Veretennikov
- B Blackadar
- B BollobĂĄs
- B Engquist
- B Green
- B Grigelionis
- B JĂłnsson
- B JĂłnsson
- B JĂłnsson
- B JĂłnsson
- B JĂłnsson
- B JĂłnsson
- B Kostant
- B Leroy
- B Pagter de
- B Pagter de
- B Roy
- C Bonotto
- C Bonotto
- C Bonotto
- C Bonotto
- C Bonotto
- C Cerjan
- C Corduneanu
- C Corduneanu
- C Corduneanu
- C Corduneanu
- C Greene
- C Herrmann
- C Herrmann
- C Herrmann
- C Lawson
- C Lobry
- C Nash
- C NÀstÀsecu
- C Procesi
- C-C Wang
- CC Heyde
- CG Fraser
- Ch Birkenhake
- Ch Birkenhake
- CH Moore
- CH Papadimitriou
- CM Fortuin
- D Cantor
- D Finberg
- D Jungnickel
- D Kaplan
- D Montgomery
- D Montgomery
- D Montgomery
- D Przeworska-Rolewicz
- D Stanton
- D Zwillinger
- DB Yudin
- DBA Epstein
- DE Knuth
- DG Quillen
- DG Quillen
- DG Saari
- DG Saari
- DJ Anick
- DK Lewis
- DL McLeish
- DL Vertigan
- DM Kan
- DS Passman
- DW Peaceman
- E Effros
- E Effros
- E Friedlander
- E Koelink
- E Novak
- E Sparre Andersen
- E Sparre Andersen
- E Sparre Andersen
- E Sparre Andersen
- E Witten
- EC Dade
- EC Dade
- EL Lindman
- EN Parker
- EN Parker
- F Altomare
- F Bauer
- F Hoffmann
- F Hoffmann
- F Spitzer
- FC Drost
- FF Gan
- G Barthel
- G Baumslag
- G Baumslag
- G Chichilnisky
- G Geer Van Der
- G Golub
- G Gripenberg
- G Gripenberg
- G Higman
- G Horrocks
- G Hutchinson
- G Hutchinson
- G Hutchinson
- G Hutchinson
- G Kallianpur
- G Kallianpur
- G Kallianpur
- G Keefe
- G Mur
- G Pruesse
- G Stewart
- G Stewart
- GA Elliott
- GA Elliott
- GB Segal
- GJ Minty
- GJO Jameson
- GN Watson
- GW Johnson
- H Cabannes
- H Gross
- H Hermes
- H Lange
- H Stichtenoth
- HJ Sussmann
- HJJT Riele
- HN Jahnke
- HOG Alfvén
- HOG Alfvén
- HOG Alfvén
- HOG Alfvén
- I Bjorling-Sachs
- I Naruki
- I Reider
- IC Gokhberg
- IC Gokhberg
- Inc. ADINA R&D
- IW Sandberg
- IW Sandberg
- J Baumgartner
- J Baumgartner
- J Becker
- J Bell
- J Berstel
- J Diestel
- J Douglas
- J Glimm
- J Hadamard
- J Heyvaerts
- J Kahn
- J Kelly
- J Kleinstein
- J OâRourke
- J Pruss
- J Robinson
- J Szigeti
- J Thévenaz
- J Wilkinson
- JB Prolla
- JB Wagoner
- JE Hopcroft
- JF Adams
- JF Adams
- JF McKenzie
- JF Traub
- JH Lint Van
- JH Thomas
- JL Alperin
- JMAM Neerven van
- JMAM Neerven van
- JMAM Neerven van
- JMAM Neerven van
- JN Mather
- JO Hennefeld
- JP Berenger
- JP Lagrange
- JS Pym
- JV Hollweg
- K Aomoto
- K Arrow
- K Fujikawa
- K Gustafson
- K Gustafson
- K Gustafson
- K Gustafson
- K Gustafson
- K Gustafson
- K Gustafson
- K Hess
- K Hulek
- K Keimel
- K Kunen
- K Murtz
- K Przeslawski
- K Strehmel
- K Strehmel
- K-I Yoshihara
- KE Iverson
- KE Iverson
- KH Hofmann
- KH Hofmann
- KJ Aström
- KJ Aström
- KJ Bathe
- KJ Bathe
- KS Narendra
- KS Narendra
- L Asimow
- L Baringhaus
- L Baringhaus
- L Bonora
- L Dries van den
- L Dries van den
- L Halpern
- L Heinrich
- L Heinrich
- L Moret-Bailly
- L Moret-Bailly
- L Neustadt
- L Neustadt
- L Roth
- LA Shepp
- LD Landau
- LM Butler
- LM Vitaver
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMBC Campos
- LMS Campos
- M Adler
- M Adler
- M Aigner
- M Goresky
- M Grosser
- M Grötschel
- M Marshall
- M Nivat
- M Pimsner
- M Prest
- M Renardy
- M Renardy
- M Schetzen
- M Schetzen
- MA Tsfasman
- MB Green
- MC Beltrametti
- MC Beltrametti
- MC Beltrametti
- MF Atiyah
- MF McCarthy
- MJ Cresswell
- MJ Lighthill
- MJ Lighthill
- N Alon
- N Herlofson
- N Jacobson
- ND Jones
- NG Bruijn De
- NH Bingham
- NJ Hitchin
- NJ Vilenkin
- NJ Young
- NJ Young
- NJ Young
- NS Bratijchuk
- NV Azbelev
- NV Azbelev
- O Axelsson
- O Bratteli
- O Bratteli
- OP Yu
- P Civin
- P Cousot
- P Crawley
- P Doukhan
- P Flajolet
- P Flajolet
- P Greenberg
- P Harpe de la
- P Jipsen
- P Orlik
- P Ribenboim
- P Sankaran
- P Vanhaecke
- P Vopenka
- P Vopenka
- P Wedin
- P Wegner
- PA Ioannou
- PA Tirkas
- PC Fishburn
- PC Fishburn
- PC Fishburn
- Ph Clément
- PJ Davis
- PO Miheev
- PP Korovkin
- PP PĂĄlfy
- QM Cheng
- R Ahlswede
- R Arens
- R Arens
- R Arens
- R Arens
- R Askey
- R Carnap
- R Carnap
- R Cross
- R Freese
- R Freese
- R Frisch
- R Knörr
- R McKenzie
- R Motwani
- R Ortega
- R Piessens
- R Rumely
- R Schneider
- R Sedgewick
- R Skeel
- R Viertl
- R Viertl
- R Viertl
- RA Renaut
- RA Renaut
- RA Renaut
- RA Vitale
- RC Alperin
- RC Bradley
- RG Kraemer
- RG Swan
- RL Graham
- RM Kulsrud
- RP Stanley
- RP Stanley
- RS Phillips
- RS Varga
- RW Clayton
- S Adler
- S Ginsburg
- S Ginsburg
- S Ginsburg
- S Ginsburg
- S Halperin
- S Kauser
- S Lang
- S Lennart Johnsson
- S Lundquist
- S Ramanan
- S Rosset
- S Sastry
- S Shelah
- S Sherman
- S Todorcevic
- S Wolfram
- SA Amitsur
- T Beth
- T Fujita
- T Gallai
- T Hida
- T Ishikawa
- T Jech
- T Parsons
- T Shermer
- T Zaslavsky
- T Zaslavsky
- TG Cowling
- TW Anderson
- TW Anderson
- TW Palmer
- TW Palmer
- U Brehm
- UH Ki
- V Barbu
- V Barbu
- V Jurjevic
- V Volterra
- V Volterra
- VCA Ferraro
- VCA Ferraro
- VP Godambe
- VV Goldberg
- VV Goldberg
- VV Nikulin
- VY Lum
- W Barth
- W Barth
- W Barth
- W Feller
- W Hackbusch
- W Mitchell
- W Nelson
- W Oettli
- W Roth
- WB Bush
- Y FĂ©lix
- Y Saad
- Y Saad
- YB Zelâdovich
- YB Zelâdovich
- YD Zugzda
- YP Razmyslov
- YP Razmyslov
- YV Matiyasevich
- YV Matiyasevich
- YY Nikitin
- Z FĂŒredi
- Zivaljevic. R.
- Ă RodrÄguez-Palacios
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1997
- Field of study