美國天體物理學家德雷克提出了一個著名的方程，后來稱之為“綠岸公式”，這是對探索地外智慧生命作定量分析的第一次嘗試。
德雷克提出的“綠岸公式”是這樣的：
N＝RNefpflfifeL
公式中，N代表銀河系中可檢測到的技術文明星球數，它取決于等式右邊7個數R、Ne、fp、fl、fi、fe、L的乘積。
德雷克的綠岸公式是以乘積形式表示的，這些因子的確切大小目前尚屬未知。公式中各個因子的重要性相同，其中有的因子可取近似值，有的因子則純屬主觀。用粗略估計的最低值代入計算，可得到N＝40；用每一項最大可能值計算，則得N＝5000萬。這就是說，在銀河系中的高級技術文明星球的數目至少有40個，最多可達5000萬個。
美國著名科學作家阿西莫夫根據自己的見解，曾提出與綠岸公式類似的公式，估計出銀河系大約存在53萬個文明星球，即銀河系中每100萬顆恒星中，平均可能有18個高技術文明世界。
尋找外星人的綠岸公式
最早的“綠岸公式”是美國天體物理學家弗蘭克·德拉克于1960年提出來的。
1991年11月，設在美國西弗吉尼亞州綠岸鎮附近的國立射電天文臺，舉行了一次探討地外智慧生命的學術討論會。美國天體物理學家德蕾克提出了一個著名的方程，后來稱之為綠岸公式（廣闊的宇宙就像無邊的沙漠，而居住著高度技術文明的星球，就像是一個個綠洲），這是對探索地外智慧生命作定量分析的第一次嘗試。
德蕾克提出的綠岸公式是這樣的：
N＝R * ne * fp * fl * fi * fe * L
公式中，N代表銀河系中可檢測到的技術文明星球數，它取決于等式右邊7個數的乘積；
R表示銀河系中類似太陽的恒星的恒星形成率(即每年平均誕生的顆數)，一般認為，只有像太陽這樣的恒星才有可能孕育出智慧生命來；
ne是在可能攜帶(具有生命的)行星的恒星中，其生態環境適合生命存在的行星的平均顆數；
fp表示有可能有生物存在的恒星(有人稱其為好太陽)顆數，換句話說，好太陽一般是指那些光度恒穩、能長時間照耀從而滿足形成智慧生命演化所需的恒星；
fl是已經出現生命的行星在可能存在生命的行星中所占的份額；
fi表示已經有智慧生命的行星的顆數，因為低級生命演化到智慧生命的概率畢竟很小；
fe是在這些已有智慧生命的行星中，已經達到先進文明的高級智慧生命的行星(如能作星際電磁波聯絡)的份額；
L表示具有高級技術文明世界的平均壽命(或者說延續時間)，因為只有持續發展很長時間的文明星球才有可能做星際互訪。
綠岸公式是以乘積形式表示出的，這些因子的確切大小目前尚屬未知。公式中各個因子的重要性相同，其中有的因子可取近似值(例如R)，有的因子則純屬主觀(例如L)。有的學者認為，除了L，其余因子的乘積給出的是銀河系中可檢測文明的產率，用粗略估計的最低值代人計算，可得到N＝40；用每一項最大可能值計算，則得N＝5000萬。這就是說，在銀河系中的高級技術文明星球的數目為40萬至5000萬個。
美國著名科學作家阿西莫夫根據自己的見解，曾提出與綠岸公式類似的公式估計出，銀河系大約存在53萬個文明星球，即銀河系中每100萬顆恒星中，平均可能有18個高技術文明世界。
如果我們對這公式中的每一詞義盡可能采取最少的數值，那么我們就得到：N＝40這一結論。 但是，我們如果采用最大的數值，我們就得到：N＝5000這一結論。 換句話說，在最不受歡迎的情形下，這個奇怪的綠岸公式可以算出，在我們的銀河系中，有40個知性集團，正在設法與其他的知性動物接觸。 而最大膽的假設是有五千萬顆住著不明來歷的知性動物的行星，正等待著來自宇宙中的訊號。全部綠岸公式的計算，不是根據我們現有的天文上的行星數字，而是依照自銀河系存在及所曾經存在過的行星數字。如果我們接受這個科學頭腦所信賴的公式，而相信比我們更進步的技術文明，在百萬年前就已經存在了。這一事實正支持了我們這里所提出的，在歷史曙光時期，曾有來自宇宙的“神”訪問這一地球的理論，美國天文物理學家沙更博士稱，單單根據統計數計，在地球文明歷史發展的過程中，曾有地球以外文明的人士，至少訪問過一次，這個說法是可能成立的。在這些思慮與推測中，自然會隱藏著一些古怪的想法，但是綠岸公式是一個數學公式，當然與推測自有很大的不同處。 一個叫做太空生物學（Exobiology）的新興科學支派，正在形成中。科學上，新興學派獲得承認，時常困難重重。
直至目前，仍經常包圍著，研究沙漠區域中的禁忌和致命的隔膜，就在許許多多反對聲中，太空生物學屹立不動，總有一天，這門科學為大眾所接受，而成為重要的研究領域。 但是，除非有人到達那里，如何能證明宇宙間有生命呢？有統計數字，很清楚地顯示出地球外有生命存在的觀念，太空中有細菌和苞芽的證明。對不明來歷的知性動物的研究工作已經開始，但還沒有得到明白確信的結果。我們所需要的是確信的理論——假設的證明至今仍視作烏托邦。美國太空航空總署已經有一套用來證明太空中有不知來歷的生命的計劃。八種不同的檢查，每一檢查自成一單元，顯示出在我們的太陽系中的行星上有生命存在的證據。
